Professional Activities

  • Current Program Committees
    • Code Generation and Optimization (CGO), 2015
    • Virtual Execution Environments (VEE) 2016
  • ACM Council Member at Large, 2012-2016
  • ACM PUBS board, 2006- present

Recent Keynote/Distinguished Speaker

  • Women in Computing” Distinguished Lecture Series, University of Michigan, 2016
  • Distinguished Speaker,  University of British Columbia, 2015
  • Distinguished Speaker, Institute of Information Science, Academia Sinica Taiwan. 2014
  • Distinguished Speaker, University of Waterloo, 2013
  • Distinguished Speaker, Rice University, 2013
  • Distinguished Speaker, University of Texas, Austin, 2013
  • Keynote Speaker, SESENA workshop at ICSE, 2013
  • Distinguished Speaker, College of William and Mary, 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

Comments are closed.