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