-
Member, PCAST`s
Technical Advisory Group on Networking and Information Technology.
-
Associate Editor
-
(IJPDSN) International Journal of Parallel and Distributed Systems and Networks, 1996-2002.
-
Guest Editor, special issue on Languages, Compilers, and Tools for Embedded Systems 2005,
(TECS) ACM Transactions on Embedded Computing Systems, Vol. 6, No. 4, Sept. 2007.
-
IEEE Distinguished Visitor, IEEE Computer Society, 2000-2002.
-
Steering Committee Chair
-
General Chair
-
Program Chair - Conferences
-
Program Chair - Workshops
-
Dagstuhl Seminar 00381,
Code Optimisation: Trends, Challenges, and Prespectives,
2000
(Co-Chair with Jens Knoop).
-
First Workshop on Profile and Feedback-Directed Compilation, Paris, France, 1998
(Co-Chair with Brad Calder and James Larus).
-
ACM SIGPLAN Workshop on Language, Compiler, and Tool Support for Real-Time Systems (LCT-RTS),
1997
(Co-Chair with David Whalley).
-
Steering Committee Member
-
(PLDI 2003-2005, 2007-2010) ACM SIGPLAN Conference on Programming Language Design and Implementation.
-
(HiPEAC 2005-2009) Conference on High-Performance Embedded Architectures and Compilers.
-
(HPCA 2003) International Symposium on High Performance Computer Architecture, 2003.
-
(LCTES 2000-2010) ACM SIGPLAN Language, Compiler and Tool Support for Embedded Systems,
Member at Large, 2003-2005.
-
Registration Chair
-
Workshops Chair
-
Selection Committee Member
-
Program Committee Member -- Conferences
-
(CASES 2010)
International Conference on Compilers, Architectures and Synthesis for Embedded Systems.
-
(PACT 2010)
International Conference on Parallel Architectures and Compilation Techniques.
-
(RV 2010)
First International Conference on Runtime Verification.
-
(CGO 2010)
IEEE-ACM International Symposium on Code Generation and Optimization.
-
(HiPEAC 2010)
International Conference on High Performance Embedded Architectures and Compilers.
-
(COMPUTATION TOOLS 2010)
International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking.
-
(SAMOS 2010)
International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation .
-
(RTCSA 2010)
IEEE International Conference on Embedded and Real-Time Computing Systems and Applications.
-
(ICESS 2010)
7th IEEE International Conference on Embedded Software and Systems.
-
(SAC 2010)
ACM Symposium on Applied Computing.
-
(QSIC 2010)
10th International Conference on Quality Software.
-
(FutureTech 2010)
5th International Conerence on Future Information Technology.
-
(PACT 2009)
International Conference on Parallel Architectures and Compilation Techniques.
-
(RTCSA 2009)
IEEE International Conference on Embedded and Real-Time Computing Systems and Applications.
-
(ICESS 2009)
Sixth IEEE International Conference on Embedded Software and Systems.
-
(APLAS 2008)
The Sixth ASIAN Symposium on Programming Languages and Systems.
-
(CASES 2008)
International Conference on Compilers, Architectures and Synthesis for Embedded Systems.
-
(ISPASS 2008)
IEEE International Symposium on Performance Analysis of Systems and Software.
-
(HPCA 2008)
IEEE International Symposium on High-Performance Computer Architecture.
-
(Compute 2008))
ACM Compute 2008 Conference.
-
(ISCA 2007)
International Symposium on Computer Architecture.
-
(DATE 2007)
Design, Automation and Test in Europe.
-
(CC 2007)
International Conference on Compiler Construction.
-
(HiPEAC 2007)
International Conference on High Performance Embedded Architectures and Compilers.
-
(MICRO 2006) IEEE-ACM International
Symposium on Microarchitecture.
-
(CASES 2006)
International Conference on Compilers, Architectures and Synthesis for Embedded Systems.
-
(CGO 2006)
IEEE-ACM International Symposium on Code Generation and Optimization.
-
(ICSOFT 2006)
International Conference on Software and Data Technologies.
-
(HPCA 2006)
IEEE International Symposium on High-Performance Computer Architecture.
-
(POPL 2006)
ACM SIGPLAN-SIGACT Conference on Principles of Programming Languages.
-
(PDCN 2006) Parallel and Distributed Computing and Networks.
-
(MICRO 2005) IEEE-ACM International
Symposium on Microarchitecture.
-
(HiPEAC 2005)
International Conference on High Performance Embedded Architectures and Compilers.
-
(CASES 2005)
International Conference on Compilers, Architectures and Synthesis for Embedded Systems.
-
(HPCA 2005) IEEE International Symposium on
High-Performance Computer Architecture.
-
(MICRO 2004) IEEE-ACM International Symposium on Microarchitecture.
-
(EUC 2004) International Conference on Embedded And Ubiquitous Computing.
-
(CASES 2004) International Conference on Compilers, Architectures and Synthesis for Embedded Systems.
-
(LCTES 2004) ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems.
-
(ICS 2004)
ACM International Conference on Supercomputing.
-
(CGO 2004)
IEEE-ACM International Symposium on Code Generation and Optimization.
-
(PDCN 2004)
Parallel and Distributed Computing and Networks.
-
(MICRO 2003)
IEEE-ACM International Symposium on Microarchitecture.
-
(ICPP 2003)
International Conference on Parallel Processing.
-
(ICS 2003)
ACM International Conference on Supercomputing.
-
(CGO 2003)
IEEE/ACM International Symposium on Code Generation and Optimization.
-
(ISPASS 2003)
IEEE International Symposium on Performance Analysis of Systems and Software.
-
(MICRO 2002)
IEEE-ACM International Symposium on Microarchitecture.
-
(CASES 2002)
International Conference on Compilers, Architectures and Synthesis for Embedded Systems.
-
(PLDI 2002)
ACM SIGPLAN Conference on Programming Languages Design and Implementation.
-
(LCTES/SCOPES 2002)
ACM SIGPLAN Joint Conference on Languages, Compilers, and Tools for
Embedded Systems & Software and Compilers for Embedded Systems.
-
(MICRO 2001)
IEEE-ACM International Symposium on Microarchitecture.
-
(ICS 2001)
ACM International Conference on Supercomputing.
-
(MICRO 2000)
IEEE-ACM International Symposium on Microarchitecture.
-
(PDCS 2000) International Conference on Parallel and Distributed Computing Systems.
-
(CASES 1998) Compiler and Architecture Support for Embedded Computing System.
-
(PACT 1998) International Conference on Parallel Architectures and Compilation Techniques.
-
(PDCS 1998) International Conference on Parallel and Distributed Computing and Systems.
-
(ICCL 1998) IEEE International Conference on Computer Languages.
-
(CC 1998) International Conference on Compiler Construction.
-
(PACT 1997)
International Conference on Parallel Architectures and Compilation Techniques.
-
(PDCS 1997)
International Conference on Parallel and Distributed Computing and Systems.
-
(PACT 1996)
International Conference on Parallel Architectures and Compilation Techniques.
-
(CC 1996) International Conference on Compiler Construction.
-
(MICRO 1995) IEEE-ACM International Symposium on Microarchitecture.
-
(PACT 1994)
International Conference on Parallel Architectures and Compilation Techniques.
-
(PLDI 1994)
ACM SIGPLAN Conference on Programming Language Design and Implementation.
-
(CC 1994) International Conference on Compiler Construction.
-
(PDCS 1992)
ISMM International Conference on Parallel and Distributed Computing and Systems.
-
External Review Committee Member -- Conferences
-
Program Committee Member -- Workshops
-
(PESPMA 2010)
Workshop on Parallel Execution of Sequential Programs on Multi-core Architectures.
-
(M2A2 2010)
International Workshop on Multicore and Multithreaded Architectures and Algorithms.
-
(INTERACT 2010)
Workshop on Interaction Between Compilers and Computer Architectures.
-
(PESPMA 2009)
Workshop on Parallel Execution of Sequential Programs on Multi-core Architectures.
-
(SAMOS 2009)
International Workshop on Computer Systems: Architectures, Modeling, and Simulation .
-
(PASTE 2008)
ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering.
-
(SAMOS 2008)
International Workshop on Computer Systems: Architectures, Modeling, and Simulation .
-
(RAAW 2007)
Reconfigurable and Adaptive Architecture Workshop.
-
(WESAPEC 2007)
International Workshop on Embedded System Architectures for Pervasive Devices and Computers.
-
(RAAW 2006)
Reconfigurable and Adaptive Architecture Workshop.
-
(SoC 2006)
International Workshop on SoC and MCSoc Design.
-
(EC 2006) International Workshop on Embedded Computing.
-
(CTCES 2005) Compilers and Tools for Constrained Embedded Systems.
-
(CTCES 2004) Compilers and Tools for Constrained Embedded Systems.
-
(SCOPES 2004)
International Workshop on Software and Compilers
for Embedded Systems.
-
(ECS 2004)
International Workshop on Embedded Computing Systems.
-
(COCV 2004)
Compiler Optimization Meets Compiler Verification.
-
(eTX 2003)
eclipse Technology eXchange Workshop.
-
(CTCES 2003)
Compilers and Tools for Constrained Embedded Systems.
-
(COLP 2003)
Workshop on Compilers and Operating Systems for Low Power.
-
(SCOPES 2003)
International Workshop on Software and Compilers
for Embedded Systems.
-
(PEPM 2003)
ACM SIGPLAN Workshop on Partial Evaluation
and Semantics Based Program Manipulation.
-
(VPW 2003)
Value-Prediction Workshop.
-
(SSRS 2003)
Workshop on Software Support for Reconfigurable Systems.
-
(LARTES 2002)
IEEE Workshop on Large Scale Real-Time and Embedded Systems.
-
(COLP 2002)
Workshop on Compilers and Operating Systems for Low Power.
-
(MSP 2002)
ACM SIGPLAN Workshop on Memory System Performance.
-
(COCV 2002)
International Workshop on Compiler Optimization Meets Compiler Verification.
-
(LCTES 2001)
ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems.
-
(COLP 2001)
Workshop on Compilers and Operating Systems for Low Power.
-
(COLP 2000)
Workshop on Compilers and Operating Systems for Low Power.
-
(PASTE 1998)
ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering.
-
(LCTES 1998)
ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems.
-
(LCT-RTS 1995)
ACM SIGPLAN Workshop on Language, Compiler, and Tool Support for Real-Time Systems.