[Prev][Next][Index][Thread]
Types in Compilation Workshop Advance Program
--- ACM SIGPLAN Workshop Advance Program ---
Types in Compilation (TIC97)
Held in conjunction with ICFP97
Amsterdam, The Netherlands
June 8, 1997
[The following advance program is available on the web at:
http://www.cs.bc.edu/~muller/TIC97/
]
Workshop Description
Recent advances in type theory have led to a number of new
applications of types during the compilation process. Type
information has been found to be useful for compiler verification,
for program analysis and transformation, for optimizing dynamic
method dispatch in object-oriented languages, for code generation,
for debugging of the compiler and a number of other applications.
Several state-of-the-art compilers maintain an explicitly-typed
representation of the source program through the later stages of
compilation. Some compilers emit type information into the object
file to facilitate later verification of the object code.
The workshop on Types in Compilation is a one day meeting that will
cover both theoretical aspects and practical applications of type
systems in compilation.
--------------------------------------------------------------------
Workshop Program
----------------
8:30 Welcome
8:40 - 9:30 Invited Talk: Mitchell Wand, Northeastern University
Types in Compilation
9:30 - 10:00 coffee break
10:00 - 10:30 Emmanuel Chailloux, Pascal Manoury, Bruno Pagano,
University of Paris VI
Types behind the mirror : a proposal for partial ML type
reconstruction at run-time
10:30 - 11:00 Franklyn Turbak, Wellesley College
Compiling with Intersection and Union Types
11:00 - 11:30 Robert Harper, Carnegie Mellon University
Compiling Modules in the TIL/ML Compiler
11:30 - 12:00 Manuel Fahndrich, University of California at Berkeley
12:00 - 1:30 lunch
1:30 - 2:00 Andrew Tolmach, Portland State University
Combining Closure Conversion with Closure
Analysis using Algebraic Types
2:00 - 2:30 Nevin Heintze, Bell Labs
Analysis of Typed Intermediate Representations
2:30 - 3:00 Xavier Leroy, INRIA
The Effectiveness of Type-based Unboxing
3:00 - 3:30 coffee break
3:30 - 4:00 Zhong Shao, Yale University
An Overview of the FLINT/ML Compiler
4:00 - 4:30 Simon Peyton Jones, Glasgow University and OGI
Erik Meijer, University of Utrecht and OGI
Henk: a typed intermediate language
4:30 - 5:00 John Hannan, Penn State University (tentative)
-------------------------------------------------------------------------
Registration
See http://www.cs.kun.nl/fpl/icfp-pepm97/#registration
-------------------------------------------------------------------------
Important Dates
- January 10, 1997, Submission deadline.
- March 1, 1997, Program announcement.
- May 1, 1997, Deadline for final versions of extended abstracts.
- June 8, 1997, Workshop.
---------------------------------------------------------------------
Workshop Organizers
- Robert Harper, Carnegie Mellon University
- Robert Muller, Boston College
Program Committee
- Luca Cardelli, Digital Equipment Corporation
- Xavier Leroy, INRIA Rocquencourt
- Greg Morrisett, Cornell University
- Joe Wells, Glasgow University
---------------------------------------------------------------------
March 21, 1997. R. Muller