Saurabh Joshi sbjoshi[at]iitg[dot]ernet[dot]in +91 361 258 3257 Assistant Professor Department of Computer Science and Engineering IIT Guwahati

Research

Research Interests

Formal verification, automated repair, model-checking, concurrent programs, program analysis and constraint solving

Patent

1. Saurabh Joshi, Shuvendu Lahiri and Akash Lal, "REDUCING FALSE ALARMS FOR STATIC ANALYSIS OF CONCURRENT PROGRAMS", US Patent No : 8793664.

Tools

CBMC-Repair

CBMC-Repair is built on top of CPROVER model-checking frame work which suggests optimum fence placement in a C program. paper

Open-WBO

Open-WBO is an open source MaxSAT solver which can use any MiniSAT like off-the-shelf SAT solver underneath. Open-WBO won the MaxSAT 2014 evaluations for unweighted MaxSAT category for industrial benchmarks. It also secured a second place for partial MaxSAT category for industrial benchmarks. paper

Summarizer

summarizer is a software verifier for C programs which uses a holistic combination of bounded model-checking, k-induction and abstract interpretation. paper summarizer aka 2LS won gold in floating point category at SVCOMP 2016

Walcyrie

Walcyrie is a modification over CBMC model-checker that employs better encoding to make the model-checking more efficient over relaxed memory models.

powered by Pandoc

Last Modified at : Sat Mar 5 18:09:54 IST 2016