[Prev][Next][Index][Thread]
POPL '97 advance program
[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]
POPL'97 ADVANCE TECHNICAL PROGRAM AND
CALL FOR PARTICIPATION
The 24th ACM SIGPLAN-SIGACT Symposium on
Principles of Programming Languages
La Sorbonne, Paris, France
January 15-17, 1997
http://www.cs.umd.edu/~pugh/popl97
http://www.diku.dk/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
applications.
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.cs.umd.edu/~pugh/popl97 or
http://www.diku.dk/popl97. An email registration form is also available
below. THE DEADLINE FOR EARLY REGISTRATION IS DECEMBER 18, 1996.
POPL'97 TECHNICAL PROGRAM
WEDNESDAY JANUARY 15
====================
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
THURSDAY JANUARY 16
===================
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
Larry Carter, Jeanne Ferrante & Karin Hogstedt
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
Behavioral 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
pi-calculus
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
FRIDAY JANUARY 17
=================
0900 - 1000 Invited talk (session chair Neil Jones)
Typing by Abstract Interpretation
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,
Sweden
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
CONFERENCE COMMITTEE
====================
PROGRAM CHAIR
Neil Jones, DIKU, University of Copenhagen
PROGRAM COMMITTEE
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
GENERAL CO-CHAIRS
Fritz Henglein, DIKU, University of Copenhagen
Peter Lee, Carnegie Mellon University
LOCAL ARRANGEMENTS CHAIR
Radhia Cousot, LIX, Ecole Polytechnique
TREASURER
Edoardo Biagioni, Carnegie Mellon University
CONFERENCE REGISTRATION
=======================
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
email: mann@cs.ucf.edu
Web registration is also available at URLs:
http://www.cs.umd.edu/~pugh/popl97
http://www.diku.dk/popl97
THE DEADLINE FOR EARLY REGISTRATION IS DECEMBER 18, 1996.
------------------- 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
============================
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://lix.polytechnique.fr/~radhia/popl97/