Publications

Utpal Bora, Saurabh Joshi, Gautam Muduganti, Ramakrishna Upadrasta (2025). LLOR: Automated Repair of OpenMP Programs. VMCAI 2025.

PDF Code DOI Paper

Saurabh Joshi, Gautam Muduganti (2024). GPURepair: Automated Repair of GPU Kernels (Extended Version). Sadhana, Vol. 49.

PDF Code Project Video DOI Paper

Prasanth Chakka, Saurabh Joshi, Aniket Kate, Joshua Tobkin, David Yang (2023). DORA: Distributed Agreement with Simple Majority. ICDCS 2023.

PDF Video DOI ICDCS 2023 version

Utpal Bora, Shraiysh Vaishay, Saurabh Joshi, Ramakrishna Upadrasta (2021). OpenMP aware MHP Analysis for Improved Static Data-Race Detection. LLVM HPC 2021.

Code Project pre-print

Archit Sanghi, Praveen Tammana, Saurabh Joshi, Krishna P Kadiyala (2021). Anomaly Detection in Data Plane Systems using Packet Execution Paths. ACM SIGCOMM SPIN 2021.

Saurabh Joshi, Gautam Muduganti (2021). GPURepair: Automated Repair of GPU Kernels. VMCAI 2021.

PDF Code Project Video DOI Paper

Sriram Bhyravarapu, Saurabh Joshi, Subrahmanyam Kalyanasundaram, Anjeneya Swami Kare (2020). On the tractability of $(k,i)$-coloring (Extended Journal Version). DAM.

Utpal Bora, Santanu Das, Pankaj Kukreja, Saurabh Joshi, Ramakrishna Upadrasta, Sanjay V Rajopadhye (2020). LLOV: A Fast Static Data-Race Checker for OpenMP Programs. ACM TACO.

PDF Code Project Video DOI pre-print

Ruben Martins, Saurabh Joshi, Vasco Manquinho, Ines Lynce (2019). Reflections on "Incremental Cardinality Constraints for MaxSAT". Virtual Volume.

PDF DOI Virtual Volume

Yash Pote, Saurabh Joshi, Kuldeep Meel (2019). Phase Transition Behavior of Cardinality and XOR Constraints. IJCAI 2019.

Saurabh Joshi, Prateek Kumar, Sukrut Rao, Ruben Martins (2019). Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT. JSAT.

PDF Code Project DOI

Eti Chaudhary, Saurabh Joshi (2019). Pinaka: Symbolic Execution Meets Incremental Solving - (Competition Contribution). TACAS 2019.

PDF Project DOI pre-print Post on ACM India blog

Saurabh Joshi, Prateek Kumar, Ruben Martins, Sukrut Rao (2018). Approximation Strategies for Incomplete MaxSAT. CP 2018.

PDF Code Project DOI Slides

Saurabh Joshi, Subrahmanyam Kalyanasundaram, Anjeneya Swami Kare, B Sriram (2018). On the tractability of $(k,i)$-coloring. CALDAM 2018.

Vojtech Forejt, Saurabh Joshi, Daniel Kroening, Ganesh Narayanaswamy, Subodh Sharma (2017). Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs. TOPLAS.

Rajdeep Mukherjee, Saurabh Joshi, Andreas Griesmayer, Daniel Kroening, Tom Melham (2016). Equivalence Checking of a Floating-Point Unit Against a High-Level C Model. FM 2016.

Ganesh Narayanaswamy, Saurabh Joshi, Daniel Kroening (2016). The virtues of conflict: analysing modern concurrency. PPoPP 2016.

Ruben Martins, Saurabh Joshi, Vasco Manquinho, Ines Lynce (2015). On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving. JSAT.

PDF Code Project DOI

Martin Brain, Saurabh Joshi, Daniel Kroening, Peter Schrammel (2015). Safety Verification and Refutation by $k$-Invariants and $k$-Induction. SAS 2015.

Saurabh Joshi, Ruben Martins, Vasco Manquinho (2015). Generalized Totalizer Encoding for Pseudo-Boolean Constraints. CP 2015.

PDF Code Project DOI

Saurabh Joshi, Daniel Kroening (2015). Property-Driven Fence Insertion Using Reorder Bounded Model Checking. FM 2015.

Ruben Martins, Saurabh Joshi, Vasco Manquinho, Ines Lynce (2014). Incremental Cardinality Constraints for MaxSAT. CP 2014.

PDF Code Project DOI

Saurabh Joshi, Akash Lal (2014). Automatically finding atomic regions for fixing bugs in Concurrent Programs. arXiv.

Saurabh Joshi, R K Shyamasundar, Sanjeev K Aggarwal (2012). A New Method of {MHP} Analysis for Languages with Dynamic Barriers. HIPS IPDPSW 2012.

Saurabh Joshi, Shuvendu Lahiri, Akash Lal (2012). Underspecified harnesses and interleaved bugs. POPL 2012.

Shivali Agarwal, Saurabh Joshi, R K Shyamasundar (2011). Distributed Generalized Dynamic Barrier Synchronization. ICDCN 2011.

Frederic Doucet, R K Shyamasundar, Ingolf Krueger, Saurabh Joshi, Rajesh K Gupta (2007). Reactivity in SystemC Transaction-Level Models. HVC 2007.