Program Committees and Other Service Activities

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

• 2007 ACM Symposium on Principles of Programming Languages (POPL 2007)

• 2006 TAIC PART -- Testing: Academia and Industrial Conference - Practice and Research Techniques. Cumberland Lodge, Windsor, UK, 29th-31st August, 2006

• 2007 Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'2007) -- part of the ETAPS 2007 Joint Conference

• 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.