Editorial Boards

• Editorial board, Communications of the ACM (CACM), November 2007 – .
• Editorial board, Software – Practice & Experience, Wiley & Sons, August 2007 – .
• Editorial board, Open Software Engineering Journal, Bentham Science Publishers, February 2007 – .

Committees & Keynotes

• Program committee, USENIX HotPar 2012, June 2012.
• Program committee, 2011 ACM SIGPLAN Workshop on Memory Systems Performance and Correctness (MSPC 2011), co-located with PLDI, June 2011.
• Program committee, 2nd ACM SIGOPS Asia-Pacific Workshop on Systems (APSys 2011), July 2011.
• Keynote, “The Cloud Will Change Everything,” Microsoft Research Cloud Futures Workshop, June 2011.
• Keynote, “The Cloud Will Change Everything,” EcoCloud Opening, EPFL, Lausanne, Switzerland, May 2011.
• Program committee, 2nd Workshop on Determinism and Correctness in Parallel Programming, co-located with ASPLOS, March 2011.
• Program committee, HotPar 2011, May 2011.
• Program committee, Programming Languages Design and Implementation (PLDI ’11), June 2011.
• Keynote, “The Cloud Will Change Everything,”  Sixteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2011), March 2011.
• Program committee, Architectural Support for Programming Languages and Operating Systems (ASPLOS ‘11), March 2011.
• Keynote, “Programming the Cloud,” 11^th International Symposium on High-Performance Computer Architecture (HPCA) and 16^th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming (PPoPP), February 2011.
• Invited Talk, “Programming the Cloud,”  Gerard Salton Memorial Lecture, Cornell University, November 2010.
• Program committee, Workshop on Concurrency for the Application Programmer, co-located with SPLASH 2010, November 2010.
• Invited Talk, “Cloud Programming,” Microsoft Faculty Summit, July 2010.
• Program committee, ACM Symposium on Cloud Computing, co-located with SIGMOD, June 2010.
• Program committee, GreenMetrics 2010 Workshop, co-located with SIGMETRICS 2010, June 2010.
• Program committee, 6th Workshop on the Interaction between Operating System and Computer Architecture (WIOSCA 2010), co-located with ISCA 2010, June 2010.
• External review committee, ISCA 2010, June 2010.
• Program committee, HotPar 2010, June 2010.
• Program committee, EuroSys 2010, April 2010.
• Program committee, International Symposium on Code Generation and Optimization (CGO), March 2010.
• Keynote, “Programming Clouds,” International Conference on Compiler Construction (CC ’10), Paphos, Cyprus, March 2010.
• Invited Talk, “Should We Fear Concurrency?,” Workshop on Advancing Computer Architecture Research (ACAR), February 2010.
• Invited Talk, “Programming Clouds,” First Mysore-Park Workshop on Building and Programming the Cloud, Mysore India, January 2010.
• Program committee, GreenMetrics 2009 Workshop, in conjunction with SIGMETRICS/Performance 2009, June 2009.
• Program committee, Fun Ideas and Thoughts (FIT), in conjunction with SIGPLAN PLDI, June 2009
• Program committee, First Workshop on Asynchrony in the PGAS Programming Model (APGAS09), in conjunction with ICS 2009, June 2009.
• 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 onArchitectural 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 onArchitectural 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, 3^rdWorkshop on Feedback-Directed Optimization, in conjunction with the 33^rd 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.