[Haskell] POPL 2006 Call for Participation

Fri Nov 4 13:11:33 EST 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

Scope

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: groupres at charlestonplace.com

The hotel website is
http://www.charlestonplace.com/web/ocha/ocha_a1a_splash.jsp

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
simonpj at microsoft.com 

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
 08:30
 Invited talk
 Martin Odersky
 Ecole Polytechnique Fédérale de
Lausanne 

 10:00
 Staged Allocation: A Compositional Technique for Specifying and
Implementing Procedure Calling Conventions
 Reuben Olinsky, Christian Lindig and Norman Ramsey
 Harvard University

 10:25
 A Hierarchical Model of Data Locality
 Chengliang Zhang, Yutao Zhong, Mitsunori Ogihara, Chen Ding
 University of Rochester

 10:50
 Simplifying Reductions
 Gautam Gupta and Sanjay Rajopadhye
 Colorado State University

 11:40
 Formal certification of a compiler back-end, or: programming a compiler
with a proof assistant
 Xavier Leroy
 INRIA Rocquencourt

 12:05
 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

 14:00
 Decidability and Proof Systems for Language-Based Noninterference Relations
 Mads Dam
 KTH

 14:25
 On Flow-Sensitive Security Types
 Sebastian Hunt and David Sands
 City University

 14:50
 A Logic for Information Flow Analysis of Pointer Programs
 Torben Amtoft, Sruthi Bandhakavi and Anindya Banerjee
 Kansas State University

 15:45
 Polymorphic Regular Tree Types and Patterns
 Jérôme Vouillon
 CNRS and Université Paris 7

 16:10
 Verifying Properties of Well-Founded Linked Lists
 Shuvendu K. Lahiri and Shaz Qadeer
 Microsoft Research

 16:35
 Environmental Analysis via Delta-CFA
 Matthew Might and Olin Shivers
 Georgia Institute of Technology

 17:25
 Small Bisimulations for Reasoning About Higher-Order Imperative Programs
 Vasileios Koutavas and Mitchell Wand
 Northeastern University

 17:50
 A Fixpoint Calculus for Local and Global Program Flows
 Rajeev Alur, Swarat Chaudhuri, and P. Madhusudan
 University of Pennsylvania

Thursday January 12, 2006
 08:30
 Invited talk
 Tim Sweeney
 Epic Games Inc

 10:00
 Adventures in Time and Space
 James S. Royer
 Syracuse University

 10:25
 N-Synchronous Kahn Networks
 Albert Cohen, Christine Eisenbeis, Mard Duranton, Claire Pagetti, Florence
Plateau, and Marc Pouzet
 INRIA Futurs

 10:50
 Compiler-Directed Channel Allocation for Saving Power in On-Chip Networks
 Guangyu Chen, Feihui Li, and Mahmut Kandemir
 Pennsylvania State University

 11:40
 Fast and Loose Reasoning is Morally Correct
 Nils Anders Danielsson, Jeremy Gibbons, John Hughes, and Patrik Jansson
 Chalmers University of Technology

 12:05
 Modular Set-Based Analysis from Contracts
 Philippe Meunier, Robert Bruce Findler, and Matthias Felleisen
 Northeastern University

 14:00
 Stratified type inference for generalized algebraic data types
 François Pottier and Yann Régis-Gianas
 INRIA

 14:25
 Hybrid Type Checking
 Cormac Flanagan
 UCSC

 14:50
 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
 08:30
 Invited talk
 James McKinna
 St Andrews University

 10:00
 A Virtual Class Calculus
 Erik Ernst, Klaus Ostermann and William R. Cook
 University of Aarhus

 10:25
 Interruptible Iterators
 Jed Liu, Aaron Kimball and Andrew C. Myers
 Cornell University

 10:50
 Specifying C++ concepts
 Gabriel Dos Reis Bjarne Stroustrup
 Texas A&M University

 11:40
 Frame rules from answer types for code pointers
 Hayo Thielecke
 University of Birmingham

 12:05
 Certified Assembly Programming with Embedded Code Pointers
 Zhaozhong Ni and Zhong Shao
 Yale University

 14:00
 Associating Synchronization Constraints with Data in an Object-Oriented
Language
 Mandana Vaziri, Frank Tip and Julian Dolby
 IBM Research

 14:25
 Autolocker: Synchronization Inference for Atomic Sections
 Bill McCloskey, Feng Zhou, David Gay and Eric Brewer
 UC Berkeley

 14:50
 Protecting Representation with Effect Encapsulation
 Yi Lu and John Potter
 UNSW

 15:45
 A Verifiable SSA Program Representation for Aggressive Compiler
Optimization
 Vijay S Menon, Neal Glew, Brian R Murphy, Andrew McCreight, Tatiana
Shpeisman, Ali-Reza Adl-Tabatabai and Leaf Petersen
 Intel Corporation

 16:10
 The Essence of Command Injection Attacks in Web Applications
 Zhendong Su and Gary Wassermann
 University of California, Davis

 16:35
 Harmless Advice
 Daniel Dantas and David Walker
 Princeton University

 17:00
 The Next 700 Data Description Languages
 Kathleen Fisher, Yitzhak Mandelbaum and David Walker
 AT&T Research and Princeton University