Browse by IITH Authors

Article

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

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.

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

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)

Book Section

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

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

Conference or Workshop Item

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.

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.

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

Thesis

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

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