Conferences
    2022 |
VMCAI'22 | PC Member | Workshop on Verification, Model Checking and Abstract Interpretation (Philadelphia) |
PLDI'22 | PC Member | ACM Conference on Programming Language Design and Implementation (San Diego) | |
QCE'22 | PC Member | IEEE International Conference on Quantum Computing and Engineering (Broomfield, Colorado) | |
Conferences
    2021 |
ICCQ'21 | PC Member | IEEE International Conference on Code Quality (Moscow) |
SCAM'21 | PC Member | IEEE International Working Conference on Source Code Analysis and Manipulation (Luxembourg City) | |
QCE'21 | PC Member | IEEE International Conference on Quantum Computing and Engineering (virtual) | |
Conferences
    2020 |
HOPL IV | PC Member | The Fourth ACM SIGPLAN History of Programming Languages Conference |
PEPM'20 | PC Member | ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (New Orleans) | |
SCAM'20 | PC Member | IEEE International Working Conference on Source Code Analysis and Manipulation (Adelaide, Australia) | |
Conferences
    2019 |
VMCAI'19 | PC Member | International Conference on Verification, Model Checking, and Abstract Interpretation (Lisbon) |
PEPM'19 | PC Member | ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (Lisbon) | |
Kavli'19 | Co-organizer | Kavli Futures Symposium: Achieving a Quantum Smart Workforce (Los Angeles) | |
Conferences
    2018 |
VMCAI'18 |
PC Co-chair |
International Conference on Verification, Model Checking, and Abstract Interpretation (Los Angeles) |
PLDI'18 | PC Member | ACM Conference on Programming Language Design and Implementation (Philadelphia) | |
SALAD '18 | PC Member | Workshop on Software Debloating and Delayering (Amsterdam) | |
BenchWork'18 | PC Member | Workshop (Amsterdam) | |
Conferences
    2017 |
FTFJP'17 | PC Member | Formal Techniques for Java Programs (Barcelona, Spain) |
Conferences
    2016 |
OOPSLA'16 | PC Member | ACM Conference on Object-Oriented Programming, Languages, and Systems (Amsterdam). |
CC'16 | PC Member | International Conference on Compiler Construction (Barcelona) | |
Conferences
    2015 |
PPPJ'15 | PC Member | International Conference on Principles and Practices of Programming in Java (Melbourne, Florida) |
X10'15 | PC Member | ACM SIGPLAN X10 Workshop (Portland, Oregon) | |
Conferences
    2014 |
ECOOP'14 | PC Member | European Conference on Object-Oriented Programming (Uppsala, Sweden) |
ICALP'14 | PC Member | International Colloquium on Automata, Languages and Programming (Copenhagen) | |
Conferences
    2013   |
ECOOP'13 | PC Member | European Conference on Object-Oriented Programming (Montpellier, France) |
PPOPP'13 | PC Member | ACM Symposium on Principles and Practice of Parallel Programming (Shenzhen, China) | |
ESOP'13 | PC Member | European Symposium on Programming (Rome, Italy) | |
HotPar'13 | PC Member | USENIX Hot Topics in Parallelism (San Jose) | |
PPPJ'13 | PC Member | International Conference on Principles and Practices of Programming in Java (Stuttgart, Germany) | |
FHPC'13 | PC Member | Workshop on Functional High-Performance Computing (Boston) | |
Conferences
    2012 |
ECOOP'12 | PC Member | European Conference on Object-Oriented Programming (Beijing, China) |
X10'12 |
PC Chair |
ACM SIGPLAN X10 Workshop (Beijing) | |
GPCE'12 | PC Member | International Conference on Generative Programming and Component Engineering (Dr esden, Germany) | |
ICESS'12 | General Co-chair | IEEE International Conference on Embedded Software and Systems (Liverpool, UK) | |
FTFJP'12 | PC Member | Formal Techniques for Java-like Programs (Beijing, China) | |
AGERE'12 | PC Member | Workshop on Programming Languages, Applications and Systems based on Agents, Actors, and Decentralized Control (Tucson, Arizona) | |
Conferences
    2011   |
