------------------------------------------------------------------------
| |
| International Conference on Functional Programming (ICFP97) |
| Symposium on Partial Evaluation and Program Manipulation (PEPM97) |
| |
| Haskell Workshop |
| Types in Compilation Workshop |
| |
| Amsterdam, 7-13 June 1997 |
| |
------------------------------------------------------------------------
ADVANCE PROGRAMME
We are happy to announce the advance programme for ICFP'97, PEPM'97,
with the associated workshops on Haskell, and Types in Compilation.
The timetable of events is this:
7 June 1997 Haskell Workshop
8 June 1997 Types in Compilation Workshop
9-11 June 1997 ICFP'97
12-13 June 1997 PEPM'97
You can find the full advance programme, including details of how
to register, at
http://www.cs.kun.nl/fpl/icfp-pepm97/
Attached to this message is are the conference programmes for ICFP and PEPM,
in case you want to scan them right away.
There is also a poster session for ICFP, whose submission deadline is 15 March.
http://www.cse.ogi.edu/PacSoft/icfp-poster.html
We look forward to seeing you at ICFP and PEPM.
Simon Peyton Jones (General Chair, ICFP'97)
John Gallagher (General Chair, PEPM'97)
=========================================================================
ICFP'97
Second ACM SIGPLAN International Conference on
Functional Programming, in association with IFIP Working Group 2.8.
June 9-11 1997
The International Conference on Functional Programming (ICFP) combines the
established LISP and Functional Programming (LFP) and Functional Programming
and Computer Architecture (FPCA) conferences into a unified annual meeting
devoted to the design, analysis, implementation, and application of
functional programming languages. The scope is inclusive, encompassing
languages that are typed or untyped, strict or lazy, sequential or parallel,
pure or stateful. Languages of interest include established languages such
as LISP, Scheme, Sisal, ML, Clean, Haskell, and Id, as well as novel designs
in the functional programming tradition.
Twenty five papers spanning a broad range of topics will be presented. In
addition there will be two invited speakers, Joe Armstrong of Ericsson, and
Greg Morrisset from Cornell University.
General Chair Program Chair
SIMON PEYTON JONES, MADS TOFTE,
Glasgow University University of Copenhagen
Program Committee
ALEX AIKEN, ANDREW APPEL,
University of California Berkeley Princeton University
ZENA ARIOLA, MARC FEELEY,
University of Oregon University of Montreal
SHAIL ADITYA GUPTA, PETER LEE,
HP Laboratorie Carnegie Mellon University
XAVIER LEROY, MARTIN ODERSKY,
INRIA University of Karlsruhe
RINUS PLASMEIJER, COLIN RUNCIMAN,
Katholieke Universiteit Nijmegen University of York
AMR SABRY, GUY STEELE,
University of Oregon Sun Microsystems Laboratories
PHILIP WADLER, PAUL WILSON,
Bell Labs, Lucent Technologies The University of Texas at Austin
Full information about ICFP can be found at
http://www.fwi.uva.nl/research/func/icfp.html
ICFP Monday, June 9
8:00
REGISTRATION
8:35-8:45
WELCOME
8:45-9:45
INVITED TALK: TYPES IN COMPILATION
Greg Morrisett (Cornell University)
9:45-10:30
BREAK
Session 1 chair: Martin Odersky (University of Karlsruhe)
10:30-11:00
A MODULAR, POLYVARIANT AND TYPE-BASED CLOSURE ANALYSIS
Anindya Banerjee (Xinotech Research)
11:00-11:30
STRONGLY TYPED FLOW-DIRECTED REPRESENTATION TRANSFORMATIONS
Allyn Dimock (Harvard University), Robert Muller (Boston College),
Franklyn Turbak (Wellesley College) and Joe Wells (Boston University)
11:30-12:00
TYPE-DRIVEN DEFUNCTIONALIZATION
Jeffrey M. Bell (Oregon Graduate Institute), Frangoise Bellegarde
(Universiti de Franche-Comti) and James Hook (Oregon Graduate
Institute)
12:00-12:30
SYSTEMATIC REALISATION OF CONTROL FLOW ANALYSES FOR CML
Kirsten L. Solberg Gasser, Flemming Nielson and Hanne Riis Nielson
(Aarhus University)
12:30-14:00
LUNCH
Session 2 chair: Colin Runciman (University of York)
14:00-14:30
FUNCTIONAL PROGRAMMING WITH GRAPHS
Martin Erwig (FernUniversitdt Hagen)
14:30-15:00
CATENABLE DOUBLE-ENDED QUEUES
Chris Okasaki (Carnegie Mellon University)
15:00-15:30
STATICALLY CHECKABLE PATTERN ABSTRACTIONS
Manuel Fdhndrich (University of California, Berkeley) and John Boyland
(Carnegie Mellon University)
15:30-16:15
BREAK
Session 3 chair: Marc Feeley (University of Montreal)
16:15-16:45
FLEXIBLE REPRESENTATION ANALYSIS
Zhong Shao (Yale University)
16:45-17:15
THE EFFECTIVENESS OF FLOW ANALYSIS FOR INLINING
J. Michael Ashley (University of Kansas)
17:15-17:45
LAMBDA-SPLITTING: A HIGHER-ORDER APPROACH TO CROSS-MODULE OPTIMIZATIONS
Matthias Blume and Andrew W. Appel (Princeton University)
17:45-17:45
RECEPTION
Drinks, buffet, poster session and demonstrations
ICFP Tuesday, June 10
Session 4 chair: Xavier Leroy (INRIA)
8:45-9:15
FOUNDATIONS FOR THE IMPLEMENTATION OF HIGHER-ORDER SUBTYPING
Karl Crary (Cornell University)
9:15-9:45
A PRACTICAL SUBTYPING SYSTEM FOR ERLANG
Simon Marlow (University of Glasgow) and Philip Wadler (Bell Labs,
Lucent Technologies)
9:45-10:15
ON THE COMPLEXITY OF SET-BASED ANALYSIS
David McAllester and Nevin Heintze (AT&T Research)
10:15-11:00
BREAK
Session 5 chair: Guy Steele (Sun Microsystems Laboratories)
11:00-11:30
TUPLING CALCULATION ELIMINATES MULTIPLE DATA TRAVERSALS
Zhenjiang Hu (University of Tokyo), Hideya Iwasaki (Tokyo University of
Agriculture and Technology), Masato Takeichi (University of Tokyo),
Akihiko Takano (Hitachi Advanced Research Laboratory)
11:30-12:00
A BOUNDS INFERENCE METHOD FOR VECTOR-BASED MEMOISATION
Wei-Ngan Chin (National University of Singapore) and Masami Hagiya
(University of Tokyo)
12:00-12:30
ON GLOBAL DYNAMICS OF OPTIMAL GRAPH REDUCTION
Julia L. Lawall (IRISA) and Harry G. Mairson (Brandeis University)
12:30-14:00
LUNCH
14:00-14:00
AFTERNOON FREE
ICFP Wednesday, June 11
8:45- 9:45
INVITED TALK: THE DEVELOPMENT OF ERLANG
Joe Armstrong (Ericsson)
9:45-10:30
BREAK
Session 6 chair: Philip Wadler (Bell Labs, Lucent Technologies)
10:30-11:00
TYPE SPECIALISATION FOR IMPERATIVE LANGUAGES
Dirk Dussart (University of Leuven), Peter Thiemann (Universitdt
T|bingen) and John Hughes (Chalmers University)
11:00-11:30
IMPLICIT AND REFERENCE-PASSING STYLES IN STATEFUL FUNCTIONAL
PROGRAMMING
Koji Kagawa (Kagawa University)
11:30-12:00
MONADIC STATE: AXIOMATIZATION AND TYPE SAFETY
John Launchbury (Oregon Graduate Institute) and Amr Sabry (University
of Oregon)
12:00-13:30
LUNCH
Session 7 chair: Amr Sabry (University of Oregon)
13:30-14:00
IMPLEMENTING BIT-ADDRESSING WITH SPECIALIZATION
Scott Draves (Carnegie Mellon University)
14:00-14:30
STRUCTURING GRAPHICAL PARADIGMS IN TKGOFER
Koen Claessen (Oregon Graduate Institute), Erik Meijer (OGI and Utrecht
University) and Ton Vullinghs (Universitdt Ulm)
14:30-15:00
FUNCTIONAL REACTIVE ANIMATION
Conal Elliott (Microsoft Corporation) and Paul Hudak (Yale University)
15:00-15:45
BREAK
Session 8 chair: Andrew Appel (Princeton University)
15:45-16:15
AUTOMATIC MANAGEMENT OF OPERATING SYSTEM RESOURCES
Olin Shivers (MIT AI Laboratory)
16:15-16:45
FORMAL MODELS OF DISTRIBUTED MEMORY MANAGEMENT
Cristian Ungureanu and Benjamin Goldberg (New York University)
16:45-17:15
THE MEASURED COST OF COPYING GARBAGE COLLECTION MECHANISMS
Michael Hicks, Jonathan T. Moore and Scott Nettles (University of
Pennsylvania)
17:15
CLOSING REMARKS FOR ICFP
==============================================================
PEPM'97
ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based
Program Manipulation. June 12-13 1997
The Symposium on Partial Evaluation and Semantics-Based Program Manipulation
continues the momentum initiated by its predecessors. This symposium is
aimed at providing a forum for discussion on principles, techniques, and
applications of partial evaluation and semantics-based program manipulation.
Seventeen papers will be presented covering a wide variety of aspects of
partial evaluation and semantics-based program manipulation. In addition
there will be an invited speaker, Satnam Singh from the Glasgow University.
General Chair Program Chair
JOHN GALLAGHER, CHARLES CONSEL,
University of Bristol University of Rennes / IRISA
Program Committee
YANHONG ANNIE LIU, FRANCOIS IRIGOIN,
Cornell University Ecole des Mines de Paris
SURESH JAGANNATHAN, TORBEN MOGENSEN,
NEC Research Institute DIKU, University of Copenhagen
JENS PALSBERG, TODD PROEBSTING,
MIT/University of Aarhus University of Arizona
CALTON PU, TOM REPS,
Oregon Graduate Institute University of Wisconsin
DAN SAHLIN, PETER THIEMANN,
Ericsson Universitdt T|bingen
Full details about PEPM can be found at http://www.irisa.fr/pepm97
PEPM Thursday, June 12
8:00
REGISTRATION
8:35-8:45
WELCOME
Session 1 chair: Peter Thiemann (Universitdt T|bingen)
8:45-9:15
PARTIAL EVALUATION AND SEPARATE COMPILATION
R. Heldal and J. Hughes (Chalmers Technical University)
9:15-9:45
PARTIAL EVALUATION OF CALL-BY-VALUE LAMBDA-CALCULUS WITH SIDE-EFFECTS
K. Asai, H. Masuhara and A. Yonezawa (University of Tokyo)
9:45-10:15
A TYPE-DIRECTED, ON-LINE, PARTIAL EVALUATOR FOR A POLYMORPHIC LANGUAGE
T. Sheard (Oregon Graduate Institute)
10:15-11:00
BREAK
Session 2 chair: Suresh Jagannathan (NEC Research Institute)
11:00-11:30
SELF-APPLICABLE PARTIAL EVALUATION FOR PI-CALCULUS
M. Gengler and M. Martel (Ecole Normale Supirieure de Lyon)
11:30-12:00
PARTIAL-EVALUATION TECHNIQUES FOR CONCURRENT PROGRAMS
M. Marinescu and B. Goldberg (New York University)
12:00-13:30
LUNCH
Session 3 chair: Dan Sahlin (Ericsson)
13:30-14:00
ACCURATE BINDING-TIME ANALYSIS FOR IMPERATIVE LANGUAGES: FLOW, CONTEXT,
AND RETURN SENSITIVITY
L. Hornof (University of Rennes/IRISA) and J. Noyi (Ecole des Mines de
Nantes)
14:00-14:30
INTERCONVERTIBILITY OF SET CONSTRAINTS AND CONTEXT-FREE LANGUAGE
REACHABILITY
D. Melski and T. Reps (University of Wisconsin)
14:30-15:00
LAMBDA-DROPPING: TRANSFORMING RECURSIVE
O. Danvy and U. P. Schultz (Aarhus University)
15:00-15:45
BREAK
Session 4 chair: Tom Reps (University of Wisconsin)
15:45-16:15
GENERATING EFFICIENT VIRTUAL WORLDS FOR VISUALIZATION USING PARTIAL
EVALUATION AND DYNAMIC COMPILATION
C. Beshers and S. Feiner (Columbia University)
16:15-16:45
SCALING UP PARTIAL EVALUATION FOR OPTIMIZING COMMERCIAL RPC PROTOCOL
G. Muller (Inria/IRISA), E.-N. Volanschi (University of Rennes/IRISA)
and R. Marlet (Inria/IRISA)
16:45-17:15
PARTIAL EVALUATION IN AIRCRAFT CREW PLANNING
L. Augustsson (Carlstedt Research & Technology)
17:15-17:30
BREAK
Session 5 chair: Jens Palsberg (Purdue University)
17:30-18:00
A TRANSFORMATION SYSTEM FOR CLP WITH DYNAMIC SCHEDULING AND CCP
S. Etalle (Universita di Genova), M. Gabbrielli (Universita di Pisa),
and E. Marchiori (Universita di Venezia)
18:00-18:30
SPECIALIZATION OF LAZY FUNCTIONAL LOGIC PROGRAMS
M. Alpuente (Universidad Politecnica de Valencia), M. Falaschi
(Universita di Udine), P. Julian and G. Vidal (Universidad Politecnica
de Valencia)
PEPM Friday, June 13
8:30-9:30
INVITED TALK: USING PARTIAL EVALUATION TO DESCRIBE DYNAMIC HARDWARE
Satnam Singh (The University of Glasgow)
9:30-10:15
BREAK
Session 6 chair: Yanhong Annie Liu (Indiana University)
10:15-10:45
ANNOTATION-DIRECTED RUN-TIME SPECIALIZATION IN C
B. Grant, M. Mock, M. Philipose, C. Chambers, S. Eggers (University of
Washington)
10:45-11:15
RESOURCE-BOUNDED PARTIAL EVALUATION
S. Debray (University of Arizona)
Session 7 chair: Torben Mogensen (DIKU, University of Copenhagen)
11:15-11:45
A PRESCRIPTIVE FRAMEWORK FOR DESIGNING MULTI-LEVEL LAMBDA-CALCULI
F. Nielson and H. Riis Nielson (Aarhus University)
11:45-12:15
MULTI-STAGE PROGRAMMING WITH EXPLICIT ANNOTATIONS
W. Taha, T. Sheard (Oregon Graduate Institute)
12:15
CLOSING REMARKS
