[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/