Saurabh Joshi
Saurabh Joshi
Home
Projects
Publications
Teaching
Students
Daniel Kroening
Latest
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
Safety Verification and Refutation by $k$-Invariants and $k$-Induction
Property-Driven Fence Insertion Using Reorder Bounded Model Checking
Cite
×