Saurabh Joshi

Principal Researcher

I am a Researcher working with a private company. All the information/views expressed here are my own and do not represent views of any of my past or current employer.

Interests

Constraint Programming
Formal Verification
Program Analysis

Education

PhD in Computer Science and Engineering, 2012
IIT Kanpur
MTech in Computer Science and Engineering, 2006
IIT Bombay
BE in Information Technology, 2003
Sardar Patel University, Vallabhvidyanagar

Latest

OpenMP aware MHP Analysis for Improved Static Data-Race Detection
Anomaly Detection in Data Plane Systems using Packet Execution Paths
GPURepair: Automated Repair of GPU Kernels
LLOV: A Fast Static Data-Race Checker for OpenMP Programs
On the tractability of $(k,i)$-coloring (Extended Journal Version)
Reflections on "Incremental Cardinality Constraints for MaxSAT"
Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT
Phase Transition Behavior of Cardinality and XOR Constraints
Pinaka: Symbolic Execution Meets Incremental Solving - (Competition Contribution)
Approximation Strategies for Incomplete MaxSAT
On the tractability of $(k,i)$-coloring
Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs
Equivalence Checking of a Floating-Point Unit Against a High-Level C Model
The virtues of conflict: analysing modern concurrency
On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving
Generalized Totalizer Encoding for Pseudo-Boolean Constraints
Safety Verification and Refutation by $k$-Invariants and $k$-Induction
Property-Driven Fence Insertion Using Reorder Bounded Model Checking
Incremental Cardinality Constraints for MaxSAT
Automatically finding atomic regions for fixing bugs in Concurrent Programs
A New Method of {MHP} Analysis for Languages with Dynamic Barriers
Underspecified harnesses and interleaved bugs
Distributed Generalized Dynamic Barrier Synchronization
Reactivity in SystemC Transaction-Level Models