2012

• Arun Chaganty (Stanford University):
• Prasanth Chatarasi (IIT Hyderabad): (Btech thesis)
• Ravi Chirravuri (BITS Pilani): (Btech thesis)
• Guillaume Claret (ENS, Paris): Probabilistic Programming
• Sivakanth Gopi (IIT Bombay):

2011

• Aws Albarghouthi (University of Toronto): Parallelizing Top-Down Interprocedual Analysis
• Arun Chaganty (IIT Madras): Statistical Relational Learning
• Vijay Victor D'Silva (Oxford University): Probabilistic Abstract Interpretation
• Garvit Juniwal (IIT Bombay): Quantitative Label Inference
• Robert J. Simmons (CMU): Sematics of Probabilistic Programs

2010

• Nels E. Beckman (CMU): Specification inference for Plural
• Abhishek Katyal (IIT Delhi): Automatic generation of environment models for software model checking
• Matthias Heizmann (University of Frieburg): Verification of concurrent programs
• Rahul Sharma (IIT Delhi): Relevance heuristics for software model checking (Btech thesis)
• Rahul Srinivasan (IIT Bombay): Quantified Boolean Formulae solving
• Zachery Tatlock (UCSD): Testing concurrent programs

2009

• Vijay Victor D'Silva (Oxford University): Abstract model checking
• William R. Harris (Wisconsin): Alternation for termination
• Vijay Anand Korthikanti (UIUC): Generic specification inference
• Rahul Sharma (IIT Delhi): Specification inference for driver security

2008

• Bhargav S. Gulavani (IIT Bombay): Bottom-up shape analysis
• Michael Tschantz (CMU): Measuring the loss of privacy from statistics

2007

• Nels E. Beckman (CMU): Proofs from tests
• Robert J. Simmons (CMU): Proofs from tests

2006

• Bhargav S. Gulavani (IIT Bombay): Automatically refining abstract interpretations
• Kapil Vaswani (IISc Bangalore): Preferential path profiling