An essential part of science is to be able to explain your work in simple terms to others. Here are some simple explanations by some of my students about their work in their own words.
Formal verification, automated repair, model-checking, concurrent programs, program analysis and constraint solving
- Saurabh Joshi, Shuvendu Lahiri and Akash Lal, “REDUCING FALSE ALARMS FOR STATIC ANALYSIS OF CONCURRENT PROGRAMS”, US Patent No : 8793664.
- DST Early Career Research Award for “Scope Enrichment of Verification Technologies” 2017-2020 (INR 22.5 lakh)
Accolades won by OpenWBO:
- MaxSAT Evaluations 2018: 1 Gold medal, 1 Silver medal
- MaxSAT Evaluations 2017: 2 Gold medals, 1 Silver medal
- MaxSAT Evaluations 2016: 1 Gold medal, 1 Silver medal, 1 Bronze medal
- Pseudo-Boolean Evaluations 2016: 2 Silver medals, 2 Bronze medals
- MaxSAT Evaluations 2015 : 1 Gold medal, 1 Silver medal
- MaxSAT Floc Olympic Games 2014: 2 Gold medals
- MaxSAT Evaluations 2014: 1 Gold medal, 1 Silver medal
Pinaka (named after the bow of Lord Shiva) is a symbolic execution engine built on top of CPROVER/SYMEX framework.
Accolade won by Pinaka:
- 2nd place in ReachSafety-Floats subcategory in SVCOMP 2019.
Summarizer (aka 2LS)
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