Reactivity in SystemC Transaction-Level Models. - Frederic Doucet; R. K. Shyamasundar; Ingolf H. Krüger; Saurabh Joshi 001; Rajesh K. Gupta 001 (Haifa Verification Conference, 2007)

Distributed Generalized Dynamic Barrier Synchronization. - Shivali Agarwal; Saurabh Joshi 001; Rudrapatna K. Shyamasundar (ICDCN, 2011)

A New Method of MHP Analysis for Languages with Dynamic Barriers. - Saurabh Joshi 001; R. K. Shyamasundar; Sanjeev K. Aggarwal (IPDPS Workshops, 2012)

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

Incremental Cardinality Constraints for MaxSAT. - Ruben Martins; Saurabh Joshi 001; Vasco Manquinho; Inês Lynce (CP, 2014)

Automatically finding atomic regions for fixing bugs in Concurrent programs. - Saurabh Joshi 001; Akash Lal (CoRR, 2014)

On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving. - Ruben Martins; Saurabh Joshi 001; Vasco Manquinho; Inês Lynce (J. Satisf. Boolean Model. Comput., 2014)

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

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

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

Safety Verification and Refutation by k-invariants and k-induction (extended version). - Martin Brain; Saurabh Joshi 001; Daniel Kroening; Peter Schrammel (CoRR, 2015)

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

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

Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version). - Rajdeep Mukherjee; Saurabh Joshi 001; Andreas Griesmayer; Daniel Kroening; Tom Melham (CoRR, 2016)

The Virtues of Conflict: Analyzing Modern Concurrency. - Ganesh Narayanaswamy; Saurabh Joshi 001; Daniel Kroening (CoRR, 2016)

Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs. - Vojtech Forejt; Saurabh Joshi 001; Daniel Kroening; Ganesh Narayanaswamy; Subodh Sharma 001 (ACM Trans. Program. Lang. Syst., 2017)

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

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

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

Reflections on "Incremental Cardinality Constraints for MaxSAT". - Ruben Martins; Saurabh Joshi 001; Vasco Manquinho; Inês Lynce (CoRR, 2019)

Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT. - Saurabh Joshi 001; Prateek Kumar 001; Sukrut Rao; Ruben Martins (J. Satisf. Boolean Model. Comput., 2019)

Hardware/Software Co-verification Using Path-based Symbolic Execution. - Rajdeep Mukherjee; Saurabh Joshi 001; John O'Leary; Daniel Kroening; Tom Melham (CoRR, 2020)

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

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

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

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

On the tractability of (k, i)-coloring. - Sriram Bhyravarapu; Saurabh Joshi 001; Subrahmanyam Kalyanasundaram; Anjeneya Swami Kare (Discret. Appl. Math., 2021)

Oracle Agreement: From an Honest Super Majority to Simple Majority. - Prasanth Chakka; Saurabh Joshi 001; Aniket Kate; Joshua Tobkin; David Yang (ICDCS, 2023)

DORA: Distributed Oracle Agreement with Simple Majority. - Prasanth Chakka; Saurabh Joshi 001; Aniket Kate; Joshua Tobkin; David Yang (CoRR, 2023)

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