POPL 2006 Call for Participation

David Walker <>
Fri Nov 4 19:11:33 CET 2005

*                  ACM SIGPLAN-SIGACT Symposium                     *
*                             on                                    *
*               Principles of Programming Languages                 *
*                                                                   *
*                     January 11-13, 2006                           *
*                    Charleston Place Hotel                         *
*                  Charleston, South Carolina                       *
*                                                                   *
*                    Call for Participation                         *
*                                                                   *
*            http://www.cs.princeton.edu/~dpw/popl/06/              *

Important dates

* Early Registration Deadline: December 10, 2005 
* Hotel Reservation Deadline:  December 10, 2005 
* Conference:                  January 11-13, 2006


The annual Symposium on Principles of Programming Languages is a forum for
the discussion of fundamental principles and important innovations in the
design, definition, analysis, transformation, implementation and
verification of programming languages, programming systems, and programming
abstractions. Both experimental and theoretical papers on principles and
innovations are welcome, ranging from formal frameworks to reports on
practical experiences.

Invited Speakers

* James McKinna, St Andrews University
* Martin Odersky, Ecole Polytechnique Fédérale de Lausanne
* Tim Sweeney, Epic Games Inc

Conference Registration

Registration is now open!  To register, please go to our registration site
at (http://www.regmaster.com/popl2006.html)  Early registration for a
reduced fee is available until December 10, 2005.  Don't delay!

Hotel Room Reservation

We recommend staying at the Charleston Place Hotel, which is where the
conference will be held.  Our group rate for the hotel is $155/night.  (This
does not include the 12.5% state tax on hotels.)  Please mention the group
name "ACM POPL 2006 Conference" when reserving a room.  You may reserve
rooms by phone, fax or email, but not using the web.

* phone: (800) 831-3490 -- Staffed Monday through Friday, 8:00 am to 6:00 pm

* fax: (843) 724-7215 
* email: 

The hotel website is

Student Attendees

Students who have a paper accepted for the conference are offered student
membership of SIGPLAN free for one year. As members of SIGPLAN they may
apply for travel fellowships from the PAC fund.

Conference Chair

Greg Morrisett
Harvard University
33 Oxford Street
Cambridge, MA 02138 USA
greg at eecs dot harvard dot edu

Program Chair

Simon Peyton Jones
Microsoft Research Ltd,
7 JJ Thomson Ave,
Cambridge CB3 0FB, UK

Program Committee

* Giuseppe Castagna, CNRS, LIENS, ENS Paris
* Manuel Chakravarty, University of New South Wales
* Karl Crary, Carnegie Mellon University
* Sophia Drossopoulou, Imperial College London
* Paul Feautrier, ENS Lyon
* Carl A Gunter, University of Illinois
* Rajiv Gupta, University of Arizona
* Fritz Henglein, DIKU, University of Copenhagen
* Trevor Jim, AT&T
* Shriram Krishnamurthi, Brown University
* Gary T Leavens, Iowa State
* Robert O'Callahan, Novell
* Peter O'Hearn, Queen Mary, University of London
* Andreas Podelski, Max Planck Institute, Saarbrücken
* Andrei Sabelfeld, Chalmers University
* Kostis Sagonas, Uppsala University
* Davide Sangiorgi, University of Bologna
* Philip Wadler, University of Edinburgh
* Stephanie Weirich, University of Pennsylvania
* Hongwei Xi, Boston University

Affiliated Events

* Foundations of Object Oriented Languages (FOOL)
    * January 14, 2006

* Partial Evaluation and Semantics-Based Program Manipulation (PEPM)
    * January 9-10, 2006

* Practical Applications of Declarative Languages (PADL)
    * January 9-10, 2006 

* Programming Language Technologies for XML (PLAN-X)
    * January 14, 2006

* Semantics, Program Analysis and Computing Environments
  for Memory Management (SPACE 2006)
    * January 14, 2006

* Verification, Model Checking and Abstract Interpretation (VMCAI)
    * January 8-10, 2006

POPL 2006 Preliminary Program

Wednesday January 11, 2006
 Invited talk
 Martin Odersky
 Ecole Polytechnique Fédérale de
 Staged Allocation: A Compositional Technique for Specifying and
Implementing Procedure Calling Conventions
 Reuben Olinsky, Christian Lindig and Norman Ramsey
 Harvard University
 A Hierarchical Model of Data Locality
 Chengliang Zhang, Yutao Zhong, Mitsunori Ogihara, Chen Ding
 University of Rochester
 Simplifying Reductions
 Gautam Gupta and Sanjay Rajopadhye
 Colorado State University

 Formal certification of a compiler back-end, or: programming a compiler
with a proof assistant
 Xavier Leroy
 INRIA Rocquencourt
 Engineering with Logic: HOL Specification and Symbolic-Evaluation Testing
for TCP Implementations
 Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael
Smith and Keith Wansbrough
 University of Cambridge
 Decidability and Proof Systems for Language-Based Noninterference Relations
 Mads Dam
 On Flow-Sensitive Security Types
 Sebastian Hunt and David Sands
 City University
 A Logic for Information Flow Analysis of Pointer Programs
 Torben Amtoft, Sruthi Bandhakavi and Anindya Banerjee
 Kansas State University
 Polymorphic Regular Tree Types and Patterns
 Jérôme Vouillon
 CNRS and Université Paris 7
 Verifying Properties of Well-Founded Linked Lists
 Shuvendu K. Lahiri and Shaz Qadeer
 Microsoft Research
 Environmental Analysis via Delta-CFA
 Matthew Might and Olin Shivers
 Georgia Institute of Technology
 Small Bisimulations for Reasoning About Higher-Order Imperative Programs
 Vasileios Koutavas and Mitchell Wand
 Northeastern University
 A Fixpoint Calculus for Local and Global Program Flows
 Rajeev Alur, Swarat Chaudhuri, and P. Madhusudan
 University of Pennsylvania
Thursday January 12, 2006
 Invited talk
 Tim Sweeney
 Epic Games Inc
 Adventures in Time and Space
 James S. Royer
 Syracuse University
 N-Synchronous Kahn Networks
 Albert Cohen, Christine Eisenbeis, Mard Duranton, Claire Pagetti, Florence
Plateau, and Marc Pouzet
 INRIA Futurs
 Compiler-Directed Channel Allocation for Saving Power in On-Chip Networks
 Guangyu Chen, Feihui Li, and Mahmut Kandemir
 Pennsylvania State University
 Fast and Loose Reasoning is Morally Correct
 Nils Anders Danielsson, Jeremy Gibbons, John Hughes, and Patrik Jansson
 Chalmers University of Technology
 Modular Set-Based Analysis from Contracts
 Philippe Meunier, Robert Bruce Findler, and Matthias Felleisen
 Northeastern University
 Stratified type inference for generalized algebraic data types
 François Pottier and Yann Régis-Gianas
 Hybrid Type Checking
 Cormac Flanagan

 A Polymorphic Modal Type System for Lisp-like Multi-Staged Languages
 Ik-Soon Kim, Kwangkeun Yi and Cristiano Calcagno
 Seoul National University

Friday January 13, 2006
 Invited talk
 James McKinna
 St Andrews University
 A Virtual Class Calculus
 Erik Ernst, Klaus Ostermann and William R. Cook
 University of Aarhus
 Interruptible Iterators
 Jed Liu, Aaron Kimball and Andrew C. Myers
 Cornell University
 Specifying C++ concepts
 Gabriel Dos Reis Bjarne Stroustrup
 Texas A&M University

 Frame rules from answer types for code pointers
 Hayo Thielecke
 University of Birmingham
 Certified Assembly Programming with Embedded Code Pointers
 Zhaozhong Ni and Zhong Shao
 Yale University
 Associating Synchronization Constraints with Data in an Object-Oriented
 Mandana Vaziri, Frank Tip and Julian Dolby
 IBM Research
 Autolocker: Synchronization Inference for Atomic Sections
 Bill McCloskey, Feng Zhou, David Gay and Eric Brewer
 UC Berkeley
 Protecting Representation with Effect Encapsulation
 Yi Lu and John Potter

 A Verifiable SSA Program Representation for Aggressive Compiler
 Vijay S Menon, Neal Glew, Brian R Murphy, Andrew McCreight, Tatiana
Shpeisman, Ali-Reza Adl-Tabatabai and Leaf Petersen
 Intel Corporation
 The Essence of Command Injection Attacks in Web Applications
 Zhendong Su and Gary Wassermann
 University of California, Davis
 Harmless Advice
 Daniel Dantas and David Walker
 Princeton University
 The Next 700 Data Description Languages
 Kathleen Fisher, Yitzhak Mandelbaum and David Walker
 AT&T Research and Princeton University


More information about the erlang-questions mailing list