- Member, National Academies Forum on Cyber Resilience (opens in new tab), 2020-present.
- Program Committee Co-Chair, 13th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (opens in new tab) (VEE 2017), Xi’an, China, April 2017.
- Program Committee, 12th USENIX Symposium on Operating Systems Design and Implementation (opens in new tab) (OSDI 2016), Savannah, Georgia, November 2016.
- External Review Committee, 21st ACM International Conference on Architectural Support for Programming Languages and Operating Systems (opens in new tab) (ASPLOS 2016), Atlanta, Georgia, April 2016
- External Review Committee, 20th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (opens in new tab) (ASPLOS 2015), Istanbul, Turkey, March 2015.
- External Review Committee, 11th USENIX Symposium on Operating Systems Design and Implementation (opens in new tab) (OSDI 2014).
- Program Committee, 8th ACM International Conference on Virtual Execution Environments (opens in new tab) (VEE 2012), London, UK, March 2012.
- Program Committee, Posters and Works-in-Progress, 23rd ACM Symposium on Operating Systems Principles (opens in new tab) (SOSP 2011), Cascais, PT, October 2011.
- External Review Committee, 17th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (opens in new tab) (ASPLOS 2012), London, UK, March 2012.
- External Review Committee, 16th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (opens in new tab) (ASPLOS 2011), Newport Beach, CA, March 2011.
- Steering Committee, USENIX 13th Workshop on Hot Topics in Operating Systems (opens in new tab) (HotOS XIII), Napa, CA, May 2011.
- Steering Committee, USENIX 12th Workshop on Hot Topics in Operating Systems (opens in new tab) (HotOS XII), Monte Verita, Switzerland, May 2009.
- Progam Committee, USENIX Advanced Technical Conference 2010 (opens in new tab), Boston, MA, June 2010.
- Program Committee, EuroSys 2009 (opens in new tab) . Nuremberg, Germany, April 2009.
- Program Committee, 8th USENIX Symposium on Operating Systems Design and Implementation (opens in new tab) (OSDI 2008). San Diego, CA, December 2008.
- Program Committee, EuroSys 2008 (opens in new tab). Glasgow, Scotland, April 2008.
- Program Committee Chair, 11th Workshop on Hot Topics in Operating Systems (opens in new tab) (HotOS XI). San Diego, CA, May 2007.
- Sponsorships Chair, 20th ACM Symposium on Operating Systems Principles (opens in new tab) (SOSP). Brighton, United Kingdom, October 2005.
- Treasurer, 19th ACM Symposium on Operating Systems Principles (opens in new tab) (SOSP), Bolton Landing, NY, October 2003.
- Program Committee, Ninth International Conference on Architectural Support for Programming Languages and Operation Systems (opens in new tab) (ASPLOS-IX), Cambridge, MA, November 2000.
- Review Panel, NSF Information Technology Research (ITR) Program (opens in new tab), Arlington, VA, April, 2000.
- Committee, 1999 DARPA ISAT Study on Probabilistic Methods in Computational Systems and Infrastructure, Woods Hole, MA, August 1999.
Opens in a new tab