Program Committees

• I was general chair of the ACM SIGPLAN 2008 Workshop on Partial Evaluation and Program Manipulation (PEPM '08)San Francisco, CA, January 7-8, 2008.
• I was co-chair (with Frank Tip from IBM T.J. Watson) of the ACM SIGPLAN 2006 Workshop on Partial Evaluation and Program Manipulation (PEPM '06)Charleston, South Carolina, January 9-10, 2006.
• I was co-chair (with Oleg Sokolsky and Insup Lee from U Penn) of the RTAS Workshop on Innovative Techniques for Certification of Embedded Systems (ITCES '06)San Jose, California, April 4, 2006.
• I was co-chair (with Bernhard Steffen, University of Dortmund) of the International Summer School on Tool for Rigorous Engineering of Software Systems (STRESS), Dortmund, Germany, May 18-24, 2006. The theme of this incarnation of the summer school is model-driven development.
• I served as co-chair of the 2003 Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'2003) -- part of the ETAPS 2003 Joint Conference, April 5 - 13, 2003, Warsaw, Poland.

I've served on the following program committees for international conferences and workshops.

• 15th International SPIN Workshop on Model Checking of Software (SPIN 2008), August 10-12, 2008, Los Angeles, USA
• 10th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'08), June 4-6, 2008, Oslo, Norway.
• 2007 ACM Symposium on Principles of Programming Languages (POPL 2007), Nice, France, January 2007.
• 2007 Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'2007) -- part of the ETAPS 2007 Joint Conference, Braga, Portugal, April 2007
• 2006 TAIC PART -- Testing: Academia and Industrial Conference - Practice and Research Techniques. Cumberland Lodge, Windsor, UK, 29th-31st August, 2006
• National Workshop on High Confidence Software Platforms for Cyber Physical Systems (November 30-December 1, 2006)
• 2005 Workshop on Formal Techniques for Java-like Programs (FTfJP'2005). July 26, 2005. Glasgow, Scotland.
• 2005 Conference on Computer-Aided Verification (CAV'05), July 7-10, Edinburgh, Scotland.
• 2005 Workshop on High Confidence Medical Device Software and Systems (HCMDSS), June 2-3, Philadelphia, PA.
• 2005 International Workshop on Leveraging Applications of Formal Methods (ISoLA 2005), Columbia, Maryland, USA
• 2005 Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'2005) -- part of the ETAPS 2005 Joint Conference, April 4-8 in Edinburgh, Scotland.
• Model Driven and Real-Time Embedded Systems track at 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2005), San Francisco, March 7-10, 2005.
• International Symposium on Leveraging Applications of Formal Methods (ISoLA 2004)
• ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 2004)
• ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2004)
• ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation (PEPM 2004), Verona, Italy, August 24 - 25, 2004.
• 2004 Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'2004) -- part of the ETAPS 2004 Joint Conference, March 27 - April 4, 2004, Barcelona, Spain.
• 2004 Spin Workshop, Barcelona, Spain.
• ACM Conference on Programming Language Design and Implementation (PLDI'2003)
• I'm co-chair of the 2003 Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'2003) -- part of the ETAPS 2003 Joint Conference, April 5 - 13, 2003, Warsaw, Poland.
• 2002 Conference on Computer-Aided Verification (CAV'02), Copenhagen, Denmark.
• 2002 Spin Workshop, Grenoble, France.
• 2001 Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'2001), Genova, Italy.
• Third ACM SIGPLAN Workshop on Continuations. London, England. (CW'01)
• Seventh International SPIN Workshop on Model Checking Software. Palo Alto, California. (SPIN 2000)
• 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation Boston, Mass. (PEPM 2000)
• Twelfth International Conference on Software Engineering and Knowledge Engineering (SEKE 2000)
• ICSE 2000 Workshop on Program Analysis, Testing and Verification. Limerick, Ireland.