Saurabh Joshi

According to our database, Saurabh Joshi authored at least 30 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

LLOR: Automated Repair of OpenMP Programs.

Utpal Bora, Saurabh Joshi, Gautam Muduganti, Ramakrishna Upadrasta

CoRR, 2024

2023

DORA: Distributed Oracle Agreement with Simple Majority.

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

CoRR, 2023

Oracle Agreement: From an Honest Super Majority to Simple Majority.

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

Proceedings of the 43rd IEEE International Conference on Distributed Computing Systems, 2023

2021

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

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

Discret. Appl. Math., 2021

GPURepair: Automated Repair of GPU Kernels.

Saurabh Joshi, Gautam Muduganti

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

Anomaly Detection in Data Plane Systems using Packet Execution Paths.

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

Proceedings of the SPIN '21: Proceedings of the ACM SIGCOMM 2021 Workshop on Secure Programmable network INfrastructure, 2021

OpenMP aware MHP Analysis for Improved Static Data-Race Detection.

Utpal Bora, Shraiysh Vaishay, Saurabh Joshi, Ramakrishna Upadrasta

Proceedings of the 7th IEEE/ACM Workshop on the LLVM Compiler Infrastructure in HPC, 2021

2020

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

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

ACM Trans. Archit. Code Optim., 2020

Hardware/Software Co-verification Using Path-based Symbolic Execution.

Rajdeep Mukherjee, Saurabh Joshi, John O'Leary, Daniel Kroening, Tom Melham

CoRR, 2020

2019

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

Saurabh Joshi, Prateek Kumar, Sukrut Rao, Ruben Martins

J. Satisf. Boolean Model. Comput., 2019

Reflections on "Incremental Cardinality Constraints for MaxSAT".

Ruben Martins, Saurabh Joshi, Vasco Manquinho, Inês Lynce

CoRR, 2019

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

Eti Chaudhary, Saurabh Joshi

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Phase Transition Behavior of Cardinality and XOR Constraints.

Yash Pote, Saurabh Joshi, Kuldeep S. Meel

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

2018

Approximation Strategies for Incomplete MaxSAT.

Saurabh Joshi, Prateek Kumar, Ruben Martins, Sukrut Rao

Proceedings of the Principles and Practice of Constraint Programming, 2018

2017

Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs.

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

ACM Trans. Program. Lang. Syst., 2017

2016

The Virtues of Conflict: Analyzing Modern Concurrency.

Ganesh Narayanaswamy, Saurabh Joshi, Daniel Kroening

CoRR, 2016

Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version).

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

CoRR, 2016

The virtues of conflict: analysing modern concurrency.

Ganesh Narayanaswamy, Saurabh Joshi, Daniel Kroening

Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016

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

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

Proceedings of the FM 2016: Formal Methods, 2016

2015

Safety Verification and Refutation by k-invariants and k-induction (extended version).

Martin Brain, Saurabh Joshi, Daniel Kroening, Peter Schrammel

CoRR, 2015

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

Martin Brain, Saurabh Joshi, Daniel Kroening, Peter Schrammel

Proceedings of the Static Analysis - 22nd International Symposium, 2015

Property-Driven Fence Insertion Using Reorder Bounded Model Checking.

Saurabh Joshi, Daniel Kroening

Proceedings of the FM 2015: Formal Methods, 2015

Generalized Totalizer Encoding for Pseudo-Boolean Constraints.

Saurabh Joshi, Ruben Martins, Vasco Manquinho

Proceedings of the Principles and Practice of Constraint Programming, 2015

2014

On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving.

Ruben Martins, Saurabh Joshi, Vasco Manquinho, Inês Lynce

J. Satisf. Boolean Model. Comput., 2014

Automatically finding atomic regions for fixing bugs in Concurrent programs.

Saurabh Joshi, Akash Lal

CoRR, 2014

Incremental Cardinality Constraints for MaxSAT.

Ruben Martins, Saurabh Joshi, Vasco Manquinho, Inês Lynce

Proceedings of the Principles and Practice of Constraint Programming, 2014

2012

Underspecified harnesses and interleaved bugs.

Saurabh Joshi, Shuvendu K. Lahiri, Akash Lal

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

A New Method of MHP Analysis for Languages with Dynamic Barriers.

Saurabh Joshi, R. K. Shyamasundar, Sanjeev K. Aggarwal

Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium Workshops & PhD Forum, 2012

2011

Distributed Generalized Dynamic Barrier Synchronization.

Shivali Agarwal, Saurabh Joshi, Rudrapatna K. Shyamasundar

Proceedings of the Distributed Computing and Networking - 12th International Conference, 2011

2007

Reactivity in SystemC Transaction-Level Models.

Frederic Doucet, R. K. Shyamasundar, Ingolf H. Krüger, Saurabh Joshi, Rajesh K. Gupta

Proceedings of the Hardware and Software: Verification and Testing, 2007