PLDI'11 | PC Member | ACM Conference on Programming Language Design and Implementation (San Jose, California) |
CC'11 | PC Member | International Conference on Compiler Construction (Saarbrucken, Germany) | |
PLACES'11 | PC Member | Programming Language Approaches to Concurrency and Communication-cEntric Software (Saarbrucken, Germany) | |
SBLP'11 | PC Member | Brazilian Symposium on Programming Languages (Sao Paolo, Brazil) | |
X10'11 | PC Member | ACM SIGPLAN X10 Workshop (San Jose, California) | |
GTTSE'11 | SC Member | Summer School on Generative and Transformational Techniques in Software Engineering (Braga, Portugal) | |
AGERE'11 | PC Member | Workshop on Programming Languages, Applications and Systems based on Agents, Actors, and Decentralized Control (Portland, Oregon) | |
Conferences
    2010 |
POPL'10 |
PC Chair |
ACM Symposium on Principles of Programming Languages (Madrid) |
FOSSACS'10 | PC Member | Foundations of Software Science and Computation Structures (Paphos, Cyprus) | |
ICESS'10 | General Chair | IEEE International Conference on Embedded Software and Systems (Bradford, UK) | |
Conferences
    2009   |
LICS'09 a> | Conf. Chair | IEEE Symposium on Logic in Computer Science (Los Angeles) |
SAS'09 |
PC Co-chair |
Static Analysis Symposium (Los Angeles) | |
POPL'09 | PC Member | ACM Symposium on Principles of Programming Languages (Savannah, Georgia) | |
PLDI'09 | PC Member | ACM Conference on Programming Language Design and Implementation (Dublin) | |
PDM'09 | Chair | Symposium in Honor of Peter Mosses (Udine, Italy) | |
QA'09 | PC Member | Workshop on Quantitative Analysis of Software (Grenoble, France) | |
ACSD'09 | PC Member | International Conference on Application of Concurrency to System Design (Augsb urg, Germany) | |
Conferences
    2008 |
CC'08 | PC Member | International Conference on Compiler Construction (Budapest, Hungary) |
EMSOFT'08 |
PC Co-chair |
International Conference on Embedded Software (Atlanta) | |
SPIN'08 | General Chair | Workshop on Model Checking Software (Los Angeles) | |
CGO'08 | PC Member | International Symposium on Code Generation and Optimization (Boston) | |
WCPS'08 | PC Member | International Workshop on Cyber-Physical Systems (Beijing) | |
Mobivert'08 | PC Member | Workshop on Mobile Computing and Virtualization (Breckenridge, Colorado) | |
CATS'08 | PC Member | Computing: The Australasian Theory Symposium (Wollongong, Australia) | |
Conferences
    2007 |
SBLP'07 | PC Member | Brazilian Programming Language Symposium (Natal, Brazil) |
EMSOFT'07 | PC Member | International Conference on Embedded Software (Salzburg, Austria) | |
MEMOCODE'07 | PC Member | Conference on Formal Methods and Programming Models for Co-Design (Nice, France) | |
APLAS'07 | PC Member | Asian Symposium on Programming Languages and Systems (Singapore) | |
GPCE'07 | PC Member | International Conference on Generative Programming and Component Engineering (Salzburg, Austria) | |
GTTSE'07 | SC Member | Summer School on Generative and Transformational Techniques in Software Engineering (Braga, Portugal) | |
Conferences
    2006 |
