ACM SIGPLAN Workshop Announcement |
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.
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 |