Program Co-Chair, First USENIX Workshop on Hot Topics in Parallelism (HotPar ’09), March 2009.
Program committee, ACM Symposium on Parallel Algorithms and Architectures (SPAA 08), June 2008.
Keynote address, “Is Architecture the Solution?,” at First Workshop on Architectural and System Support for Improving Software Dependability (ASID), at International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS XII), San Jose, CA, October 2006.
Program committee chair, Architectural Support for Programming Languages and Operating Systems (ASPLOS ’08), 2008.
Program committee, Programming Language Design and Implementation (PLDI ’07), June 2007.
Member, Advancing Software-Intensive Systems Producibility Committee, Computer Science and Telecommunications Board of the National Academies, 2006
Program committee, Workshop on Architectural and System for Improving Software Dependability, in conjunction with ASPLOS ’06, Oct. 2006.
Program committee, Workshop on Programming Models for Ubiquitous Parallelism, in conjunction with PACT ’06, Sept. 2006.
Organizing committee, Workshop on Future Directions of Compiler Research, 2007.
Keynote address, “Abolish Run-time Systems: The Operating System Should Control the Execution Environment,” at Second International Conference on Virtual Execution Environments, Ottawa, Canada, June 2006.
Program committee, Workshop on Transactional-Memory Workloads, in conjunction with PLDI’06, June 2006.
Program committee, ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), 2006.
Steering committee, International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), October 2006.
Keynote address, “Can Architecture Enhance Verifiability? The Singularity Project at Microsoft Research,” Invited talk at the Seventh International Conference on Verification, Model Checking and Abstract Interpretation, Charleston, SC, January 2006.
Program committee, Seventh International Conference on Formal Engineering Methods (ICFEM 2005), November 2005.
Keynote address, “Building Dependable Software,” I & C Research Day, EPFL - Ecole Polytechnique Fédérale de Lausanne, June 2005.
Co-Organizer, Workshop on the Evaluation of Software Defect Detection Tools, in conjunction with PLDI '05, June 2005.
Keynote address, “Building Dependable Software,” Architectural Support for Programming Languages and Operating Systems (ASPLOS '04), October 2004.
Program committee, Fifth International Conference on Verification, Model Checking, and Abstract Interpretation, in conjunction with POPL ’04, January 2004.
Program committee, ACM SIGPLAN Symposium on Principles and Practices of Parallel Programming (PPoPP 03), May 2003.
Program committee, International Symposium on Code Generation and Optimization, CGO-1, March 2003.
Program committee, ASPLOS-X: Tenth International Conference on Architectural Support for Programming Languages and Operating Systems, October 2002.
Program committee, Second Workshop on Runtime Verifications, in conjunction with CAV'02, July 2002.
Program committee, International Conference on Software Engineering (ICSE03), May 2003.s
Program committee, Workshop on Runtime Verification, in conjunction with International Conference on Parallel Architecture and Compilation Techniques (PACT 2001), September 2001.
Program committee, First ACM SIGPLAN Workshop on Optimizations of Middleware and Distributed Systems, in conjunction with PLDI 2001, June 2001.
Program committee, Compiler Optimization meets Compiler Verification (COCV 2002), in conjunction with ETAPS 2002, 2002.
Program committee, ACM SIGPLAN Principles and Practices of Parallel Programming (PPoPP), June 2001.
Program committee, 2001 Static Analysis Symposium (SAS ’01), July 2001.
Program committee, The Best of PLDI Collection, 1970-1996.
Program committee, 3rdWorkshop on Feedback-Directed Optimization, in conjunction with the 33rd Annual International Symposium on Microarchitecture (MICRO 33), December 2000.
General Chair, ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2000), June 2000.
Program committee, 2nd Workshop on Feedback-Directed Optimization (FDO), In Conjunction with MICRO-32, November 1999.
Program committee, Workshop on Binary Translation, In Conjunction with the International Conference on Parallel Architectures and Compilation Techniques (PACT '99) Newport Beach, California, October 1999
Program committee, ACM SIGPLAN Principles and Practices of Parallel Programming (PPoPP), May 1999.
Program committee: Fourth International Workshop on High-Level Parallel Programming Models and Supportive Environments (HIPS'99).
Program committee, Second USENIX Conference on Domain-Specific Languages, October 1999.
Co-Organizer and Program Committee Chair, Workshop on Compiler Support for System Software (WCSSS'99), May 1999.
Co-Organizer, Workshop on Profile and Feedback-Directed Compilation, October 1998.