TACAS'06 |
PC Co-chair |
Conference on Tools and Algorithms for the construction and analysis of systems (Vienna, Austria) |
MEMOCODE'06 |
PC Co-chair |
Conference on Formal Methods and Programming Models for Co-Design (Napa, California) | |
SAS'06 | PC Member | Static Analysis Symposium (Seoul, Korea) | |
OOPSLA'06 | PC Member | ACM Conference on Object-Oriented Programming, Languages, and Systems (Portland, Oregon). | |
VMCAI'06 | PC Member | Conference on Verification, Model Checking, and Abstract Interpretation (Charleston, North Carolina) | |
DAC'06 | PC Member | Design Automation Conference (San Francisco) [chair of the FPGA Design Tools and Applications subcommittee] | |
JMLC'06 | PC Member | Joint Modular Languages Conference (Oxford, England) | |
CATS'06 | PC Member | Computing: The Australasian Theory Symposium (Hobart, Australia) | |
SBLP'06 | PC Member | Brazilian Programming Language Symposium (Itatiaia, Brazil) | |
Conferences
    2005 |
POPL'05 | General Chair | Symposium on Principles of Programming Languages (Long Beach, CA) |
DAC'05 | PC Member | Design Automation Conference (San Diego) [chair of the Reconfigurable Computing subcommittee] | |
ICSE'05 | PC Member | International Conference on Software Engineering (St. Louis) | |
EMSOFT'05 | PC Member | International Conference on Embedded Software (Jersey City, New Jersey) | |
TACAS'05 | PC Member | Tools and Algorithms for the Construction and Analysis of Systems (Edinburgh) | |
JTRES'05 | PC Member | Workshop on Java Technologies for Real-time and Embedded Systems (San Diego) | |
FORMATS'05 | PC Member | Conference on Formal Modeling and Analysis of Timed Systems (Uppsala, Sweden) | |
AIOOL'05 | PC Member | Workshop on Abstract Interpretation for Object Oriented Languages (Paris) | |
ICESS'05 | PC Member | International Conference on Embedded Software and Systems (Xi'an, P. R. China) | |
MEMOCODE'05 | PC Member | Conference on Formal Methods and Programming Models for Co-Design (Verona, Italy) | |
IEHSC'05 | PC Member | International Conference on Embedded and Hybrid Systems (Singapore) | |
GTTSE'05 | SC Member | Summer School on Generative and Transformational Techniques in Software Engineering (Braga, Portugal) | |
SREIS'05 | PC Member | Symposium on Requirements Engineering for Information Security (Paris, France) | |
Conferences
    2004 |
OOPSLA'04 | PC Member | Conference on Object-Oriented Programming Systems, Languages, and Applications (Vancouver) |
SoCal'04 | Organizer | Southern California Workshop (Los Angeles) | |
DAC'04 | PC Member | Design Automation Conference (San Diego) | |
FOSSACS'04 | PC Member | Foundations of Software Science and Computation Structures (Barcelona, Spain) | |
MEMOCODE'04 | PC Member | ACM-IEEE Conference on Formal Methods and Programming Models for Co-Design (San Diego) | |
FORMATS'04 | PC Member | Joint Conference on Formal Modeling and Analysis of Timed Systems and Formal Techniques in Real-Time and Fault Tolerant Systems: (Grenoble, France) | |
ETX'04 | PC Member | Eclipse Technology eXchange Workshop (Barcelona, Spain) | |
Conferences
    2003 |
PLDI'03 | PC Member | Conference on Programming Language Design and Implementation (San Diego) |
DAC'03 | PC Member | Design Automation Conference (Anaheim, California) | |
EMSOFT'03 | PC Member | International Workshop on Embedded Software (Philadelphia) | |
TLCA'03 | PC Member | Conference on Typed Lambda Calculi and Applications (Valencia, Spain) | |
ECOOP'03 | PC Member | European Conference on Object-Oriented Programming (Darmstadt, Germany) | |
JMLC'03 | PC Member | Joint Modular Languages Conference (Klagenfurt, Austria) | |
FOAL'03 | PC Member | Foundations of Aspect-Oriented Languages (Boston) | |
Conferences
    2002 |
