Advisor: Subodh Sharma
Reaseach Area: Program Analysis of Relaxed Memory Concurrency
Member: Vertecs Group
Find Me: Verification Lab
3rd floor, Bharti Building (Block IIA)
I'm a research scholar in the Department of Computer Science & Engineering, IIT Delhi. I am working in the area of Program Verification and Compiler Design.
I joined here in July 2016. Prior to this I was working at Jaypee University of Information Technology, Solan H.P.
as Assistant Professor in the Department of Computer Science & Engineering.
I completed my masters through an integrated B.Tech-M.Tech in Computer Science from Jaypee Institute of Information Technology, Noida, U.P.
Currently Working On
||COL380 Introduction to Parallel and Distributed Programming
||Stateless runtime model checking of C/C++11 programs.
The permissible behaviours under C/C++11 model are complex, making it challenging to capture the semantics for a comprehensive analysis. The aim of this work is to create a sound, efficient and scalable program analysis technique to detect races and property violations in a C/C++11 source program.
Reachability Analysis in Time Petri-net.
A transition may be firable in a Petri Net. This work attempts to answer wether the reachability holds with the additional time constraints.
Member of Vertecs Research Group
VERification, TEsting, Concurrency, Security / Semantics (VERTECS2
) is a research group in the Department of Computer Science and Engineering at IIT Delhi. We have members working in the areas of formal verification, concurrency, programming languages and security. The group wepage can be found here
The webpage for the group has been designed by me.
Workshops, Programs & Visits
The Third Indian SAT+SMT School
06-08 December 2018
The theme of the school was encodings in the solvers.
The Second Indian SAT+SMT School
06-08 December 2017
The theme of the school was quantifiers in solvers with tutorials on Quantified Boolean Formulas, Quantifiers in SMT solvers and Quantified invariants in verification tools.I was member of the support organizers for the school and had created the official school webpage
Winter School in Software Engineering (WSSE)
11-16 December 2017
The school included talks, tutorials and hands-on sessions focused program analysis and verification.
Japan-Asia Youth Exchange Program in Science (SAKURA)
25 June - 15 July 2017
University of Tokyo
SAKURA is a program for enhancing exchanges between Asia and Japan aiming at future close collaboration of industry-academia-government by facilitating short-term visits to Japan. You can read about my experience
The First Indian SAT+SMT School
04-10 December 2016
The workshop included a basic course on logic, tutorials on solvers by eminent scientists and developers from around the world, and latest research and applications centered around these solvers.
Bug Localization for Exception Handling and Multithreading
Created a prototype tool for a bug localization technique that is based on the hypothesis that a mutant of the source code could be a better approximation of the intended code. The work involved proposal of mutation operators to create mutants to detect buggy lines of code. And testing of proposed mutants for usefulness towards the hypothesis.
Mining mailing list for extracting useful information
Created a query response system that mines developer mailing lists for extracting useful information and possible response to the query and finally producing the best fit match for a user’s query. Used concepts like caching (of frequent responses), stopword elimination and stemming (for refining query), topic modeling (to classify mails in mailer list), sentiment analysis (to marks mails as positive or negative) and ranking mechanism (for ranking the responses).
Courses enrolled at IIT, Delhi
COL765 Introduction to Logic and Functional Programming
COL730 Parallel Programming
COL729 Compiler Optimizations (Sit through)
COL633 Resource Management in Computer Science
COL750 Foundations of Automatic Verification
COL869 Spl. Topics in Concurrency (2017)
COL871 Spl. Topics in Programming Languages and Compilers
COV882 Spl. Module in Software Systems
COL869 Spl. Topics in Concurrency (2018) (Sit through)
Teaching Assistantship at IIT, Delhi
COL380 Introduction to Parallel and Distributed Programming (Jan-May '19)
COL100 Introduction to Computer Science (Jun-Dec '18)
COV889 Special Module in Concurrency (Jan-May '18)
COL380 Introduction to Parallel and Distributed Programming (Jan-May '18)
COL765 Introduction to Logic and Functional Programming (Jul-Dec '17)
COL380 Introduction to Parallel and Distributed Programming (Jan-May '17)
COL729 Compiler Optimizations (Jul-Dec '16)