National Student Awards
- ACM-ICPC World Finals Programming Team, Stockholm, 2008: Briana Satchell, George Washington, Calvin Li and Elizabeth Soechting.
- Best Student Presentation Award: Wei Le, ACM SIGSOFT Foundation of Software Engineering, Nov 2008.
- NSF Graduate Fellowship in Computer Science, 2009: Sara Alspaugh, Erika Chin, Adrienne Felt, Rachel Miller and Linda Yang Liu.
- Best Paper Award: Westley Weimer, ThanhVu Nguyen, Claire Le Goues and Stephanie Forrest, Automatically finding patches using genetic programming, ICSE 2009.
- Top Pick Paper: Sriram Sankar, Sudhanva Gurumurthi and Mircea R. Stan, Intra-Disk Parallelism: An Idea Whose Time Has Come, IEEE Micro Top Pick from ISCA 2008.
- Richard Tapia Celebration of Diversity in Computing, Graduate Division: Joy Kamunyori, First Place
- Best Paper Award: Jie Li and John Lach, Negative-Skewed Shadow Registers for At-Speed Delay Variation Characterization, IEEE International Conference on Computer Design, Oct 2007.
-
National Physical Science Consortium Fellowship, 2007: Isabelle Stanton
- 3 Year Ford Diversity Fellowship, 2007: Jason Mars
- Ballard Fellowship, 2007: David Tarjan
- Google Anita Borg Fellowship, 2007: Wei Le.
-
Google Anita Borg Scholarship, 2007: Isabelle Stanton.
- Lockheed Martin Student Leadership Award, 2007: Erin Carson, Suzanne Collier and Andrew Froehlich
- NSF graduate fellowship, 2008: Jennifer Dolson
- NDSEG graduate fellowship, 2008: Jennifer Dolson
-
Best Paper Award: Lin Gu and John A. Stankovic, t-kernel: Providing Reliable OS Support to Wireless Sensor Networks, ACM Conference on Embedded Networked Sensor Systems (Sensys), 2006.
-
Best Paper Award: A. Wood, L. Fang, John A. Stankovic, and T. He, SIGF: A Family of Configurable, Secure Routing Protocols for Wireless Sensor Networks, ACM Workshop on Security of Ad Hoc and Sensor Networks (SASN), 2006.
- Best Student Paper Award: Lin Gu and Jack Stankovic, Radio Triggered Wake-Up Capability for Sensor Networks, Real-Time Applications Symposium, May 2004.
- Best Student Paper Award: Zhijian Lu and Jason Hein with M. Stan, J. Lach, K. Skadron, Control-Theoretic Dynamic Frequency and Voltage Scaling, Workshop on Self-Healing, Adaptive, and Self-Managed Systems (SHAMAN), 2002
-
Best Student Paper Award: V. Sharma, A. Thomas, T. Abdelzahr, Z. Lu, and K. Skadron, Power-Aware QoS Management on Web Servers, IEEE International Real-Time Systems Symposium, December 2003.
-
Bob Rau Memorial Award for Best Student Paper: K. Skadron, M. R. Stan, W. Huang, S. Velusamy, K. Sankaranarayanan, and D. Tarjan, Temperature-Aware Microarchitecture, ACM/IEEE International Symposium on Computer Architecture, June 2003.
-
MASCOTS Best Student Paper Award 1995: Dee A. B. Weikle, Sally A. McKee, and Wm. A. Wulf, for their paper Caches As Filters: A New Approach to Cache Analysis
- Computer Research Association Outstanding Undergraduate Honorable Mentions:
- 2009: Erin Carson, Runner Up; Rachel Miller, Finalist
- 2008: Jennifer Dolson, Mahlon Graham, Nichholas Jalbert and Mark Rawls; Adrienne Felt, Finalist
- 2007: Henry Cook
- 2005: Katherine Coons, Vinayak Deshpande, Shougata Ghosh, Erwin Gianchandani, Ami Malaviya and Arsalan Tavakoli
- 2004: David Chu, Kristen Neal and James Van Dyke
- 2003: Sean Jellish, Jonathan McCune, Mi Peng and Lauren Wye
- 2002: Stavan Parikh and Elizabeth Partridge
- 2001: David Hauver and Virginia Volk
- 2000: Helen Anderson and Benjamin Hallen
- 1999: James Patten and Sarah Schwarm
- CSE Outstanding GTA Award, 2009: Ross Gore
- nVidia Ph.D. Fellowship, 2009: Jiayuan Meng
- SAIC Scholar Research Stipend Award, 2009: Ross Gore
- Goldwater Scholarship, 2004: Arsalan Tavakoli-Shiraji
- NSF Graduate Fewlloship, 2008: Isabelle Stanton
- NSF Graduate Fellowship, 2008: Jennifer Dolson
-
NSF Graduate Fellowship, 2005: Eric Humenay
- NSF Graduate Fellowship, 2004: David Chu
-
NSF Graduate Fellowship, 2006: Kristen Walcott
- Anita Borg Scholarship, 2006: Kristen Walcott
- Ballard Fellowship, John Haskins, 2001
-
ARCS Scholarship for AY2002/2003 - TJ Highley
-
2002 Modern Day Technology Leader selected by the Black Engineer of the Year Awards Conference: John Haskins
-
Intel Foundation Graduate Fellowship 2001-2002: Kevin Scott
-
USENIX Student Grant 2001-2002: David Larochelle
-
ACM World Finals 2001: Jeff King, Brian Clarke, Carston Clark
-
Second Place, ACM Mid-Atlantic Regional Programming Contest (1998): Richard Eppink, Jeff King, and Patrick Reynolds
-
AAAI 1998 Fall Symposium Series Workshop Chairs, Glenn Wasson and Gabe Ferrer
-
Time Magazine "Best 10 Web Sites of 1996" Award, Brett Tjaden and Glenn Wasson
-
Best Paper Award: Elecsim 1995, Anand Natrajan and Anh Nguyen-Tuong
-
High-Performance Computing Challenge Award, SuperComputing 1995, Mark Hyett, Anh Nguyen-Tuong, Emily West, and Mike Lewis
University and SEAS Student Awards
- SEAS Outstanding Student Award 2008: Adrienne Felt
- Undergraduate Research and Design Symposium: Erin Carson, Finalist
- Undergraduate Research Symposium, 1st Place Spring 2007: Henry Cook
-
University of Virginia Engineering Research Symposium (UVERS) Semi-Finalist Nathanael Paul & Adrienne Felt
-
University of Virginia Engineering Research Symposium (UVERS) Semi-Finalist Kristen Walcott
-
Ballard Fellowship 2004-5: Elisabeth Strunk
-
Virginia Engineering Foundation Outstanding Student Award 2004: Jim Van Dyke
-
Undergraduate Research Symposium Finalist Fall 2003: Qi Wang
-
Undergraduate Research Symposium Finalists Spring 2003: Chris Frost and Michael Peck
-
Undergraduate Research and Design Symposium Finalist 2001: D. Hauver
-
Undergraduate Research and Design Symposium Finalist 1999: T. J. Funkhouser
-
Virginia Engineering Foundation Research Prize in Biomimetics, Glenn Wasson, 1998
Departmental Student Awards
- Outstanding Teaching Graduate Student
- 2009: Chih-hao Shen
- 2008: Claire Le Goues
- 2007
- 2006: Chris Sosa and Mike Kobyakov
- 2005: Ryan Kurtz and Paul Bui
- 2004: William Greenwell
- 2003: Michele Co
- 2002: Cliff Woolley
- 2001: Scott William Talbert
- 2000: Robert Schutt
- 1999: Aziz Ibrahim
- 1998: Gabriel Ferrer (now an Assistant Professor at Hendrix College)
- 1997: John Karro (now an Assistant Professor at Oberlin College)
- 1996: Mike Lewis
- Outstanding Research Graduate Student
- 2009: Raymond Buse
- 2008: Anthony Wood
- 2007:
- 2006: Radu Stoleru (now an Assistant Professor at Texas A&M University)
- 2005: Lin Gu
- 2004: Elisabeth Strunk
- 2003: Tian He
- 2002: Kimberly Wasson (Kimberly Hanks when awarded)
- 2001: Edward Kenneth O'Neil
- 2000: Chenyang Lu (now an Assistant Professor at Washington University in St. Louis)
- 1999: Chenxi Wang (now a research faculty member at Carnegie Mellon University)
- 1998: Allison Powell
- 1996: Charlie Viles
- 1997: Adam Ferrai
- Special Distinguished Service Award
- 1999: Dale Newfield
- Luis T. Rader Undergraduate Research Award
- 2009: Wolfgang Richter
- 2008:
- 2007:
- 2006: Ewen Cheslack-Postova
- 2004: Josh Zaritsky and James Van Dyke
- 2003: Jonathan McCune (now a graduate student at CMU) and Richard Honhard
- Outstanding Education Undergraduate Student
- 2009: Lesley Elisabeth Hogan and Wolfgang Richter
- 2008: George Wanant
- 2007
- 2006: Erin Golub and David Faulkner
- 2004: Tiffany Nichols (for contributions to CS201j
- 2003: Katie Winstanley (for contributions to CS200) and Nathan Hoobler
- Outstanding Service Undergraduate Student
- 2009: Wolfgang Richter and Elizabeth Soechting
- 2008: Adrienne Felt
- 2007
- 2006: Katie Jogerst and Carolyn Hunyh
- 2004: David Chu
- 2003: Michael Margolis (for service to the ACM); Joseph Calandrino, YiJun (Wendy) Fan and Vincent Nöel (for service to the CS Webteam)
- Outstanding Research Undergraduate Student
- 2009: David Noble
- 2008: Jen Dolson
Faculty Honors and Awards
- Coach of the 2009 ACM-IPC World Finals Programming Team
- ACM Professor of the Year Award, 2005, 2006, 2008
- Rodman Teacher of the Year Award, 2006
- IEEE Computer Society Taylor L. Booth Award, 2008
- NSF Research Initiation Award
- Best Teacher Award, UVa Department of Computer Science,1998
- "Most Successful New Title Award", McGraw-Hill, 1997
- ACM-SIGDA Leadership Award, 1997 (with Davidson)
- Chair, ACM-SIGDA, 1993-1997
- Fulbright Fellow, 1993
- ACM-SIGDA Outstanding Member, 1991
- ACM Fellow, 2009
- IEEE Computer Society Taylor L. Booth Award, 2008
- "Most Successful New Title Award", McGraw-Hill, 1997
- ACM Undergraduate Outstanding Faculty Award, 2000
- Faculty Innovation Award, National Cash Register, Inc., 1989
- SCHEV State of Virginia Outstanding Faculty Award, 2009
- All-University Teaching Award, 2008
- Harold Morton Jr. Award for Teaching, 2003-2004
- ACM Professor of the Year Award, 2002
- NSF Career Award, 2001
- University Teaching Fellowship, 2001
- Departmental Teaching Award, 2001
- IEE Micro Journal recognition of a Top Pick Research Paper, 2008
- Google University Research Award, 2008
- NSF Career Award, 2007
- Frost & Sullivan Technology Innovation Award, November, 2003
- Bio-IT World Best-of-Show Award, March, 2003
- Top Ten Start-ups to Watch, Network World, 2003
- Top Ten Vendors to Watch in 2003, Light Reading, 2003
- Computer World R&D Gems, 2003
- MIT Tech Review, "Ten technologies that will change the world", 2003
- HPC Challenge Award, Supercomputing '98, Orlando, FL, November, 1998
- HPC Challenge Award for Overall System Interface and Functionality, Supercomputing 1995
- BECA (Borg Early Career Award), 2009
- NSF Career Award, 2008
- Woodrow Wilson Career enhancement Fellowship for Junior Faculty, 2007
- FEST Distinguished Young Investigator Award, 2007
- NSF Career Award, 2008
- Lawrence R. Quarles Endowed Chair
- University Professor
- American Association for the Advancement of Science Fellow
- IEEE Fellow
- ACM Fellow
- Member, National Academy of Engineering
- Member, National Science Board, Defense Science Board
- 2004 Augusta Ada Lovelace Award for outstanding scientifc and technical achievement
- DOD Distinguished Public Service Award
- Tribute in the U.S. Congressional Record by Senator Chuck Robb
- U.S. Air Force Meritorious Civilian Service Award
- CRA Distinguished Service Award, 1997
- Monticello Memoirs Fellow, 1997
- Doctorate of Science (honorary), Carnegie-Mellon University
- Best Paper Award, ELECSIM 1994
- Special Guest, Hymamshu Jyothi Kala Peetha School, Dec. 1997
- Walter N. Munster Endowed Chair, 1997
- Packard Foundation Fellowship, 1995
- NSF Young Investigator Award (NYI), 1994
- University Teaching Fellowship, 1995
- All-University Outstanding Teaching Award, 1994
- Distinguished Teaching Award, 1989
- Faculty Mentor Award, UVa School of Engineering, 1996
- Two-year early promotion to Associate Professor, 1996
- Faculty Appreciation Award, Virginia Engineering Foundation, 1998
- Distinguished Paper Award, International Conference on Computer Aided Design, 1990
- Nomination for Best Paper Award, Asia and South Pacific Design Automation Conference, 1999
- National Science Foundation Research Initiation Award, 1994
- NSF Career Award, 2008
- NSF CAREER Award, 2002
- Seven Society Teaching Award, 2002
- Best Student Paper Award, Workshop on Self-Healing, Adaptive, and Self-Managed Systems (SHAMAN), 2002
- Best Student Paper Award, IEEE International Real-Time Systems Symposium, 2003
- Bob Rau Memorial Award for Best Student Paper ACM/IEEE International Symposium on Computer Architecture, 2003
- University of Virginia Teaching Fellow, 2003-2004
- Best paper award: IEEE Fifth Int. Conference on Mobile Ad-hoc Sensor Systems.
- The Entrepreneurial Vision Award: Spirit of Entrepreneurship and Enterprise Development - Collegiate Entrepreneurship Venture Forum (S.E.E.D), 2007.
- 2nd Best Emerging Company Investment Opportunity: Spirit of Entrepreneurship and Enterprise Development - Collegiate Entrepreneurship Venture Forum (S.E.E.D), 2007.
- Best Paper Award: ACM Conference on Embedded Networked Sensor Systems (Sensys), 2006.
- Best Paper Award: ACM Workshop on Security of Ad Hoc and Sensor Networks (SASN), 2006.
- Best Paper Award, 2004: Real-Time Applications Symposium, 2006.
- BP America Endowed Chair, 1997-present
- Fellow of the IEEE
- Fellow of the ACM
- IEEE Golden Core Award, Charter Member
- Computer Research Association - Board of Directors
- IEEE Computer Society Meritorious Service Award, 1991
- Outstanding Scholar Award, School of Engineering, UMASS, 1983
- Distinguished Lecture Series Speaker,
- Keynote Speaker, Second ARTES Conference, Sweden, 2000
- Keynote Speaker, Conference on Parallel and Distributed Real-Time Systems, Cancun, 2000
- Scientific Advisory Board - Swedish National Initiative in Real-Time Computing
- Distinguished Lecture Series Speaker
- IEEE Award for Outstanding Technical Contributions and Leadership in Real-Time Systems - TC on Real-Time Systems, 2000
- IEEE Computer Society Meritorious Service Award for outstanding service as Editor-in-Chief of the IEEE Transactions on Parallel and Distributed Systems, 2001
- Brosey Distinguished Lecture in Networked Embedded Systems, Notre Dame, 17 April 2003
- NSF Career Award
- ACM CS Undergraduate Teaching Award, 1998
- University Teaching Fellowship, 1998-1999
- Howard Morton, Jr. Teaching Award, 2000
- SEAS Distinguished Service Award, 2009
- IEEE Industrial Electronics Society Eugene Mittlemann Achievement Award, 2001
- IEEE Third Millennium Medal, 2000
- CIT Best New Product or Service
- Fellow of the IEEE
- Keynote Speaker, IECON 1996; IEEE Industrial Electronics Society Annual Conference, 1996
- American Men and Women in Science
- Past President, IEEE Industrial Electronics Society
- NSF Career Award
- AT&T Endowed Chair
- Distinguished Public Service Award from IEEE-USA Board of Directors for advancing engineering professionalism and promoting U.S. competitiveness in science and technology, 2009
- Chair Board of Trustees for the Anita Borg Institute for Women and Technology, 2009
- Engineering Achievement Award, Virginia Engineering Foundation, 1997
- President, National Academy of Engineering (1997-2001)
- Member, National Academy of Engineering
- Fellow, American Academy of Arts and Sciences
- Member at Large, Council of ACM
- Fellow, Association of Women in Science
- ACM SIGCSE Award for Outstanding Contributions in CS Education, 1998
- Fellow of the American Association for the Advancement of Science
- Fellow of the ACM
- Doctorate of Science (honorary), Carnegie-Mellon University
- University of Pennsylvania Medal for Distinguished Service
Editorships, Boards, and Panels
- Member, ACM Publication Board, 1996 - Present
- ACM-SIG Governance Task Force, 1994
- SIG Governing Board Executive Committee, 1996-present
- ACM SIG Governing Board Chair nominee, 2000
- Chair, ACM SIG Discretionary Fund Committee, 1995-1997
- Fulbright Fellowship Review Committee, 1993
- SF Panel, Parallel and Distributed Systems, Arlington, VA, Jan 2000
- Chair, ACM -IEEE Design Automation Conference Scholarship Committee 1998-present
- Editor, Transactions on Programming Language and Systems
- SIGPLAN Executive Council, 1999
- Associate Editor, IEEE Transactions on Programming Languages and Systems, 1994-2000
- General Chair, SIGPLAN Design and Implementation of Programming Languages Conference (PLDI 1998
- Co-general Chair, Conference on Parallel Architectures and Compilation Techniques, 2002
- NSF Panel, Operating Systems and Compilers, 2001
- NSF Panel, Trusted Computing, 2002
- Guest Editor, Statistics and Computing
- SIGIR Electronic Information Director, 1993 -
- Category Editor, Computing Reviews, 1997 -
- Intel Concurrent I/O Special Interest Group, Co-chairman, 1990 - 93
- NASA Proposal Review Panel, 1993, 1996
- Atmospheric Radiation Measurement (ARM) Program Data System Panel, Oak Ridge National Laboratory, 1994
- Associate Editor, IEEE Transactions on Parallel and Distributed Systems, 1997
- Global Grid Forum OGSI and OGSA working groups
- I3C Technical Advisory Board, 2003 - 2004
- Global Grid Forum Steering Committee, 1999-present
- Peer-2-Peer Working Group Steering Committee
- Peer-2-Peer Working Group Technical Architecture Committee
- NSF Beta-Grids Workshop, March 20-21, 2000, La Jolla, CA
- Chairman, ASCI-DRM External Review Committee, January, 1999
- NPACI Executive Committee, 1996-2001
- CESDIS Science Council, 1998-present
- Member NASA Information Power Grid Proposal Team, 1998
- Member review panel for NASA Information Power Grid Readiness Review, 1997
- Member DoD HPCMOD PET Executive Committee, 1997-present
- NSF Career Awards Panel, Arlington, VA, December, 1996
- NSF Academic Research Infrastructure Panel, Arlington, VA, June, 1996
- Delphi 2010 Working Group, MIT, April, 1996
- PetaFLOPS 2: Applications and Algorithm Challenges for PetaFLOPS Computing, NASA, DOE, ARPA, 1995
- NSF vBNS Workshop, Washington, DC, June, 1995
- System Software and Tools for High-Performance Computing Environments, NASA, DOE, ARPA, 1995
- NRC Review Panel for Information Technology, Board on Assessment of NIST Programs, 1995-present
- Health Care and High Performance Computing, Washington, DC, NSF, ARPA, NLM, December 1994
- Workshop on Enabling Technologies for PetaFLOPS Computing Systems, invited attendee, Pasadena, CA, February, 1994
- ARPA Parallel C++ Workshop, invited attendee, Los Angeles, CA, May, 1993
- Panelist, NSF Postdoctoral Fellowship Panel, NSF-CISE-ASC, 1993, 1994
- Air Force CRDA, on Parallel Software Engineering, Rome Labs, 1991-1993
- National Science Board
- Virginia 2020 Strategic Planning Committee
- State of Virginia Research and Technology Advisory Commission
- Editor-in-Chief, ACM Transactions on Computer Systems, 1982 - 1992
- Council on Foreign Relations, 1997 -
- Policy Division Advisory Council, National Academic Complex, 1997 -
- Visiting Committee, Cornell School of Engineering, 1997 -
- Member of the Corporation, Charles Stark Draper Laboratory, 1997 -
- National Computational Science Alliance External Advisory Council, 1997 -
- Defense Science Board, 1985 - 1993, 1998-
- Board of Directors, SAIC Corporation, 1987 - 1993, 1998-
- Editorial board, IEEE Transactions on Software Engineering, 1992
- Member, National Research Council committee on Information System Trustworthiness
- Guest editor, IEEE Software, 1994
- National Science Foundation NYI Panel, 1994
- Editorial Board, Evolutionary Computation
- IEEE TC for Pattern Analyses and Machine Intelligence, 1994 - 1996
- NIH Special Study Section 3(6), 1994
- NSF Grants Panel: Computer Vision, 1996
- Area Editor for ACM Transactions on Modeling and Simulation
- Editor for ACM SIGSIM Digest
- NSF Medical Computing Proposal Review Panel, 1994
- Department of Defense Common High Level Simulation Architecture Panel, 1994 - Present
- Editorial Board Member, IEEE Book Series
- Defense Science Study Group, Department of Defense, 1994 - 1996
- Navy Future Study Panel, National Academy of Sciences, 1996 - 1997
- Army Science Board, 1998 - Present
- NSF Design Automation Panel, 1998
- Associate Editor-in-Chief and Co-Founder, IEEE Computer Architecture Letters, 2002 - present
- Editor, Newsletter of the IEEE Technical Committee on Computer Architecture (TCCA), 2000-2001
- Editorial Board member, IEEE Micro magazine, 2004-present
- Guest co-Editor, IEEE Computer, 2003
- Executive Board Advisory Committee, IEEE Computer Society Technical Committee on Computer Architecture, 2000-present
- Associate Editor, Real-Time Systems Journal, 2004-
- Associate Editor, Journal of Business Performance Management, 2004-
- Associate Editor, IEEE Transactions on Parallel and Distributed Systems, 1998-2001
- Guest Editor, Control Engineering Practice, Special Section on Real-Time Programming and Active and Real-Time Databases, 2000
- Guest Editor, NETNOMICS, Special Issue on E-Commerce and Web-based Information Systems, 2000
- Guest Editor, ACM SIGMOD Record, Special Issue on Real-Time Database Systems, 1988
- Guest Editor, IEEE Transactions on Software Engineering, 1997
- Guest Editor, Journal of Integrated Computer-Aided Engineering, 1998
- Guest Editor, NETNOMICS
- President, Korean Computer Scientists and Engineers Association, 1999
- Vice Chair, IEEE Computer Society Technical Committee on Real-Time Systems, 2005-2006
- Executive Board Member, IEEE Computer Society Technical Committee on Real-Time Systems, 2003-2006
- Council Member, Korean Scientists and Engineers Association, 2002-2005
- ACM National Lecturer, 1991-1993
- Distinguished Member - Scientific Advisory Board for the Swedish National Strategic Real-Time Initiative, 1999-2003
- International member, Scientific Council of the ARTIST2 European Network of Excellence on Embedded Systems Design, 2003-present
- Computing Research Association Board of Directors, 1996-2004
- Treasurer, Computing Research Association Board of Directors, 2001-2003
- Editor-in-Chief, IEEE Transactions on Parallel and Distributed Systems, 1998-2001
- Co-Editor-in-Chief and Co-Founder, International Journal on Real-Time Systems, 1989-2006
- Associate Editor, ACM Transactions on Embedded Computing Systems, 2001-present
- Associate Editor, ACM Transactions on Wireless Sensor Networks, 2004-present
- Associate Editor, Software - Practice and Experience, 2003-present
- Associate Editor, IEEE Transactions on Parallel and Distributed Systems, 1993-1997
- Editorial Board, Design Automation for Embedded Systems: An International Journal, Kluwer, 1994-present
- Associate Editor, IEEE Transactions on Computers, 1986-1990
- Book Series Editor, Real-Time Systems, Kluwer
- Book Series Editor, Distributed Computing, Kluwer
- Associate Editor, Real-Time and Embedded Systems Area, IEEE DS Online, 1999-present
- International Advisory Committee, Journal of Computer Science and Informatics, Computer Society of India, 1990-2003
- IEEE Fellows Awards Committee, 2004
- External Advisory Board, Department of Computer Science, Washington University, St. Loius, 2005-2006
- Associate Editor, ACM Transactions on Software Engineering and Methodology, 2002
- NSF grants panel, Software Engineering and Languages, 1996
- NSF SBIR panel, 1997, spring 1998
- Award Panel, National Science Foundation, Software Engineering and Languages, January 2000
- Invited Panelist, NSF Software Engineering Research Strategies Workshop, August, 1999
- Invited Panelist, National Science Foundations Workshop on Scalable Enterprise Systems, 1999
- Invited Panelist, National Science Foundation Workshop on Empirical Software Engineering, 1998
- Award Panel, National Science Foundation, Software Engineering and Languages, 1996, 1997
- Editor, IEEE Transactions on Industrial Electronics
- Associate Editor, WWW
- President, IEEE Industrial Electronics Society, 1994-1996
- Army Advisory Committee for Multimedia Systems
- Visiting Committees, U. Washington, U. Texas, UC Irvine, American U., Purdue, Duke
- IEEE von Neumann Medal Committee
- Associate Editor, ACTA Informatica
- Editorial Board, Addison-Wesley/SEI Series on Software Engineering
- Board of Directors, National Action Council of Minority Engineers
- Board of Directors, Charles Stark Draper Laboratory
- Industrial Advisory Board, Duke University
- Area Editor, Science Magazine
- Board of Visitors, Software Engineering Institute
Program Committees and Workshops
- Committee member, Sponsor's Coordinating Committee ACM-IEEE Design Automation Conference, 1994 - 1998
- Program and Executive Committees, 1995 International Asia-Pacific Conference on Design Automation
- Program Committee, 1989-1993 IEEE International Conferences on Computer Aided Design
- Programming committee, 1990 and 1992 International Workshop for Layout Synthesis
- Co-chair, 1993 SIGDA International Workshop on Computer-Aided Design in Moscow
- Program Committee, 1993 ACM-IEEE Design Automation Conference
- Executive Committee, 1995-1998 ACM-IEEE Design Automation Conference
- Chair, ACM-IEEE Design Automation Conference Scholarship Committee
- Chair, ACM-SIG Discretionary Fund Committee, 1995-Present
- Executive committee member for Date Conference, 1998
- EuroDAC and ASP-DAC, 1995-1997
- ACM International Symposium on Physical Design, 1997
- Program committee for the 1996 Physical Design Workshop
- IEEE Great Lakes Symposium on VLSI, 1992, 1993
- SIGDA conference and workshop coordinator, 1996 - Present
- Fulbright Fellowship Review Committee, 1993
- Program Committee, International Conference on Code Generation and Optimization, 2004
- Program Committee, International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, 2003
- Steering Committee, Conference on Parallel Architectures and Compilation Techniques, 2002
- Program Committee, Conference on Parallel Architectures and Compilation Techniques, 2000, 2003
- Organizing Committee, ACM Federated Computing Research Conference, 2003
- Program Committee, Conference on Principles of Programming Languages, 2003
- Publications Vice-Chair, International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, 2001, 2002
- Steering Committee Chair, Languages, Compilers, and Tools for Embedded Systems, 2001-2003
- Panels Vice-Chair, International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, 2000
- Program Co-Chair, Workshop on Languages, Compilers, and Tools for Embedded and Real-time Systems 2000
- Program Committee, SIGPLAN Design and Implementation of Programming Languages Conference, 1993, 1997
- Program Committee, The 12th Annual Network and Distributed System Security Symposium (NDSS), 2005
- Program Committee, Workshop on Logical Foundations of an Adaptive Security Infrastructure (WOLFASI), July 2004.
- Co-organizer and Program Committee Co-Chair, Second International Workshop on Dynamic Analysis, May 2004.
- Program Committee, New Security Paradigms Workshop, 2003
- Organizing Committee, Conference and Workshop on Coding Theory and Quantum Computing, May 2003
- Invited Panelist, NSF Advanced Computation Inspired by Biological Processes Conference, April 2003
- Infosec Research Council Malicious Code Science and Technology Study Group, 2000
- Program Committee, 7th National Conference on Artificial Intelligence (AAAI-2000), Austin, TX, 2000
- Program Committee, 5th International Computer Science Conference (ICSC 1999), Hong Kong, 1999
- Panel Chair, 1994 AIPR Workshop
- 12th International Conference on Data Engineering, 1995
- ACM Computing Classification System Update Committee, 1998, 1996
- Chair, ACM SIGIR 1997 Best Paper Committee, 1997
- Intel Supercomputer Users Group (ISUG) Conference Committee, 1995
- Organizing Committee, NSF Scientific Database Workshop, 1990
- Program Committee, 22nd International Conference on Research and Development in Information Retrieval, 1999
- International Conference on Research and Development in Information Retrieval, 1998, 1997
- Vice Program Chair (Intelligent Information Retrieval), 11th International Conference on Tools with AI (ICTAI), 1999
- Program Committee co-chair, 7th International Conference on Information and Knowledge Management, 1998
- 6th International Conference on Information and Knowledge Management (CIKM-97), 1997
- Co-chair, 8th International Conference on Scientific and Statistical Database Management, 1996
- General Chair, 7th International Conference on Scientific and Statistical Database Management, 1994
- Program Committee co-chairman, 6th International Conference on Scientific and Statistical Database Management, 1992
- Program Committee, Publicity Chair, 4th ACM International Conference on Digital Libraries, (DL), 1999
- ACM International Conference on Research and Development in Digital Libraries, 1998, 1996
- General Chair, HPDC 14
- Program Co-Chair, PPoPP, 2005
- Program committee, Workshop on Adaptive Grid Middleware, 2003
- Program committee, Grid 2003
- Program committee, Global Grid Forum 8
- Program committee, CCCGrid 2002, 2003, 2004
- Program committee, Reflection 2001
- Program committee, IPDPS 2001
- Technical Papers Committee, Supercomputing, 1999, 2000
- Tutorials Committee, Supercomputing, 1998
- Program committee, Heterogeneous Computing Workshop, 1996
- Program committee, Frontiers of Massively Parallel Computation, 1996, 1997
- Program committee, International Conference on Configurable Distributed Systems, 1996
- Program Chair, Symposium on High Performance Distributed Computing (HPDC-4), 1995
- Program Vice-Chair, 15th International Conference on Distributed Computing Systems, 1995
- Steering Committee Symposium on High Performance Distributed Computing, 1993-2000
- Program committee, Symposium on High Performance Distributed Computing, 1993-2003
- Program committee, Seventh Scalable High Performance Computing Conference, 1992
- Program committee, Symposium on High Performance Distributed Computing (HPDC-1), 1992
- Program committee, Minnowbrook Workshop on Software Engineering for Parallel Computing, 1992
- Program committee, International Conference on Distributed Computing Systems, 1991
- Program committee, Real-Time Systems Symposium, 1990
- Publicity chair and technical program committee, International Conference on Parallel Architechtures and Compilation Techniques, 2006
- Technical program committee, Workshop on the Interaction between Operating Systems and Computer Architecture, 2006
- FEST Award, 2007
- Publicity chair, International Symposium on Computer Architechture, 2006
- Program committee, International Symposium on Code Generation and Opimization, 2006
- Program committee, International Conference on Virtual Execution Environments, 2006
- Program committee, Parallel Architectures and Compilation Techniques, 2006
- Program committee, Workshop on Binary Instrumentation and Applications, 2005
- 12th Euromicro Conference on Real-Time Systems (ECRTS), 2000
- IEEE Real-Time Technology and Applications Symposium, 1999, 2000
- 1999 Workshop on QoS Support for Real-Time Internet Applications
- Sixth International Conference on Real-Time Computing Systems and Applications (RTCSA), 1999
- 18th International Conference on Distributed Computing Systems (ICDCS), 1998
- ACM 97 50th Anniversary Honorary Committee and Program Committee, 1997
- Workshop Chair, NSF Workshop on Scientific Databases, 1990
- NRC Intellectual Property Issues in Software: A Strategic Forum, 1989
- 12th International Conference on Software Engineering, 1985
- ACM SIGPLAN 9th Symposium on the Principles of Programming Languages, 1982
- Program Chair, ACM SIGOPS 7th Symposium on Operating Systems Principles, 1979
- ACM SIGOPS/SIGPLAN Workshop on Fundamental Issues in Distributed Computing, 1979
- ACM SIGSOFT Distinguished Service Award, 2008
- 3rd International Conference on Software Reuse, 1994
- General chair, Eighth International Symposium on the Foundations of Software Engineering
- LFM2000: Fifth NASA Langley Research Center Formal Methods Workshop
- IEEE International Computer Performance and Dependability Symposium, 2000
- International Workshop on Software and Performance (WOSP), 2000
- Program chair, 1998 Information Survivability Workshop
- IEEE International Computer Performance and Dependability Symposium, 1998
- IEEE International Conference on Software Engineering, 1998
- Workshop on Formal Methods in Software Practice, 1998
- Third IEEE International Conference on Engineering of Complex Computer Systems Annual Conference on Computer Assurance, 1997
- 9th International Conference on Parallel and Distributed Computing Systems (PDCS), Dijon, France, 1996
- 9th International Symposium on Computer and Information Sciences, Antalya, Turkey, 1994
- ACM Sigmetrics 2000, Santa Clara, 2000
- 2nd International Workshop on Advanced Teleservices and High-Speed Communication Architectures, Heidelberg, Germany, 1994
- High-Speed Networks Symposium at Globecom 2000
- 8th International Workshop on Quality of Service (IWQoS 2000), 2000
- 9th Heterogeneous Computing Workshop (HCW 2000), Cancun, Mexico, 2000
- 2nd International Workshop on Networked Group Communication (NGC 2000), Palo Alto, November 2000
- 5th International Workshop on Multimedia Information Systems (MIS), Palm Springs, 1999
- 1st Multicast Workshop (Protokolle und Anwendungen), Braunschweig, May 1999, Braunschweig, Germany
- Analytical and Numerical Modeling Techniques with the Application to Quality of Service (QoS) Modeling, Singapore, 1997
- IEEE TC for Pattern Analyses and Machine Intelligence, 1994-1996
- Chair, IAPR Workshop on Wisual Behaviors
- Chair, 1994 IAPR Workshop on Visual Behaviors
- 1994 IEEE Conference on Evolutionary Computation
- Foundations of Genetic Algorithms, 1994, 1996, 1998
- Parallel Problem Solving from Nature III (1994)
- SPIE Applications of Artificial Intelligence X: Machine Vision and Robotics.
- Evolutionary Computation Section of the World Congress on Computing, 1994
- International Conference on Genetic Algorithms: 1995, 1997
- Vision Interface, 1994, 1997
- IEEE Workshop on Nonrigid and Articulated Motion, 1997
- Session Chair, 23rd AIPR Workshop on Motion of Non-Rigid and Articulated Objects (1994)
- Second International Conference on Multisensor Fusion and Integration for Intelligent Systems, 1996
- Co-Chair, International Association for Pattern Recognition Technical Commit tee on Image Understanding: 1994-1996
- ACM/IEEE Workshops on Parallel and Distributed Simulation, 1993-1995
- ELECSIM 95: Electronic Distributed Simulation Conference on the Internet
- Program Co-Chair, Distributed Interactive Simulations Conference, Montreal, 1998
- Member Program Committee, Simulation Interoperability Workshop, 1997, 1998
- Co-Organizer, German-American Frontiers of Engineering Symposium, Germany, 2000
- General Chair, ACM/SIGDA Physical Design Workshop, 1996
- Co-Founder, ACM/SIGDA International Symposium on Physical Design, 1997
- IEEE International ASIC Conferences, 1994 - 1998
- Great Lakes Symposium on VLSI, 1996-1997
- Canadian Workshop on Field-Programmable Devices, 1996-1998
- Co-chairman of VLSI track, IEEE International Symposium on Circuits and Systems, 1996
- Session Chair, International Symposium on Physical Design, 1998
- Workshop co-organizer, Workshop on Temperature-Aware Computer Systems, 2004, 2005 and 2006
- Program Co-Chair, International Conference on Parallel Architectures and Compilation Techniques (PACT), 2006
- General Chair, International Conference on Parallel Architectures and Compilation Techniques (PACT), 2002
- General Co-Chair, Annual ACM/IEEE International Symposium on Microarchitecture (MICRO-37), 2004
- Track Chair, Conference on Thermal issues in Emerging Technologies, Theory and Applications, 2007
- Program Committee, Annual Workshop on Modeling, Benchmarking, and Simulation (MoBS-2), 2006
- Vice Chair, Euro-Par Conference on Parallel Computer Architecture and ILP, 2005
- Program Committee, International Symposium on Computer Architecture (ISCA), 2005
- Program Committee, International Symposium on High-Performance Computer Architecture (HPCA), 2001 and 2005
- Steering Committee, International Conference on Parallel Architectures and Compilation Techniques (PACT), 2002-2004
- Program Committee, Grace Murray Hopper Celebration of Women in Computing, Track for Techical Papers from New Investigators, 2004
- Program Committee, International ACM/IEEE Symposium on Microarchitecture (MICRO), 2003
- Program Committee, International Conference on Parallel Architectures and Compilation Techniques (PACT), 2000 and 2003
- Program Committee, International Conference on Computer Design (ICCD), 2003
- Program Committee, IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS), 2001 and 2003
- Program Committee, Workshop on Duplicating, Deconstructing, and Debunking, 2002
- Program Committee, Workshop on Self-Healing, Adaptive, and Self-Managed Systems, 2002
- Program Committee, ACM SIGMETRICS Joint International Conference on Measurement & Modeling of Computer Systems, 2002
- Program Committee, Workshop on Memory Access Decoupling for Superscalar and Multiple Issue Architectures (MEDEA), 2000
- Program Committee, IEEE Third Annual Workshop on Workload Characterization (WWC), 2000
- Publications Chair, International Symposium on Computer Architecture (ISCA-29), 2002
- Publications Chair, International Symposium on High-Performance Computer Architecture (HPCA-8), 2002
- Publications Chair, International Symposium on Microarchitecture (MICRO-34), 2001
- Publications Chair and Registrations Chair, International Symposium on Microarchitecture (MICRO-33), 2000
- General Chair, International Conference on Networked Sensing Systems, 2006
- Registration Chair, Fifth International Conference on Information Processing in Sensor Networks (IPSN), 2006
- Publicity Co-Chair, International Workshop on Networked Sensing Systems, 2005
- Finance Chair, ACM SenSys Conference, 2004
- Symposium Co-Chair, Information and Communication Technology Symposium, 2004
- Publicity Co-Chair, 9th Conference on Real-Time and Embedded Computing Systems and Applications, 2003
- Program Vice-Chair, International Conference on Parallel and Distributed Systems, 2002
- Publications Chair, IEEE Conference on Electronic Commerce, 2002-2005
- General Chair, Workshop on Advanced Issues on Electronic Commerce and Web-based Information Systems, 2000
- Program Co-Chair, IEEE Workshop on Parallel and Distributed Real-Time Systems, 2000
- Co-Chair, Network-based Computing Track, US-Korea Conference, 1999
- Program Co-Chair, 3rd Workshop on Active Real-Time Database Systems, 1999
- Program Chair, Workshop on Advanced Issues of Electronic Commerce and Web-based Information Systems, 1999
- Symosium Co-Chair, Symposium on Software Engineering, 1998
- General Chair, 18th IEEE Real-Time Systems Symposium, 1997
- Program Co-Chair, 4th Conference on Real-Time Computing Systems and Applications, 1997
- General Co-Chair, 2nd International Workshop on Real-Time Database Systems, 1997
- Program Chair, 17th IEEE Real-Time Systems Symposium, 1996
- Program Co-Chair, International Workshop on Real-Time Database Systems, 1996
- Program Vice-Chair, 4th IEEE Workshop on Parallel and Distributed Real-Time Systems, 1996
- Tutorial Chair, International Conference on Real-Time Computing Systems and Applications, 1996
- General Chair, 11th IEEE Workshop on Real-Time Operating Systems and Software, 1994
- Organizing Chair, International Workshop on Real-Time Computing Systems and Applications, 1994
- Program Chair, 10th IEEE Workshop on Real-Time Operating Systems and Software, 1993
- Program Co-Chair, Workshop on Advanced Computing, 1990
- Steering Committee, International Conference on Networked Sensing Systems (INSS), 2006
- Steering Committee, IEEE Conference on Electronic Commerce, 1999-2005
- Steering Committee, IEEE Conference on Real-Time and Embedded Computing Systems and Applications, 1995-present
- Advisory Committee, IEEE Workshop on Research Directions for Security and Networking in Critical Real-Time and Embedded Systems, 2006
- Steering Committee, International Symposium on Ubiquitous Computing Systems (UCS), 2006
- Steering Committee, IEEE Symposium on Object-Oriented Real-Time Distributed Computing (ISORC), 1998, 2002, 2006
- Steering Committee, IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS), 2002
- Steering Committee, Pacific Rim International Symp. on Dependable Computing (PRDC), 2001
- Program Committee, International Workshop on Networked Sensing Systems (INSS), 2005
- Program Committee, International Workshop on Ubiquitous Sensor Networks (USN), 2005
- Program Committee, IEEE Conference on Real-Time and Embedded Computing Systems and Applications, 2003, 2005
- Program Committee, IEEE Real-Time Technology and Applications Symposium (RTAS), 1997, 1998, 2001, 2004
- Program Committee, IEEE Symposium on Real-Time Systems (RTSS), 1993, 1995, 1999, 2001, 2002, 2004, 2005
- Program Committee, Euromicro Conference on Real-Time Systems, 1993-1996, 2002-2005
- Program Committee, IEEE Symposium on Object-oriented Real-time Distributed Computing (ISORC), 1999, 2004
- Program Committee, International Conference on Distributed Computing Systems (ICDCS), 1993, 1999, 2000, 2002, 2004
- Program Committee, IEEE Workshop on Data Distribution in Real-Time Systems (DDRTS), 2003
- Program Committee, International Conference on Ubiquitous Computing (ICUC), 2003
- Program Committee, IEEE Conference on Electronic Commerce, 2003
- Program Committee, Workshop on Electronic Commerce and Advanced Issues on Web-based Information Systems, 2001, 2002
- Program Committee, International Workshop on Data Semantics in Web Information Systems (DASWIS), 2001, 2002
- Program Committee, International Conference on Very Large Databases (VLDB), 2001
- Program Committee, First ACM Workshop on Security and Privacy in E-Commerce, 2000
- Program Committee, IEEE Workshop on Distributed Real-Time Systems, 2000
- Program Committee, International Conference on Telecommunications and Electronic Commerce, 1999, 2000
- Program Committee, IEEE Symposium on Security and Privacy, Oakland, 1999
- Program Committee, IEEE Workshop on Dependable and Real-Time E-Commerce Systems (DARE), 1998
- Program Committee, IEEE International Parallel Processing Symposium (IPPS), 1998
- Program Committee, ACM Workshop on Databases: Active and Real-Time (DART), 1996, 1998
- Program Committee, IEEE Workshop on Parallel and Distributed Real-Time Systems, 1994-2003, 2005
- Program Committee, International Conference on Information and Knowledge Management, 1996
- Program Committee, International Workshop on Active Real-Time Database Systems (ARTDB), 1995, 1997
- Program Committee, IEEE Workshop on Future Trends of Distributed Computing Systems, 1995
- Program Committee, International Conference on Intelligent Information Management Systems, 1995, 1996
- Program Committee, IEEE International Conference on Data Engineering, 1989, 1995, 2003
- Program Committee, International Workshop on Object-Oriented Real-Time Dependable Systems, 1994
- Program Committee, IEEE Symposium on Reliable Distributed Systems, 1990, 1993
- Program Committee, International Symposium on Database Systems for Advanced Applications, 1993
- Program Committee, IEEE Workshop on Real-Time Operating Systems and Software, 1992, 1993
- Program Committee, International Workshop on Transaction and Query Processing, 1992
- Program Committee, ACM SIGMOD International Conference on Management of Data, 1991
- Advisory Scientific Committee for the Centre for Information and Communication Engineering, 2007
- ACM SenSys Steering Committee, Chair, 2005-2006
- General Chair, International Conference on Information Processing in Sensor Networks (IPSN), 2006
- General Chair, Sensys, 2004
- Co-organizer, Workshop on Grand Challenges in Real-Time and Embedded Computing Systems, 2003
- Executive Board, IEEE Real-Time Systems Technical Committee, 1997-present
- Co-organizer, NSF/OSTP Workshop on Information Technology Research for Critical Infrastructure Protection, 2002
- Co-organizer, CRA Workshop on Grand Challenges in Computer Security, 2002
- ACM SIG on Embedded Computing, Founding Governing Board, 2002-present
- Chair, Awards Committee, IEEE Real-Time Systems Technical Committee, 2003-2004
- General Chair, Workshop on Faculty Recruiting and Retention, NSF and CRA, 2001, 2002
- General Co-Chair, IEEE Int. Conf. on Distributed Computing Systems, 2003
- Program Co-Chair, Snowbird 2000, Snowbird, Utah, 2000
- General Chairman, IEEE International Conference on Distributed Computing Systems, Baltimore, Md, 1997
- Chairman for IEEE Real-Time Systems Technical Committee, 1993-1994
- Vice Chairman for IEEE Real-Time Systems Technical Committee, 1991-1993
- Program Co-Chairman, IEEE International Conference on Distributed Computing Systems, 1990, Paris, France
- General Chairman, Real-Time Operating Systems Workshop, Washington, D.C., 1988
- Member of the Univ. of Vesteras, Sweden, RT-Center advisory board
- Member of Advisory Council on Programming of Parallel and Distributed Computations, Dept. of Comp. Sci., University of Texas, Austin, Texas, 1987-1988
- General Chairman, IEEE Real Time Systems Symposium, 1986
- Program Co-Chairman (and founder), Workshop on Large Grain Parallelism, 1986
- Program Chairman, IEEE Real-Time Systems Symposium, San Diego, 1985