Publications

LLOR: Automated Repair of OpenMP Programs

Utpal Bora, Saurabh Joshi, Gautam Muduganti, Ramakrishna Upadrasta

26th International Conference on Verification, Model Checking and Abstract Interpretation (2025)

DOI: 10.1007/978-3-031-82703-7_6

GPURepair: Automated Repair of GPU Kernels (Extended Version)

Saurabh Joshi, Gautam Muduganti

Sadhana - A Journal of Indian Academy of Sciences, Vol. 49 (2024)

DOI: 10.1007/s12046-023-02291-0

DORA: Distributed Agreement with Simple Majority

Prasanth Chakka, Saurabh Joshi, Aniket Kate, Joshua Tobkin, David Yang

International Conference on Distributed Computing Systems 2023 (2023)

DOI: 10.1109/ICDCS57875.2023.00025

GPURepair: Automated Repair of GPU Kernels

Saurabh Joshi, Gautam Muduganti

22nd International Conference on Verification, Model Checking and Abstract Interpretation (2021)

DOI: 10.1007/978-3-030-67067-2_18

OpenMP aware MHP Analysis for Improved Static Data-Race Detection

Utpal Bora, Shraiysh Vaishay, Saurabh Joshi, Ramakrishna Upadrasta

Workshop on the LLVM Compiler Infrastructure in HPC (2021)

Anomaly Detection in Data Plane Systems using Packet Execution Paths

Archit Sanghi, Praveen Tammana, Saurabh Joshi, Krishna P Kadiyala

ACM SIGCOMM workshop on Secure Programmable network INfrastructure (2021)

DOI: 10.1145/3472873.3472880

On the tractability of $(k,i)$-coloring (Extended Journal Version)

Sriram Bhyravarapu, Saurabh Joshi, Subrahmanyam Kalyanasundaram, Anjeneya Swami Kare

Discrete Applied Mathematics (2020)

DOI: 10.1016/j.dam.2020.08.018

LLOV: A Fast Static Data-Race Checker for OpenMP Programs

Utpal Bora, Santanu Das, Pankaj Kukreja, Saurabh Joshi, Ramakrishna Upadrasta, Sanjay V Rajopadhye

ACM Transaction on Architecture and Code Optimization (2020)

DOI: 10.1145/3418597

Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT

Saurabh Joshi, Prateek Kumar, Sukrut Rao, Ruben Martins

Journal of Satisfiability, Boolean Modelling and Computation(11) (2019)

DOI: 10.3233/SAT190118

Phase Transition Behavior of Cardinality and XOR Constraints

Yash Pote, Saurabh Joshi, Kuldeep Meel

International Joint Conference on Artificial Intelligence (2019)

DOI: 10.24963/ijcai.2019/162

Pinaka: Symbolic Execution Meets Incremental Solving - (Competition Contribution)

Eti Chaudhary, Saurabh Joshi

Tools and Algorithms for the Construction and Analysis of Systems (2019)

DOI: 10.1007/978-3-030-17502-3_20

Reflections on "Incremental Cardinality Constraints for MaxSAT"

Ruben Martins, Saurabh Joshi, Vasco Manquinho, Ines Lynce

Virtual Volume to celebrate 25 years of CP (2019)

DOI: 10.1007/978-3-319-98334-9_15

On the tractability of $(k,i)$-coloring

Saurabh Joshi, Subrahmanyam Kalyanasundaram, Anjeneya Swami Kare, B Sriram

International Conference on Algorithms and Discrete Applied Mathematics (2018)

DOI: 10.1007/978-3-319-74180-2

Approximation Strategies for Incomplete MaxSAT

Saurabh Joshi, Prateek Kumar, Ruben Martins, Sukrut Rao

International Conference on Principles and Practice of Constraint Programming (2018)

DOI: 10.1007/978-3-319-98334-9_15

Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs

Vojtech Forejt, Saurabh Joshi, Daniel Kroening, Ganesh Narayanaswamy, Subodh Sharma

ACM Transactions on Programming Languages and Systems(39) (2017)

DOI: 10.1016/j.dam.2020.08.018

The virtues of conflict: analysing modern concurrency

Ganesh Narayanaswamy, Saurabh Joshi, Daniel Kroening

ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (2016)

DOI: 10.1145/2851141.2851165

Equivalence Checking of a Floating-Point Unit Against a High-Level C Model

Rajdeep Mukherjee, Saurabh Joshi, Andreas Griesmayer, Daniel Kroening, Tom Melham

International Symposium on Formal Methods (2016)

DOI: 10.1007/978-3-319-48989-6_33

Generalized Totalizer Encoding for Pseudo-Boolean Constraints

Saurabh Joshi, Ruben Martins, Vasco Manquinho

International Conference on Principles and Practice of Constraint Programming (2015)

DOI: 10.1007/978-3-319-23219-5_15

On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving

Ruben Martins, Saurabh Joshi, Vasco Manquinho, Ines Lynce

Journal of Satisfiability, Boolean Modelling and Computation (9) (2015)

DOI: 10.3233/sat190102

Safety Verification and Refutation by $k$-Invariants and $k$-Induction

Martin Brain, Saurabh Joshi, Daniel Kroening, Peter Schrammel

Static Analysis Symposium (2015)

DOI: 10.1007/978-3-662-48288-9_9

Property-Driven Fence Insertion Using Reorder Bounded Model Checking

Saurabh Joshi, Daniel Kroening

International Symposium on Formal Methods (2015)

DOI: 10.1007/978-3-319-19249-9_19

Automatically finding atomic regions for fixing bugs in Concurrent Programs

Saurabh Joshi, Akash Lal

Computational Research Repository (2014)

Incremental Cardinality Constraints for MaxSAT

Ruben Martins, Saurabh Joshi, Vasco Manquinho, Ines Lynce

International Conference on Principles and Practice of Constraint Programming (2014)

DOI: 10.1007/978-3-319-10428-7_39

A New Method of {MHP} Analysis for Languages with Dynamic Barriers

Saurabh Joshi, R K Shyamasundar, Sanjeev K Aggarwal

International Parallel and Distributed Processing Symposium Workshops (2012)

DOI: 10.1109/IPDPSW.2012.70

Underspecified harnesses and interleaved bugs

Saurabh Joshi, Shuvendu Lahiri, Akash Lal

ACM SIGPLAN-SIGACT Symposium on Principles Programming Languages (2012)

DOI: 10.1145/2103656.2103662

Distributed Generalized Dynamic Barrier Synchronization

Shivali Agarwal, Saurabh Joshi, R K Shyamasundar

International Conference on Distributed Computing and Networking (2011)

DOI: 10.1007/978-3-642-17679-1_13

Reactivity in SystemC Transaction-Level Models

Frederic Doucet, R K Shyamasundar, Ingolf Krueger, Saurabh Joshi, Rajesh K Gupta

International Haifa Verification Conference (2007)

DOI: 10.1007/978-3-540-77966-7_7