Browse by IITH Authors

Mukherjee, Rajdeep and Joshi, Saurabh and O'Leary, John and et al, . (2020) Hardware/Software Co-verification Using Path-based Symbolic Execution. arXiv.org.

Bora, Utpal and Das, Santanu and Kukreja, Pankaj and Joshi, Saurabh and Upadrasta, Ramakrishna and Rajopadhye, Sanjay (2020) LLOV:A Fast Static Data-Race Checker for OpenMP Programs. ACM Transactions on Architecture and Code Optimization, 17 (4). pp. 1-26. ISSN 1544-3566

Sinha, Uttaran and Joshi, Saurabh (2019) Defending Deep Neural Networks against Structural Pertubations. Masters thesis, Indian institute of technology Hyderabad.

Fomin, Fedor V and Golovach, Petr A and Joshi, Saurabh and et al, . (2019) Going far from degeneracy. In: 27th Annual European Symposium on Algorithms, ESA, 9-11 September 2019, Munich/Garching, Germany.

Joshi, Saurabh and Kumar, Prateek and Rao, Sukrut and et al, . (2019) Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT. Journal on Satisfiability, Boolean Modeling, and Computation, 11. pp. 73-97. ISSN 1574-0617

Pote, Yash and Joshi, Saurabh and Meel, Kuldeep S (2019) Phase Transition Behavior of Cardinality and XOR Constraints. International Joint Conferences on Artificial Intelligence.

Chaudhary, Eti and Joshi, Saurabh (2019) Pinaka: Symbolic Execution Meets Incremental Solving. In: 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series, TACAS 2019 held as part of the 22nd European Joint Conferences on Theory and Practice of Software, ETAPS, 6-11 April 2019, Prague, Czech Republic.

Martins, Ruben and Joshi, Saurabh and Manquinho, Vasco and et al, . (2019) Reflections on "Incremental Cardinality Constraints for MaxSAT". arXiv.org.

Joshi, Saurabh and Kumar, Prateek and Martins, Ruben and Rao, Sukrut (2018) Approximation Strategies for Incomplete MaxSAT. In: ., ., .. (Unpublished)

Sapate, Rasika Avinash and Joshi, Saurabh (2018) LLVM2GOTO: A translator from LLVM IR to CPROVER IR. Masters thesis, Indian Institute of Technology, Hyderabad.

Joshi, Saurabh and Kalyanasundaram, Subrahmanyam and Kare, A S and Bhyravarapu, Sriram (2018) On the Tractability of (k, i)-Coloring. In: Algorithms and Discrete Applied Mathematics. Theoretical Computer Science and General Issues, 10743 . Springer, pp. 188-198. ISBN 9783319741802

Forejt, Vojtech and Joshi, Saurabh and Korening, Daniel and Narayaswamy, Ganesh and Sharma, Subodh (2018) Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs. ACM Transactions on Programming Languages and Systems. (In Press)

Mukherjee, R and Joshi, Saurabh and Griesmayer, A and Kroening, D and Melham, T (2016) Equivalence Checking a Floating-point Unit against a High-level C Model. In: FM 2016: Formal Methods (21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings). Lecture Notes in Computer Science, 9995 . Springer Int Publishing Ag, Switzerland, pp. 1-14. ISBN 978-3-319-48989-6