| 2025 | VMCAI | LLOR: Automated Repair of OpenMP Programs. | Utpal Bora, Saurabh Joshi, Gautam Muduganti, Ramakrishna Upadrasta |
| 2024 | SecureComm | ChipFuzzer: Towards Fuzzing Matter-Based IoT Devices for Vulnerability Detection. | Saurabh Joshi, Paria Shirani |
| 2023 | ICDCS | Oracle Agreement: From an Honest Super Majority to Simple Majority. | Prasanth Chakka, Saurabh Joshi, Aniket Kate, Joshua Tobkin, David Yang |
| 2021 | SIGCOMM | Anomaly Detection in Data Plane Systems using Packet Execution Paths. | Archit Sanghi, Krishna P. Kadiyala, Praveen Tammana, Saurabh Joshi |
| 2021 | VMCAI | GPURepair: Automated Repair of GPU Kernels. | Saurabh Joshi, Gautam Muduganti |
| 2019 | IJCAI | Phase Transition Behavior of Cardinality and XOR Constraints. | Yash Pote, Saurabh Joshi, Kuldeep S. Meel |
| 2019 | TACAS | Pinaka: Symbolic Execution Meets Incremental Solving - (Competition Contribution). | Eti Chaudhary, Saurabh Joshi |
| 2018 | AMIA | Utility of Visual Analytics for Identifying Patient Subgroups in EMRs: Insights for Accelerating Precision Medicine. | Suresh K. Bhavnani, Revathi Sellappan, Saurabh Joshi, Jonathan Starkey, Winston Chan, Tianlong Chen, Shyam Visweswaran |
| 2018 | CP | Approximation Strategies for Incomplete MaxSAT. | Saurabh Joshi, Prateek Kumar, Ruben Martins, Sukrut Rao |
| 2016 | FM | Equivalence Checking of a Floating-Point Unit Against a High-Level C Model. | Rajdeep Mukherjee, Saurabh Joshi, Andreas Griesmayer, Daniel Kroening, Tom Melham |
| 2016 | PPoPP | The virtues of conflict: analysing modern concurrency. | Ganesh Narayanaswamy, Saurabh Joshi, Daniel Kroening |
| 2015 | CP | Generalized Totalizer Encoding for Pseudo-Boolean Constraints. | Saurabh Joshi, Ruben Martins, Vasco Manquinho |
| 2015 | FM | Property-Driven Fence Insertion Using Reorder Bounded Model Checking. | Saurabh Joshi, Daniel Kroening |
| 2015 | SAS | Safety Verification and Refutation by k-Invariants and k-Induction. | Martin Brain, Saurabh Joshi, Daniel Kroening, Peter Schrammel |
| 2014 | CP | Incremental Cardinality Constraints for MaxSAT. | Ruben Martins, Saurabh Joshi, Vasco Manquinho, Ins Lynce |
| 2012 | POPL | Underspecified harnesses and interleaved bugs. | Saurabh Joshi, Shuvendu K. Lahiri, Akash Lal |
| 2011 | ICDCN | Distributed Generalized Dynamic Barrier Synchronization. | Shivali Agarwal, Saurabh Joshi, Rudrapatna K. Shyamasundar |