Saurabh Joshi

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 27

Top Topics

Tractable Cases

Cardinality Constraints

Symbolic Execution

Bounded Model Checking

Top Venues

J. Satisf. Boolean Model. Comput.

Publications

Prasanth Chakka, Saurabh Joshi, Aniket Kate, Joshua Tobkin, David Yang
Oracle Agreement: From an Honest Super Majority to Simple Majority. ICDCS (2023)
Archit Sanghi, Krishna P. Kadiyala, Praveen Tammana, Saurabh Joshi
Anomaly Detection in Data Plane Systems using Packet Execution Paths. SPIN@SIGCOMM (2021)
Sriram Bhyravarapu, Saurabh Joshi, Subrahmanyam Kalyanasundaram, Anjeneya Swami Kare
On the tractability of (k, i)-coloring. Discret. Appl. Math. 305 (2021)
Saurabh Joshi, Gautam Muduganti
GPURepair: Automated Repair of GPU Kernels. VMCAI (2021)
Rajdeep Mukherjee, Saurabh Joshi, John O'Leary, Daniel Kroening, Tom Melham
Hardware/Software Co-verification Using Path-based Symbolic Execution. CoRR (2020)
Saurabh Joshi, Gautam Muduganti
GPURepair: Automated Repair of GPU Kernels. CoRR (2020)
Utpal Bora, Santanu Das, Pankaj Kukreja, Saurabh Joshi, Ramakrishna Upadrasta, Sanjay Rajopadhye
LLOV: A Fast Static Data-Race Checker for OpenMP Programs. ACM Trans. Archit. Code Optim. 17 (4) (2020)
Ruben Martins, Saurabh Joshi, Vasco M. Manquinho, Inês Lynce
Reflections on "Incremental Cardinality Constraints for MaxSAT". CoRR (2019)
Eti Chaudhary, Saurabh Joshi
Pinaka: Symbolic Execution meets Incremental Solving (Competition Contribution). CoRR (2019)
Yash Pote, Saurabh Joshi, Kuldeep S. Meel
Phase Transition Behavior of Cardinality and XOR Constraints. IJCAI (2019)
Yash Pote, Saurabh Joshi, Kuldeep S. Meel
Phase Transition Behavior of Cardinality and XOR Constraints. CoRR (2019)
Eti Chaudhary, Saurabh Joshi
Pinaka: Symbolic Execution Meets Incremental Solving - (Competition Contribution). TACAS (3) (2019)
Saurabh Joshi, Prateek Kumar, Sukrut Rao, Ruben Martins
Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT. J. Satisf. Boolean Model. Comput. 11 (1) (2019)
Saurabh Joshi, Subrahmanyam Kalyanasundaram, Anjeneya Swami Kare, Sriram Bhyravarapu
On the Tractability of (k, i)-Coloring. CoRR (2018)
Saurabh Joshi, Prateek Kumar, Ruben Martins, Sukrut Rao
Approximation Strategies for Incomplete MaxSAT. CP (2018)
Saurabh Joshi, Prateek Kumar, Ruben Martins, Sukrut Rao
Approximation Strategies for Incomplete MaxSAT. CoRR (2018)
Saurabh Joshi, Subrahmanyam Kalyanasundaram, Anjeneya Swami Kare, Sriram Bhyravarapu
On the Tractability of (k, i)-Coloring. CALDAM (2018)
Vojtech Forejt, Saurabh Joshi, Daniel Kroening, Ganesh Narayanaswamy, Subodh Sharma
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs. ACM Trans. Program. Lang. Syst. 39 (4) (2017)
Ganesh Narayanaswamy, Saurabh Joshi, Daniel Kroening
The virtues of conflict: analysing modern concurrency. PPOPP (2016)
Rajdeep Mukherjee, Saurabh Joshi, Andreas Griesmayer, Daniel Kroening, Tom Melham
Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version). CoRR (2016)
Ganesh Narayanaswamy, Saurabh Joshi, Daniel Kroening
The Virtues of Conflict: Analyzing Modern Concurrency. CoRR (2016)
Rajdeep Mukherjee, Saurabh Joshi, Andreas Griesmayer, Daniel Kroening, Tom Melham
Equivalence Checking of a Floating-Point Unit Against a High-Level C Model. FM (2016)
Saurabh Joshi, Daniel Kroening
Property-Driven Fence Insertion Using Reorder Bounded Model Checking. FM (2015)
Martin Brain, Saurabh Joshi, Daniel Kroening, Peter Schrammel
Safety Verification and Refutation by k-invariants and k-induction (extended version). CoRR (2015)
Saurabh Joshi, Ruben Martins, Vasco M. Manquinho
Generalized Totalizer Encoding for Pseudo-Boolean Constraints. CoRR (2015)
Saurabh Joshi, Ruben Martins, Vasco M. Manquinho
Generalized Totalizer Encoding for Pseudo-Boolean Constraints. CP (2015)
Martin Brain, Saurabh Joshi, Daniel Kroening, Peter Schrammel
Safety Verification and Refutation by k-Invariants and k-Induction. SAS (2015)
Saurabh Joshi, Akash Lal
Automatically finding atomic regions for fixing bugs in Concurrent programs. CoRR (2014)
Ruben Martins, Saurabh Joshi, Vasco M. Manquinho, Inês Lynce
Incremental Cardinality Constraints for MaxSAT. CoRR (2014)
Ruben Martins, Saurabh Joshi, Vasco M. Manquinho, Inês Lynce
On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving. J. Satisf. Boolean Model. Comput. 9 (1) (2014)
Saurabh Joshi, Daniel Kroening
Property-Driven Fence Insertion using Reorder Bounded Model Checking. CoRR (2014)
Ruben Martins, Saurabh Joshi, Vasco M. Manquinho, Inês Lynce
Incremental Cardinality Constraints for MaxSAT. CP (2014)
Saurabh Joshi, Shuvendu K. Lahiri, Akash Lal
Underspecified harnesses and interleaved bugs. POPL (2012)
Saurabh Joshi, R. K. Shyamasundar, Sanjeev K. Aggarwal
A New Method of MHP Analysis for Languages with Dynamic Barriers. IPDPS Workshops (2012)
Shivali Agarwal, Saurabh Joshi, Rudrapatna K. Shyamasundar
Distributed Generalized Dynamic Barrier Synchronization. ICDCN (2011)
Frederic Doucet, R. K. Shyamasundar, Ingolf H. Krüger, Saurabh Joshi, Rajesh K. Gupta
Reactivity in SystemC Transaction-Level Models. Haifa Verification Conference (2007)