Saurabh Joshi

Orcid: 0000-0001-8070-1525

  • SupraOracles
  • Indian Institute of Technology Hyderabad (IIT Hyderabad) (former)
  • Indian Institute of Technology Guwahati (IIT Guwahati) (former)
  • University of Oxford, Department of Computer Science, UK (former)
  • Indian Institute of Technology in Kanpur, India (former)

According to our database1, Saurabh Joshi authored at least 29 papers between 2007 and 2023.

Collaborative distances:



In proceedings 
PhD thesis 


Online presence:



DORA: Distributed Oracle Agreement with Simple Majority.
CoRR, 2023

Oracle Agreement: From an Honest Super Majority to Simple Majority.
Proceedings of the 43rd IEEE International Conference on Distributed Computing Systems, 2023

On the tractability of (k, i)-coloring.
Discret. Appl. Math., 2021

GPURepair: Automated Repair of GPU Kernels.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

Anomaly Detection in Data Plane Systems using Packet Execution Paths.
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.
Proceedings of the 7th IEEE/ACM Workshop on the LLVM Compiler Infrastructure in HPC, 2021

LLOV: A Fast Static Data-Race Checker for OpenMP Programs.
ACM Trans. Archit. Code Optim., 2020

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

Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT.
J. Satisf. Boolean Model. Comput., 2019

Reflections on "Incremental Cardinality Constraints for MaxSAT".
CoRR, 2019

Pinaka: Symbolic Execution Meets Incremental Solving - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Phase Transition Behavior of Cardinality and XOR Constraints.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Approximation Strategies for Incomplete MaxSAT.
Proceedings of the Principles and Practice of Constraint Programming, 2018

Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs.
ACM Trans. Program. Lang. Syst., 2017

The Virtues of Conflict: Analyzing Modern Concurrency.
CoRR, 2016

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

The virtues of conflict: analysing modern concurrency.
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.
Proceedings of the FM 2016: Formal Methods, 2016

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

Safety Verification and Refutation by k-Invariants and k-Induction.
Proceedings of the Static Analysis - 22nd International Symposium, 2015

Property-Driven Fence Insertion Using Reorder Bounded Model Checking.
Proceedings of the FM 2015: Formal Methods, 2015

Generalized Totalizer Encoding for Pseudo-Boolean Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2015

On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving.
J. Satisf. Boolean Model. Comput., 2014

Automatically finding atomic regions for fixing bugs in Concurrent programs.
CoRR, 2014

Incremental Cardinality Constraints for MaxSAT.
Proceedings of the Principles and Practice of Constraint Programming, 2014

Underspecified harnesses and interleaved bugs.
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.
Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium Workshops & PhD Forum, 2012

Distributed Generalized Dynamic Barrier Synchronization.
Proceedings of the Distributed Computing and Networking - 12th International Conference, 2011

Reactivity in SystemC Transaction-Level Models.
Proceedings of the Hardware and Software: Verification and Testing, 2007