POPL 2005 Call for Participation

Discussion in 'Ruby' started by David Walker, Nov 26, 2004.

  1. David Walker

    David Walker Guest

    POPL 2005 Call for Participation

    32nd Annual ACM SIGPLAN - SIGACT
    Symposium on Principles of Programming Languages

    Long Beach, California
    January 12-14, 2005
    http://www.cs.princeton.edu/~dpw/popl/05/

    Scope of the Conference

    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.

    Important Dates

    * Hotel reservation deadline: December 21, 2004
    * Reduced fees deadline: December 30, 2004 (11:59 PM, EST USA)
    - Register at http://www.regmaster.com/popl2005.html
    * Main conference: January 12-14, 2005.
    * Affiliated events: January 10-11 and January 15, 2005

    Invited Speakers

    * Pat Hanrahan (Stanford University)
    * Rob Pike (Google): Interpreting the Data
    * Peter Selinger (University of Ottawa): Programming Languages for
    Quantum Computing

    Location & Hotel

    The POPL 2005 conference site is Hyatt Regency Long Beach, 200 South
    Pine Avenue, Long Beach, CA. Complete information concerning how to
    book rooms and travel to Long Beach may be found at the conference web
    site (http://www.cs.princeton.edu/~dpw/popl/05/). The Hyatt Regency
    is right next to a variety of entertainment areas, including the
    Shoreline Village, the Rainbow Harbor, and the Shoreline Marina, which
    offer sport fishing, boat rentals, personal boat rentals, shopping,
    great food and other diversions. For those wishing to take in some
    sun this January, one can walk east from the hotel, about a 1/4 mile,
    along the Shoreline Marina, to a large, sandy, public beach. In
    addition, the remarkable Aquarium of the Pacific, which houses more
    than 12,500 animals and offers the possibility of coming face-to-face
    or even touching the world's greatest predators, is only a 1/4 mile
    west. On Thursday January 13th, we will be having a tour and banquet
    on the Queen Mary ocean liner. Be sure to reserve your room by
    December 21st, 2004 and register for the conference by December 30th,
    2004.

    Program

    Wednesday, Jan 12

    8:30AM -- 9:30AM: Invited talk: Interpreting the Data, Rob Pike
    (Google)

    10AM Session:

    * Associated Types with Class
    - Manuel Chakravarty, Gabriele Keller, Simon Peyton-Jones, Simon
    Marlow
    * Environmental Acquisition Revisited
    - Richard Cobbe, Matthias Felleisen
    * Polymorphic Bytecode: Compositional Compilation for Java-like
    Languages
    - Davide Ancona, Ferrucio Damiani, Sophia Drossopoulou, Elena Zucca
    * A Simple Typed Intermediate Language for Object-Oriented Languages
    - Juan Chen, David Tarditi

    1:30PM Session:

    * Parametric Polymorphism for XML
    - Haruo Hosoya, Alain Frisch, Giuseppe Castagna
    * A Bisimulation for Type Abstraction and Recursion
    - Eijiro Sumii, Benjamin Pierce
    * A Syntactic Approach to Eta Equality in Type Theory
    - Healfdene Goguen
    * Slot Games: A Quantitative Model of Computation
    - Dan Ghica

    4PM Session:

    * Synthesis of Interface Specifications for Java Classes
    - Rajeev Alur, Pavol Cerny, P. Madhusudan, Wonhong Nam
    * Dynamic Partial-Order Reduction for Model Checking Software
    - Cormac Flanagan, Patrice Godefroid
    * Proof-Guided Underapproximation-Widening for Multi-Process Systems
    - Orna Grumberg, Flavio Lerda, Ofer Strichman, Michael Theobald
    * Transition Predicate Abstraction and Fair Termination
    - Andreas Podelski, Andrey Rybalchenko

    6PM: Business meeting / PC report

    Thursday, Jan 13

    8:30AM: Invited talk: Programming Languages for Quantum Computing,
    Peter Selinger (University of Ottawa)

    10AM Session:

    * Communicating Quantum Processes
    - Simon Gay, Rajagopal Nagarajan
    * Downgrading Policies and Relaxed Noninterference
    - Peng Li, Steve Zdancewic
    * A Probabilistic Language Based Upon Sampling Functions
    - Sungwoo Park, Frank Pfenning, Sebastian Thrun
    * Mutatis Mutandis: Safe and Predictable Dynamic Software Updating
    - Gareth Stoyle, Michael Hicks, Gavin Bierman, Peter Sewell, Iulian
    Neamtiu

    1:30PM Session:

    * Transactors: A Programming Model for Maintaining Globally Consistent
    Distributed State in Unreliable Environments
    - John Field, Carlos Varela
    * Theoretical Foundations for Compensations in Flow Composition
    Languages
    - Roberto Bruni, Hernan Melgratti, Ugo Montanari
    * From Sequential Programs to Multi-Tier Applications by Program
    Transformation
    - Matthias Neubauer, Peter Thiemann
    * Combinators for Bi-Directional Tree Transformations: A Linguistic
    Approach to the View Update Problem
    - Nathan Foster, Michael Greenwald, Jonathan Moore, Benjamin Pierce,
    Alan Schmitt

    4:30PM: Tour and conference dinner on the Queen Mary ocean liner

    Friday, Jan 14

    8:30AM: Invited talk, Pat Hanrahan (Stanford University)

    10AM Session:

    * Separation Logic and Abstraction
    - Matthew Parkinson, Gavin Bierman
    * Permission Accounting in Separation Logic
    - Richard Bornat, Cristiano Calcagno, Peter O'Hearn, Matthew
    Parkinson
    * Context Logic and Tree Update
    - Cristiano Calcagno, Philippa Gardner, Uri Zarfaty
    * Connecting Effects and Uniqueness with Adoption
    - John Tang Boyland, William Retert

    1:30PM Session:

    * A Semantics for Procedure-Local Heaps and its Abstractions
    - Noam Rinetzky, Jörg Bauer, Thomas Reps, Mooly Sagiv, Reinhard
    Wilhelm
    * Region-Based Shape Analysis with Tracked Locations
    - Brian Hackett, Radu Rugina
    * Precise Interprocedural Analysis using Random Interpretation
    - Sumit Gulwani, George Necula
    * Numeric Analysis of Array Operations
    - Denis Gopan, Thomas Reps, Mooly Sagiv

    4PM Session:

    * Scalable Error Detection using Boolean Satisfiability
    - Yichen Xie, Alex Aiken
    * Automated Soundness Proofs for Dataflow Analyses and Transformations
    via Local Rules
    - Sorin Lerner, Todd Millstein, Erika Rice, Craig Chambers
    * The Java Memory Model
    - Jeremy Manson, William Pugh, Sarita Adve

    Program Chair:

    Martín Abadi
    University of California, Santa Cruz
    Computer Science Department
    Santa Cruz, CA 95064
    E-mail:


    General Chair:

    Jens Palsberg
    University of California, Los Angeles
    Computer Science Dept,
    4531K Boelter Hall,
    Los Angeles, CA 90095
    Phone: 310-825-6320
    Fax: 310-794-5057
    E-mail:
    Program Committee:

    Martín Abadi, UC Santa Cruz (chair)
    Rastislav Bodik, UC Berkeley
    Perry Cheng, IBM (T.J. Watson Research Center)
    William Cook, UT Austin
    Michael Ernst, MIT
    Giorgio Ghelli, Università di Pisa
    Yossi Gil, Technion
    Ralf Hinze, Universität Bonn
    Martin Hofmann, Ludwig-Maximilians-Universität München
    Alan Jeffrey, Bell Labs, Lucent / DePaul University
    Andrew Kennedy, Microsoft Research (Cambridge)
    Naoki Kobayashi, Tohoku University
    Julia Lawall, University of Copenhagen
    Andrew Myers, Cornell University
    Gordon Plotkin, University of Edinburgh
    François Pottier, INRIA (Rocquencourt)
    Sriram Rajamani, Microsoft Research (Redmond)
    John Reppy, University of Chicago
    Zhong Shao, Yale University
    Henny Sipma, Stanford University

    Treasurer:

    Manuel Fähndrich

    Publicity:

    David Walker
     
    David Walker, Nov 26, 2004
    #1
    1. Advertising

Want to reply to this thread or ask your own question?

It takes just 2 minutes to sign up (and it's free!). Just click the sign up button to choose a username and then you can ask your own questions on the forum.
Similar Threads
  1. David Walker

    POPL 2005 Call for Participation

    David Walker, Nov 26, 2004, in forum: Java
    Replies:
    0
    Views:
    391
    David Walker
    Nov 26, 2004
  2. Replies:
    0
    Views:
    335
  3. POPL 2007 Call for Participation

    , Dec 15, 2006, in forum: C Programming
    Replies:
    0
    Views:
    295
  4. Replies:
    2
    Views:
    128
    Daniel Berger
    Dec 14, 2006
  5. David Walker

    POPL 2005 Call for Participation

    David Walker, Nov 26, 2004, in forum: Perl Misc
    Replies:
    0
    Views:
    109
    David Walker
    Nov 26, 2004
Loading...

Share This Page