POPL '97 advance program 
Author Message
 POPL '97 advance program

                          CALL FOR PARTICIPATION

                 The 24th ACM SIGPLAN-SIGACT Symposium on
                    Principles of Programming Languages

                        La Sorbonne, Paris, France
                            January 15-17, 1997

                    http://www.*-*-*.com/ ~pugh/popl97

                Along with Co-located ACM SIGPLAN Workshops

                             January 14, 1997
   AAS'97: First ACM SIGPLAN Workshop on Automated Analysis of Software
            CW'97: Second ACM SIGPLAN Workshop on Continuations

                             January 18, 1997
 FOOL 4: Fourth Int'l Workshop on Foundations of Object-Oriented Languages
      DSL'97: First ACM SIGPLAN Workshop on Domain-Specific Languages

The 24th Symposium on Principles of Programming Languages (POPL'97) will
address fundamental principles, important innovations, and accomplishments
in the design, definition, analysis, and implementation of programming
languages, programming systems, and programming interfaces.  Both practical
and theoretical papers will be presented, including descriptions of
theoretical frameworks and reports on experiences with practical

Thirty-six papers, spanning a broad range of topics, will be presented.
These papers were selected from over 225 submitted abstracts which were
reviewed by the Program Committee.  In addition to the papers, three
distinguished researchers have been invited to give lectures, one starting
each day of the conference.

In addition to the main three-day POPL'97 program on January 15-17, 1997,
four one-day workshops will be sponsored by SIGPLAN.  Preceding POPL'97 on
Tuesday, January 14, will be the First ACM SIGPLAN Workshop on Automated
Analysis of Software (AAS'97) and the Second ACM SIGPLAN Workshop on
Continuations (CW'97).  Then, after POPL'97 on Saturday, January 18, the
Fourth International Workshop on the Foundations of Object-Oriented
Languages (FOOL-4) and the First ACM SIGPLAN Workshop on Domain-Specific
Languages (DSL'97) will be held.

To register for the conference and workshops, see the POPL'97 home page,
available at either http://www.*-*-*.com/ ~pugh/popl97 or
http://www.*-*-*.com/ ;An email registration form is also available

                         POPL'97 TECHNICAL PROGRAM


0900 - 1000  Invited talk    (session chair Fritz Henglein)

 Computing on proofs
   Gilles Kahn                          INRIA, Sophia Antipolis, France

1030 - 1230    (session chair Laurie Hendren)

 Fast and Accurate Flow-Insensitive Points-To Analysis
   Marc Shapiro & Susan Horwitz             University of Wisconsin-Madison

 Partitioning Dataflow Analyses Using Types
   Erik Ruf                             Microsoft Research

 Shape Types
   Pascal Fradet & Daniel Le Metayer        IRISA/INRIA, Campus de Beaulieu, France

 Objective ML: A simple object-oriented extension of ML
   Didier Remy & Jerome Vouillon    INRIA Rocquencourt, France

1400 - 1600    (session chair Frank Pfenning)

 Rolling Your Own Mutable ADT -- A Connection between Linear Types and Monads
   Chih-Ping Chen & Paul Hudak              Yale University

 Search and Imperative Programming
   Krzysztof R. Apt                     CWI, Amsterdam, The Netherlands
   Andrea Schaerf                       Universita di Roma

 A Unified Computation Model for Functional and Logic Programming
   Michael Hanus                        Informatik II, RWTH Aachen, Germany

 Call by Need Computations to Root-Stable Form
   Aart Middeldorp                      University of Tsukuba, Japan

1630 - 1830    (session chair Luddy Harrison)

 Self-Certified Code
   George C. Necula                     Carnegie Mellon University

 Is "Just in Time" = "Better Late than Never"?
   Michael Plezbert & Ron K. Cytron    Washington University in St. Louis

 Parameterized Types and Java
   Joseph A. Bank, Barbara Liskov & Andrew C. Myers MIT

 Pizza into Java: Translating theory into practice
   Martin Odersky                      Universitat Karlsruhe
   Philip Wadler                       University of Glasgow, Scotland, UK


0900 - 1000  Invited talk    (session chair Bill Pugh)

 Automatic Parallelization, Whence It Came, Where It's Going
   Paul Feautrier                      Universite de Versailles St-Quentin

1030 - 1230    (session chair Bill Pugh)

 Determining the Idle Time of a Tiling
   Karin Hogstedt, Larry Carter, Jeanne Ferrante
   University of California, San Diego

 Model Checking for Programming Languages using VeriSoft
   Patrice Godefroid                   Bell Laboratories, Lucent Technologies

 Synchronization Transformations for Parallel Computing
   Martin Rinard & Pedro Diniz             University of California, Santa Barbara

 An Affine Transformation Algorithm to Maximize Parallelism
   Amy Lim & Monica Lam                    Stanford University

1400 - 1600    (session chair Dave Schmidt)

 A Curry-Howard foundation for functional computaton with control
   C.-H. L. Ong & C. A. Stewart            Oxford University Computing Laboratory

 The pi-calculus in direct style
   Gerard Boudol                       INRIA, Sophia Antipolis, France

 Behavi{*filter*}Equivalence in the Polymorphic Pi-Calculus
   Benjamin Pierce                     Indiana University
   Davide Sangiorgi                    INRIA, Sophia Antipolis, France

 Comparing the Expressive Power of the Synchronous and the Asynchronous
   Catuscia Palamidessi                DISI, Universita di Genova, Italy

1630 - 1830    (session chair Alex Aiken)

 Program Fragments, Linking, and Modularization
   Luca Cardelli                       DEC SRC

 Minimal Typings in Atomic Subtyping
   Jakob Rehof                          University of Copenhagen, Denmark

 Typing Algorithm in Type Theory with Inheritance
   Amokrane Saibi                       INRIA Rocquencourt, France

 Type-checking higher-order polymorphic multi-methods
   Francois Bourdoncle                  Ecole des Mines de Paris, France
   Stephan Merz                         Universitat Munchen, Germany


0900 - 1000  Invited talk    (session chair Neil Jones)

 Types as Abstract Interpretations
   Patrick Cousot                       Ecole Normale Superieure, France

1030 - 1230    (session chair Manuel Hermengildo)

 Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis
   Hanne Riis Nielson & Flemming Nielson    DAIMI, Universty of Aarhus, Denmark

 Automatic Verification of Parameterized Linear Networks of Processes
   David Lesens, Nicolas Halbwachs, Pascal Raymond    VERIMAG, France

 On the Complexity of Escape Analysis
   Alain Deutsch                        INRIA Rocquencourt, France

 A Demand-Driven Set-Based Analysis
   Sandip K. Biswas                     University of Pennsylvania

1400 - 1600    (session chair Chris Hankin)

 Denotational Semantics Using an Operationally-Based Term Model
   Mitchell Wand & Gregory T. Sullivan      Northeastern University

 Constraints to Stop Higher-Order Deforestation
   Helmut Seidl                         Universitat Trier, Germany
   Morten H. Sorensen                   University of Copenhagen, Denmark

 Reducing  Nondeterminism  while Specializing Logic Programs
   A. Pettorossi, M. Proietti & Sophie Renault
   University of Roma Tor Vergata, IASI-CNR, Italy

 From SOS Rules to Proof Principles: An Operational Metatheory for
 Functional Languages
   David Sands                          Chalmers University of Technology,

1630 - 1830    (session chair Doaitse Swierstra)

 Relational Parametricity and Units of Measure
   Andrew J. Kennedy                    LIX, Ecole Polytechnique, France

 High Level Reading and Data Structure Compilation
   Robert Paige & Zhe Yang          New York University

 Polyp --- a polytypic programming language
   Patrik Jansson & Johan Jeuring   Chalmers University of Technology and
                                        University of Goteborg, Sweden

 First-class Polymorphism with Type Inference
   Mark P. Jones                        University of Nottingham, England


Neil Jones, DIKU, University of Copenhagen

Alex Aiken, University of California, Berkeley, USA
Harald Ganzinger, Max Planck Institute, Germany
Alessandro Giacolone, ECRC, Munich, Germany
Masami Hagiya, University of Tokyo, Japan
Chris Hankin, Imperial College, London, England
Luddy Harrison, Connected Components, USA
Laurie Hendren, McGill University, Canada
Manuel Hermenegildo, Univ. Politecnica Madrid, Spain
Neil Jones, University of Copenhagen, Denmark
Frank Pfenning, Carnegie Mellon University, USA
William Pugh, University of Maryland, USA
David Schmidt, Kansas State University, USA
Mary Sheeran, Chalmers Tech. University, Sweden
Doaitse Swierstra, Utrecht University, The Netherlands

Fritz Henglein, DIKU, University of Copenhagen
Peter Lee, Carnegie Mellon University

Radhia Cousot, LIX, Ecole Polytechnique

Edoardo Biagioni, Carnegie Mellon University


To register for POPL'97 and co-located workshops, fill out the registration
form, attached below, and send with payment by either electronic or surface
mail to:

  POPL '97
  c/o Carole Mann
  2060 Goldwater Court
  Maitland, FL  32751  USA

  Phone:  +1 (407) 628-3602
  Fax:      +1 (407) 628-3186

Web registration is also available at URLs:

  http://www.*-*-*.com/ ~pugh/popl97


------------------- POPL'97 Registration Form -------------------

Name:        ___________________________________________________

Affiliation: ___________________________________________________

Address:     ___________________________________________________



Phone:       ___________________________________________________

Fax:         ___________________________________________________

E-mail:      ___________________________________________________

Dietary requirements: ____ Vegetarian    ____ Vegan    ____ Kosher

____ I do NOT want to be on the list of attendees which will be sent
     electronically to attendees.

____ I do NOT want to be included on the list of attendees for additional
     ACM mailings.

Special needs: _________________________________________________


Registration Fees:

  - Conference registration includes the proceedings, reception,
    lunches and coffee breaks.
  - Workshop registration includes coffee breaks.

Fee Schedule (in US$)
    ( check ALL applicable fees)        Conference      Workshops
                                        early   late

     ACM and (SIGACT or SIGPLAN)        __325   __375       __60
     ACM or SIGACT or SIGPLAN           __350   __400       __60
     Non-member                         __375   __450       __70
     Full-time Student                  __125   __150       __40

Payment Computation
        Conference fee  $
        CW97 workshop   $
        AAS97 workshop  $
        FOOL4 workshop  $
        DSL97 workshop  $

        Total payment:  $____________

Make Checks or Money Orders payable to POPL '97.  If paying by VISA,
MasterCard, or American Express, please complete the following:

Card (check one):    ____VISA    ____MC    ____AMEX

Card #:  ______________________    Expires:  _______________

Signature:  __________________________

Note that there is a $50 fee for cancellation.


Hotel and travel information, including detailed information on
room reservations at any of a number of hotels near the Sorbonne,
is available at the URL

  http://www.*-*-*.com/ ~radhia/popl97/
Fritz Henglein, DIKU, Universitetsparken 1, DK-2100 Copenhagen East, Denmark

WWW: http://www.*-*-*.com/ ~henglein

Tue, 13 Apr 1999 03:00:00 GMT  
 [ 1 post ] 

 Relevant Pages 

1. Advance Program: OOPSLA '97

2. Advance Program: OOPSLA '97

3. Advance Program: OOPSLA '97

4. Advance Program: OOPSLA '97

5. ICS'97 -- Advance Program

6. Advance Program: OOPSLA '97

7. POPL '95 Advance Program

8. POPL '95 Advance Program

9. POPL '95 Advance Program

10. POPL '95 Advance Program


Powered by phpBB® Forum Software