Saurabh Joshi
Assistant Professor
Department of CSE
Indian Institute of Technology Hyderabad
India
Biography
Saurabh Joshi isan Assistant Professor at Department of CSE, E-617, IIT Hyderabad
Research Interest
Program Analysis, Formal Methods, Verification, Concurrency, Constraint Solving.
Publications
-
Rajdeep Mukherjee, Andreas Griesmayer, Daniel Kroening and Tom Melham, "Equivalence Checking of a Floating-point Unit Against a High-level C Model" (FM) 2016.
-
Vojtech Forejt, Daniel Kroening, Ganesh Narayanaswamy and Subodh Sharma, "Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs", (TOPLAS) 2017.
