- Current Program Committees
- Pact, 2011
- ICSE Workshop on Software Engineering for Sensor Network Applicaitons
- First International Workshop on Self-tuning, Large Scale Computing Systems for the Exaflop Era, ADAPT 2011 (http://exadapt.org) co-located with PLDI 2011 and FCRC 2011.
- CRA-W Board
- ACM Council Member at Large, 2008-1010
- ACM PUBS board, 2006-2012
Keynote/Distinguished Speaker
- UC Irvine Institute for Software Research, 2010
- Triangle Computer Science Distinguished Lecturer Series, 2010
- Keynote, International Conference Software Testing, Verification and Validation, Paris, 2010
- Dean’s Distinguished Lecturer, University of Texas at San Antonio, 2009
- Keynote, 11th IEEE High Assurance Systems Engineering Symposium (HASE 2008)
- Keynote, Mid-Atlantic Student Workshop on Programming Languages and Systems, 2005
- Keynote, Fifth International Conference on Quality Software, Melbourne, Australia, 2005
- NSF ITWF and ITR PIs Conference, 2004
- Keynote, Compiler Construction Conference, Barcelona, 2004
- IBM Lecturer Series, Notre Dame, Department of Computer Science, 2003
- Department of Computer Science, University of Maryland, 2002
- Department of Computer Science and Engineering, University of Michigan, 2001
- IBM T.J. Watson Research Center, 2001
- Dissertation Adviser of Rastislav Bodik, winner of ACM SIGPLAN Award for the Best Dissertation in Programming Languages, 2000
- Model Checking and Program Analysis Seminar, Munich, Germany, 2000
- International Symposium on Static Analysis, Venice, 1999