Professional Activities

• Adjunct Faculty Member @ IIT Kanpur
• Affiliate Faculty Member @ University of Washington
• Industrial Advisory Board @ Oregon State University
• Media:
  • 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
• Invited Talks: Maryland CS Colloquium Fall 2013, ExCAPE Summer School on Software Synthesis 2013, SYNASC 2012, WAMBSE 2012, ISEC 2012, PASTE 2011, AVM/RiSE 2011, FMCAD 2010 Tutorial, AVM 2010, PPDP 2010, WING 2010, FOPARA 2009, CAV 2009, HAV 2008, VSTTE 2006, UW/MSR Summer Institute on Trends in Testing 2004
• Invited Lectures:
  • 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
• Workshop/Summer-school Organization
  • 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
• PC Member: PLDI 2014, PLDI 2013 ERC, CICM 2012, CC 2012, SAS 2011, POPL 2011, PLDI 2010, VMCAI 2010, ESOP 2010, PLDI 2009 SRC, SAS 2009, CC 2008
• Phd Students (co-advised by me):
  • Current: Rishabh Singh (MIT), Vu Le (UC-Davis), Daniel Perelman (Univ. of Washington), Erik Andersen (Univ. of Washington), Alex Polozov (Univ. of Washington)
  • Past: Florian Zuleger (TU Vienna; now a tenure-track faculty at the same institute), Saurabh Srivastava (University of Maryland at College Park; now post-doc at UC-Berkeley)