Jens Palsberg
Professor of Computer Science


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)