OOPSLA'02 | PC Member | Conference on Object-Oriented Programming Systems, Languages, and Applications (Seattle) |
AOSD'02 | PC Member | International Conference on Aspect-Oriented Software Development (Enschede, The Netherlands) | |
FOAL'02 | PC Member | Foundations of Aspect-Oriented Languages (Enschede, The Netherlands) | |
SREIS'02 |
PC Chair |
Symposium on Requirements Engineering for Information Security (Raleigh, North Carolina) | |
PASTE'02 |
PC Co-chair |
Workshop on Program Analysis for Software Tools and Engineering (Charleston, South Carolina) | |
ITCOM'02 | PC Member | Conference on Java/Jini Technologies (Boston). | |
CASES'02 | PC Member | International Conference on Compilers, Architectures and Synthesis for Embedded Systems (Grenoble, France) [chair of the Compilers and Operating Systems subcommittee] | |
Conferences
    2001 |
ECOOP'01 | PC Member | European Conference on Object-Oriented Programming (Budapest, Hungary) |
FOOL'01 | PC Member | Workshop on Foundations of Object-Oriented Languages (London) | |
SREIS'01 | PC Member | Symposium on Requirements Engineering for Information Security (Indianapolis, Indiana) | |
SAS'01 | PC Member | Static Analysis Symposium (Paris) | |
ITCOM'01 | PC Member | Conference on Java/Jini Technologies (Denver, Colorado) | |
Conferences
    2000 |
POPL'00 | PC Member | Symposium on Principles of Programming Languages (Boston, Massachusetts) |
ICSE'00 | PC Member | International Conference on Software Engineering (Limerick, Ireland) | |
ECOOP'00 | PC Member | European Conference on Object-Oriented Programming (Cannes, France) | |
SAS'00 |
PC Chair |
Static Analysis Symposium (Santa Barbara) | |
ITRS'00 | PC Member | Workshop on Intersection Types and Related Systems (Geneva, Switzerland) | |
Conferences
    1999 |
ECOOP'99 | PC Member | European Conference on Object-Oriented Programming (Lisboa, Portugal) |
SAS'99 | PC Member | Static Analysis Symposium (Venice, Italy) | |
IWAOOS'99 | PC Member | Intercontinental Workshop on Aliasing in Object-Oriented Systems (Lisbon, Portugal) | |
ICYCS'99 | PC Member | International Conference for Young Computer Scientists: (Nanjing, China) | |
Conferences
    1998 |
ECOOP'98 | PC Member | European Conference on Object-Oriented Programming (Brussels, Belgium) |
TACAS'98 | PC Member | International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Lisbon, Portugal) | |
VMCAI'98 | PC Member | Workshop on Verification, Model Checking and Abstract Interpretation (Pisa, Italy) | |
ICCL'98 | PC Member | IEEE International Conference on Computer Languages (Chicago) | |
Conferences
    1997 |
ECOOP'97 | PC Member | European Conference on Object-Oriented Programming (Jyvaskyla, Finland) |
LICS'97 | PC Member | IEEE Symposium on Logic in Computer Science Warsaw, Poland) | |
FSE/ESEC'97 | PC Member | ACM Symposium on the Foundations of Software Engineering, joint with European Software Engineering Conference (Zurich, Switzerland) | |
SAS'97 | PC Member | Static Analysis Symposium (Paris, France) | |
PEPM'97 | PC Member | ACM Conference on Partial Evaluation and Semantics-Based Program Manipulation (Amsterdam, The Netherlands) | |
OOIS'97 | PC Member | International Conference on Object-Oriented Information Systems (Brisbane, Australia) | |
Conferences
    1996 |
ECOOP'96 | PC Member | European Conference on Object-Oriented Programming (Linz, Austria) |
SAS'96 | PC Member | Static Analysis Symposium (Aachen, Germany) | |
ISOTAS'96 | PC Member | International Symposium on Object Technologies for Advanced Software (Kanazawa, Japan) | |
Conferences
    1995 |
ECOOP'95 | PC Member | European Conference on Object-Oriented Programming (Aarhus, Denmark) |
Conferences
    1994 |
ECOOP'94 | PC Member | European Conference on Object-Oriented Programming (Bologna, Italy) |