2010

• Siddharth Agarwal (IIT Kanpur):
• Nels Beckman (CMU): Specification inference for Modular checkers
• Bharat Balasubramanian (UT Austin):
• Arun Chaganty (IIT Madras): Statistical debugging
• Piyush Chawla (IIT Delhi):
• Neil Conway (Berkeley):
• Saurabh Joshi (IIT Kanpur): Automatic Synthesis of Concurrency Control
• Abhishek Katyal (IIT Delhi): Automatic environment generation for systems code
• Nirmesh Malviya (IIT Kanpur):
• Hesam Samimi (UCLA):
• Rahul Sharma (IIT Delhi): Relevance heuristics for software model checking (Btech project)
• Rahul Srinivasan (IIT Bombay): Quantified Boolean Formulae solver
• Zachary Tatlock (UCSD): Verification of concurrent programs

2009

• Jong-Hoon An (Maryland):
• Ashisk Kumar Agarwal (IIT Kanpur): Isolator
• Vijay Victor D'Silva (Oxford): Abstract Model Checking
• William R. Harris (Wisconsin): Alternation for Termination (SAS 2010)
• Nicholas P. Johnson (Princeton):
• Vijay Anand Korthikanti (UIUC): Generic Specification Inference
• Prakash J. Prabhu (Princeton): Safe Programmable Speculative Parallelism (PLDI 2010)
• Rahul Sharma (IIT Delhi): Security specification inference for drivers
• Dheeraj Singh (IIT Kharagpur):
• Abhishek Udupa (IISc Bangalore):
• Shashank Yaduvanshi (IIT Delhi): GUESSTIMATE (PLDI 2010)

2008

• Jyothirmoy Deshmukh (UT Austin): WYPIWYG (ESOP 2010, best paper award)
• Bhargav S. Gulawani (IIT Bombay): Bottom-up Shape Analysis (SAS 2009)
• Michael Tschantz (CMU): Quantitative Information flow (QAS workshop 2009) 

2007

• Nels E. Beckman (CMU): Proofs from Tests (ISSTA 2008, TSE 2010)
• Pavol Cerny (UPenn): Analysis of Access Control Systems
• Pallavi Joshi (Berkeley):
• Akash Lal (Wisconsin): Reference Count Analysis (IPL 2010)
• Robert J. Simmons (CMU): Proofs from Tests (ISSTA 2008, TSE 2010)
• Christian Stefansen (DIKU):
• Pushkar Tripathi (IIT Delhi):

2006

• Avik Chaudhuri (UC Santacruz): Modeling and analyzing access control systems (PLAS 2008, CCS 2008)
• Prakash Chandrasekharan (CMI): CLARITY (FSE 2007)
• Chris Conway (NYU): CLARITY (FSE 2007)
• Madhu Gopinathan (IISc Bangalore): InvCop (RV 2008)
• Bhargav S. Gulavani (IIT Bombay): Automatically refining abstract interpretations (TACAS 2008, IPL 2010)
• Sumit Jha (CMU): Verification of OR maps (SEFM 2007)
• Roman Manevich (Tel Aviv): Shape analysis (TACAS 2007)
• Kapil Vaswani (IISc Bangalore): Preferential Path Profiling (POPL 2007, FSE 2007)

2005

• Bhargav S. Gulavani (IIT Bombay): CEGAR for Abstract Interpretation (TACAS 2006)
• Aditya Parameswaran (IIT Bombay): Access control analysis