ACM SIGPLAN Workshop Announcement

Types in Compilation (TIC97)

Held in conjunction with ICFP97

Amsterdam, The Netherlands

June 8, 1997

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.

Program

8:30 Welcome
8:40 - 9:30 Invited Talk: Mitchell Wand, Northeastern University
Types in Compilation (Slides)
9:30 - 10 coffee break
10 - 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 Franklyn Turbak, Wellesley College,
Allyn Dimock, Harvard University,
Robert Muller, Boston College,
Joe Wells, Glasgow University
Compiling with Polymorphic and Polyvariant Flow Types
11 - 11:30 Robert Harper, Carnegie Mellon University
Progress Report: The TIL Compiler for Standard ML
11:30 - 12 Manuel Fahndrich, Alex Aiken, University of California at Berkeley
Refined Type Inference for ML
12 - 1:30 lunch
1:30 - 2 Andrew Tolmach, Portland State University
Combining Closure Conversion with Closure Analysis using Algebraic Types
2 - 2:30 Nevin Heintze, Bell Labs
Analysis of Typed Intermediate Representations
2:30 - 3 Xavier Leroy, INRIA
The Effectiveness of Type-based Unboxing
3 - 3:30 coffee break
3:30 - 4 Zhong Shao, Yale University
An Overview of the FLINT/ML Compiler
4 - 4:30 Simon Peyton Jones, Glasgow University and Oregon Graduate Institute, Erik Meijer, University of Utrecht and Oregon Graduate Institute
Henk: a typed intermediate language
4:30 - 5 John Hannan, Patrick Hicks, Penn State University
A Lifetime Analysis for Variables

Registration Information

Registration information can be found in the registration section of the ICFP/PEPM page.

Submission Information

Important Dates


Workshop Organizers

Program Committee


June 4, 1997. R. Muller