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