ACM POPL '98 Call for Participation

                        ACM PRINCIPLES OF PROGRAMMING LANGUAGES (POPL '98)
                        **************************************************
                                        Twenty-fifth Annual ACM Symposium
January 19 - 21, 1998, San Diego, California


ADVANCE PROGRAM AND CALL FOR PARTICIPATION
                                ==========================================




POPL '98 is the 25th in the series that started in Boston in 1973. In
honor of this anniversary, we will have special invited talks from
John Reynolds (CMU), Gerard Berry (Ecole des Mines/INRIA), and
Mark Wegman (IBM), as well as a regular invited talk by Peter Lee (CMU).


The Fifth International Workshop on Foundations of Object Oriented
Languages (FOOL 5) will be held in conjunction with POPL '98 on
January 17 - 18, 1998.


**************************************************




Important Dates
===============


>>>December 17, 1997<<< - expiration of special POPL hotel rates
>>>December 31, 1997<<< - deadline for advance registration discount


Important URLs
==============


http://cm.bell-labs.com/cm/cs/who/dbm/popl98/


      General POPL '98 information, including the advance program,
      registration and hotel.


http://www.cs.williams.edu/~kim/FOOL/FOOL5.html


      Information about FOOL 5.


www.reg-master.com/popl98.html


      Online conference registration form.


http://www.marriott.com/marriott/SANMV/


      San Diego Marriott Mission Valley Hotel web page. Information
      on travel and facilities.




**************************************************




POPL'98 PROGRAM
                                                      ===============


MONDAY 19 JANUARY


Invited Talk: 9:00-10:00
        Where Theory and Practice Meet: POPL Past and Future
        John Reynolds, Carnegie Mellon University.


Session 1: 10:30-12:30.
        Chaired by Neil Jones, University of Copenhagen.


        Higher-Order UnCurrying
        John Hannan and Patrick Hicks


        Alias Analysis of Executable Code
        Samya Debray, Robert Muth and Matthew Weippert


        Escape Analysis: Correctness Proof, Implementation and Experimental
        Results
        Bruno Blanchet


        Data Flow Analysis is Model Checking of Abstract Interpretations
        David A. Schmidt


Session 2: 14:00-16:00.
        Chaired by Atsushi Ohori, Kyoto University.


        Bridging the Gulf: a Common Intermediate Language for ML and Haskell
        Simon Peyton Jones, John Launchbury, Mark Shields and Andrew Tolmach


        Correctness of Monadic State: An Imperative Call-by-Need Calculus
        Zena M. Ariola and Amr Sabry


        Functional Representation of Data Structures with a Hole
        Yasuhiko Minamide


        From System F to Typed Assembly Language
        Greg Morrisett, David Walker, Karl Crary, and Neal Glew


Session 3: 16:30-18:30.
        Chaired by Jeanne Ferrante, University of California, San Diego.


        Maximal Static Expansion
        Denis Barthou, Albert Cohen and Jean-Fran&ccedil;ois Collard


        Array SSA Form and its Use in Parallelization
        Kathleen Knobe and Vivek Sarkar


        Putting Pointer Analysis to Work
        Rakesh Ghiya and Laurie J. Hendren


        Edge Profiling versus Path Profiling: The Showdown
        Thomas Ball, Peter Mataga and Mooly Sagiv




TUESDAY, JANUARY 20, 1998


Invited Talk: 9:00-10:00.
        Global Trends in Flow Analysis
        Mark Wegman, IBM.


Session 4: 10:30-12:30.
        Chaired by Martin Odersky, University of South Australia.


        A Type System for Java Bytecode Subroutines
        Raymie Stata and Mart&iacute;n Abadi


        Java-light is Type-Safe -- Definitely
        Tobias Nipkow and David von Oheimb


        Classes and Mixins
        Matthew Flatt, Shriram Krishnamurthi and Matthias Felleisen


        Manufacturing Cheap, Resilient, and Stealthy Opaque Constructs
        Christian Collberg, Clark Thomborson and Douglas Low


Session 5: 14:00-16:00.
        Chaired by Nevin Heintze, Bell Laboratories, Lucent Technologies.


        From Polyvariant Flow Information to Intersection and Union Types
        Jens Palsberg and Christina Pavlopoulou


        Inference of Polymorphic and Conditional Strictness Properties
        Thomas P. Jensen


        Fast Interprocedural Class Analysis
        Greg DeFouw, David Grove and Craig Chambers


        Path-Sensitive Value-Flow Analysis
        Rastislav Bod\'{i}k and Sadun Anik


Session 6: 16:30-18:30.
        Chaired by Xavier Leroy, INRIA, Rocquencourt.


        Local Type Inference
        Benjamin C. Pierce and David N. Turner


        Static Typing for Dynamic Messages
        Susumu Nishimura


        Second-order Unification and Type Inference for Church-style Polymorphism
        Aleksy Schubert


        Dynamic Typing as Staged Type Inference
        Mark Shields, Tim Sheard and Simon Peyton Jones




Invited Talk: 20:30-21:30.
        From Principles to Programming Languages
        G\'{e}rard Berry, \'{E}cole des Mines and INRIA, Sophia-Antipolis.




WEDNESDAY, JANUARY 21, 1998


Invited Talk: 9:00-10:00.
        Proofs, Types, and Safe Mobile Code
        Peter Lee, Carnegie Mellon University.


Session 7: 10:30-12:30.
        Chaired by Davide Sangiorgi, INRIA, Sophia-Antipolis.


        Parallel Beta Reduction is not Elementary Recursive
        Andrea Asperti and Harry G. Mairson


        Parallelization in Calculational Forms
        Zhenjiang Hu, Masato Takeichi and Wei-Ngan Chin


        Single and Loving it: Must-Alias Analysis for Higher-Order Languages
        Suresh Jagannathan, Peter Thiemann, Stephen Weeks and Andrew Wright


        Barrier Inference
        Alexander Aiken and David Gay


Session 8: 14:00-16:00.
        Chaired by Andrew D. Gordon, University of Cambridge.


        Secure Information Flow in a Multi-Threaded Imperative Language
        Geoffrey Smith and Dennis Volpano


        The SLam Calculus: Programming with Secrecy and Integrity
        Nevin Heintze and Jon G. Riecke


        A Typed Language for Distributed Mobile Processes
        James Riely and Matthew Hennessy


        Security Properties of Typed Applets
        Xavier Leroy and Franois Rouaix




**************************************************


POPL '98 REGISTRATION
=====================


You can register for POPL '98 and FOOL 5 by filling out an online
form at http://www.reg-master.com/popl98.html.


Or if you prefer, you can register by printing and filling out the
following form and mailing it to:


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


or faxing it to: +1 (407) 628-3186.




=================================================================
POPL '98 Registration Form
=================================================================




Name: ___________________________________________________


Affiliation: ____________________________________________


Address: ________________________________________________


_________________________________________________________


Phone: _____________________________


Fax: _____________________________


E-mail: _________________________________________________


Requirements:


  __ Vegetarian __ Vegan __ Kosher


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


Special Needs: __________________________________________


* Conference registration includes POPL '98 Proceedings,
    Reception (except for student registration), lunches
    and coffee breaks.
* Workshop registration includes lunch and coffee breaks


---------------------------------------------------------
The deadline for early registration is 31 December 1997
---------------------------------------------------------


                              Fee Schedule (in US$)


(circle applicable fees) Conference Workshop
---------- --------
early late


ACM and (SIGACT or SIGPLAN) 350 400 90
ACM or SIGACT or SIGPLAN 375 425 90
Non-member 400 450 100
Full-time Student 125 150 60


---------------------------------------------------------
                              Payment Computation


Conference fee $____________


FOOL5 Workshop $____________


Total Payment: $____________




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


Card #____________________________________


Expires__________ Signature___________________________


---------------------------------------------------------


Mail Form to:
POPL '98
c/o Carole Mann
2060 Goldwater Court
Maitland, FL 32751 USA


Fax: +1 (407) 628-3186
(credit card payments only)


Or register on-line via:
www.reg-master.com/popl98.html


---------------------------------------------------------


Cancellations are subject to a $50 administrative fee.


For Registration inquiries, please call +1 (407) 628-3602
or email: mann@cs.ucf.edu
======================================================================


**************************************************




HOTEL INFORMATION
=================


The conference hotel is the San Diego Marriott Mission Valley. There
is a special conference rate of $89/night available until December 17,
1997. Mention "Association for Computing Machinery" to receive the
POPL rates.


Information about hotel facilities and directions from the San Diego
International Airport are available at


    http://www.marriott.com/marriott/SANMV/




=================================================================
POPL '98 Hotel Registration Form
=================================================================


Mention "Association for Computing Machinery" to receive the POPL rates.
Valid if you register by December 17, 1997.


************************************
By Mail:
San Diego Marriott Mission Valley
8757 Rio San Diego Drive
San Diego, CA 92108


By Phone:
+1 (619) 692-3800
************************************


Single or double occupancy rate: $89.00 per night


Name(s):___________________________________________________________




Affiliation:_______________________________________________________




Address:___________________________________________________________
                                                            street


___________________________________________________________________
                  city state zip country


Phones:_____________________________________________________________
                          voice fax


____________________________________________________________________
arrival date # nights # rooms # people




Special Needs:_______________________________________________________




Guarantee room by credit card?


[ ]VISA [ ]Master Card [ ] American Express
[ ] Diners Club [ ]Discover [ ] Carte Blanche




Credit Card:_________________________________________________________
                                                number exp. date




Signature:___________________________________________________________
--

Return to the comp.compilers page.
Search the comp.compilers archives again.