Survey Workshop on Typeful Compilation

September 18 - December 9, 2000
ROPAS, KAIST
Program Organizer: Oukseh Lee

Most programming languages are equipped with a type system that detects run-time errors early. However, safety is not the only motivation for equipping programming languages with type systems. Another motivation is to facilitate the efficient compilation of programs. Static typing restricts the set of programs to be compiled efficiently or correctly. Static typing guarantees certain properties and invariants on the data manipulated by the program; the compiler can take advantage of these semantic guarantees to generate better code. This survey workshop on typeful compilation is dedicated to the study of these interactions between type systems and the compilation process. [From "An Overview of Types in Compilation", Xavier Leroy, Workshop on Types In Compilation, 1998]

Time & Place

List

9/18   From System F to Typed Assembly Language.
Greg Morrisett, David Walker, Karl Crary, Neal Glew.
ACM Transactions on Programming Languages and Systems, 21(3):528-569, May 1999.
paper / slides presented by Oukseh Lee.
9/29 Explicit polymorphism and CPS conversion.
Robert Harper, Mark Lillibridge.
ACM Symposium on Principles of Programming Languages, pages 206-219, January 1993.
paper / slides presented by Jungtaek Kim.
Typed Closure Conversion.
Yosuhiko Minamide, Greg Morrisett, Robert Harper.
ACM Symposium on Principles of Programming Languages, pages 271-283, January 1996.
paper / slides presented by Kwangkeun Yi.
10/9 Towards a Theory of Type Structure.
John C. Reynolds.
Volume 19 of Lecture Notes in Computer Science, pages 408-425, 1974.
Kwangkeun Yi has a hardcopy / slides presented by Hyun-Goo Kang.
Henk: a typed intermediate language.
Simon Peyton Jones, Erik Meijer.
International Workshop on Types in Compilation, 1997.
paper / slides presented by Hyunjun Eo.
Implementing Typed Intermediate Languages.
Zhong Shao, Christopher League, Stefan Monnier.
ACM International Conference on Functional Programming, pages 313-323, September 1998.
paper / slides presented by Sukyoung Ryu.
10/14 Typed Closure Conversion for Recursively-Defined Functions.
Greg Morrisett, Robert Harper.
Higher-Order Operational Techniques in Semantics, 1998.
paper / slides presented by Sunae Seo.
10/21 Space-Efficient Closure Representations.
Zhong Shao, Andrew W. Appel.
SIGPLAN Conference on Lisp and Functional Programming, 1994
Not available / slides presented by Sungsoon Jang.
Unboxed values as first class citizens.
Simon. L. Peyton Jones, J. Launchbury.
Functional Programming Languages and Computer Architecture, pages 636-666, September 1991.
paper / slides presented by Jungtaek Kim.
10/30 Unboxed objects and polymorphic typing.
Xavier Leroy.
ACM Symposium on Principles of Programming Languages, pages 177-188, January 1992.
paper / slides presented by Woongsik Choi.
Formally optimal boxing.
Fritz Henglein, Jesper Ję¬rgensen.
ACM Symposium on Principles of Programming Languages, pages 213-226, January 1994.
paper / slides presented by Hyunjun Eo.
11/4 Compiling Polymorphism Using Intensional Type Analysis.
Robert Harper, Greg Morrisett.
ACM Symposium on Principles of Programming Languages, January 1995.
paper / slides presented by Oukseh Lee.
The effectiveness of type-based unboxing.
Xavier Leroy.
Workshop on Types in Compilation, June 1997.
paper / slides presented by Oukseh Lee.
11/11 Intensional polymorphism in type-erasure semantics.
Karl Crary, Stephanie Weirich, Greg Morrisett.
ACM International Conference on Functional Programming, September 1998.
paper / slides presented by Jungteak Kim.
Flexible type analysis.
Karl Crary, Stephanie Weirich.
ACM International Conference on Functional Programming, pages 233-248, September 1999.
paper / slides presented by Kwangkeun Yi.
11/22   Flexible representation analysis.
Zhong Shao.
ACM International Conference on Functional Programming, pages 85-98, 1997.
paper / slides presented by Sukyoung Ryu.
Fully Reflexive Intensional Type Analysis in Type Erasure Semantics.
Bratin Saha, Valery Trifonov, Zhong Shao.
International Workshop on Types in Compilation, 2000.
paper / slides presented by Sukyoung Ryu.
11/25 Stack-Based Typed Assembly Language.
Greg Morrisett, Karl Crary, Neal Glew, David Walker.
International Workshop on Types in Compilation, 1998.
paper / slides (auxiliary tp) presented by Sunae Seo.
Type-Safe Linking and Modular Assembly Language.
Neal Grew, Greg Morrisett.
ACM Symposium on Principles of Programming Languages, pages 262-275, January 1999.
paper / slides presented by Hyun-Goo Kang.
12/2 TALx86: A Realistic Typed Assembly Language.
G. Morrisett, K. Crary, N. Glew, D. Grossman, R. Samuels, F. Smith, D. Walker, S. Weirich, S. Zdancewic.
Workshop on Compiler Support for System Software, pages 25-35, May 1999.
paper / slides presented by Sungsoon Jang.
Tag-free garbage collection using explicit type parameters.
Andrew Tolmach.
SIGPLAN Conference on Lisp and Functional Programming, pages 1-11, June 1994.
paper / slides presented by Jaegyoon Hahm.
12/9 Garbage Collection Based on Linear Type Systems.
Atsushi Igarashi, Naoki Kobayashi.
Workshop on Types in Compilation, 2000.
paper (TR of full version) / slides (presented by Joonseon Ahn)
Partial evaluation of shaped programs: experience with FISh.
Barry Jay.
ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, 1999.
paper / (Nikolay Shilov will present)

Oukseh Lee