|
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 | 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) |