Adjunct Faculty Member @ IIT Kanpur
Affiliate Faculty Member @ University of Washington
Industrial Advisory Board @ Oregon State University
Flash Fill (Excel feature in Office 2013)
Flash Fill Gives Excel a Smart Charge
Computers will raise the IQ of the World
Programming for Dummies
Computer Programming Itself
Excel programming for nonprogrammers
: Maryland CS Colloquium Fall 2013,
ExCAPE Summer School on Software Synthesis 2013
FMCAD 2010 Tutorial
, UW/MSR Summer Institute on Trends in Testing 2004
Marktoberdorf International Summer School
, August 2013
Summer School on Formal Techniques
at Menlo College, Atherton, CA, May 2012
Summer School on Logic and Theorem-Proving in Programming Languages
at University of Oregon, 2009
Static Program Analysis course
at UCLA, 2008
Program Analysis and Verification course
at IISc-Bangalore, 2007
Dagstuhl Seminar on Approaches and Applications of Inductive Programming
, Dec 2013.
1st Workshop on Programming Languages Technology for Massive Open Online Courses
, June 2013 (Colocated with PLDI 2013).
Dagstuhl Seminar on Software Synthesis
, Apr 2012.
Dagstuhl Summer School on Software Synthesis
, Aug 2011.
Workshop on Quantitative Analysis of Software
, colocated with CAV 2009, Grenoble, France.
Workshop on Security and Reliability in Software Systems
, colocated with FSTTCS/APLAS 2008, Bangalore, India.
Collaborator on $10 million NSF Expeditions grant:
ExCAPE: Expeditions in Computer Augmented Program Engineering
: PLDI 2014,
PLDI 2013 ERC
PLDI 2009 SRC
(co-advised by me):
(Univ. of Washington),
(Univ. of Washington), Alex Polozov (Univ. of Washington)
(TU Vienna; now a tenure-track faculty at the same institute),
(University of Maryland at College Park; now post-doc at UC-Berkeley)