The 36th Annual



Principles of Programming Languages

Savannah, Georgia, USA

January 21-23, 2009


Preliminary Program


Local Arrangements

Call For Papers

Conference Organizers

Affiliated Events



Welcome to POPL 2009

POPL is the ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages.

Notes from the Panel on PL Grand Challenges

Hotel Information

All the conference events will take place at the Hyatt Regency Savannah. We have reserved a room block at the price of USD149 + tax per room per day. To get the ACM group rate, participants should contact the hotel directly or Hyatt-reservations by phone (the group rate is not available through online reservations). The phone number for the hotel is +1-912-238-1234 (ext reservation); the Hyatt-wide toll free number for reservation is +1-800-233-1234 (please specify the hotel you want, i.e., Hyatt Savannah). You will need to mention the group code ACMY (or Association for Computing Machinery).

We realize that you may want to consider other hotels. Before you decide, please read why you should try to stay at the conference hotel.

Additional information about travel and local arrangements can be found here.

POPL 2009 Important Dates

Hotel Reservation Deadline 18 December 2008 (Thursday)
Early Registration Deadline 19 December 2008 (Fiday)
Conference 21-23 January 2009 (Wednesday-Friday)

PAC Funding

As in the past, students with an accepted paper may apply for travel fellowships from the PAC fund. However, PAC now also provides a new kind of grant, called Companion Travel Grants. These grants support travel costs for companions of SIGPLAN members with physical disabilities or small children. For details on the PAC program, see the PAC web page.

Invited Speakers

Scope of the Conference

The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and systems, with emphasis on how principles underpin practice. Both theoretical and experimental papers are welcome, on topics ranging from formal frameworks to experience reports.

Submissions on a diversity of topics are sought, particularly ones that identify new research directions. POPL 2009 is not limited to topics discussed in previous symposia. Authors concerned about the appropriateness of a topic may communicate by electronic mail with the program chair prior to submission.

Conference Organizers

Conference Chair: Zhong Shao
Department of Computer Science
Yale University
51 Prospect Street
New Haven, CT 06520-8285, USA
shao-zhong at cs dot yale dot edu


Program Chair:


Benjamin C. Pierce
Department of Computer & Information Science
University of Pennsylvania
3330 Walnut Street
Philadelphia, PA 19104-6389, USA


Program Committee: 

Andrew Appel Princeton University
Anindya Banerjee Kansas State University
Nick Benton Microsoft
Bruno Blanchet CNRS, École Normale Supérieure & INRIA
James Cheney Edinburgh University
Matthew Flatt University of Utah
Giorgio Ghelli University of Pisa
Masahito Hasegawa Kyoto University
Hugo Herbelin INRIA
Michael Hicks University of Maryland, College Park
Martin Hofmann Ludwig-Maximilians-Universität Munich
Susan Horwitz University of Wisconsin
Tony Hosking Purdue University
John Hughes Chalmers University of Technology
Atsushi Igarashi Kyoto University
Patricia Johann Rutgers University
James Leifer INRIA
Jens Palsberg UCLA
Leaf Petersen Intel
Frank Pfenning Carnegie Mellon University
Benjamin Pierce University of Pennsylvania
Sriram Rajamani Microsoft
David Sands Chalmers University of Technology
Guy Steele Sun Microsystems
Mitch Wand Northeastern University


Workshops Chair:


Yitzhak Mandelbaum, AT&T Research





Jeff Foster, University of Maryland





Sorin Lerner, UC San Diego


Affiliated Events

Sun Jan 18 Mon Jan 19 Tue Jan 20 Wed Jan 21 Thu Jan 22 Fri Jan 23 Sat Jan 24
Twelf DAMP


Suggestions about the web site? Please contact Sorin Lerner (lerner at