- Current Program Committees
- Pact, 2012
- ACM Foundations of Software Engineering, 2012
- Regression Testing Workshop, 2012.
- CRA-W Board
- ACM Council Member at Large, 2008-1010
- ACM PUBS board, 2006-2012
Recent Keynote/Distinguished Speaker
- College of William and Mary, March, 2011
- 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