Saurabh Joshi

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