Types in Compilation

Conference Program

9:00 - 10:30  Session 1
Chair: Trevor Jim

• Scalable Certification for Typed Assembly Language
  Dan Grossman, Greg Morrisett (Cornell University)
• Space Issues in Compiling with Intersection and Union Types
  Allyn Dimock (Harvard University), Ian Westmacott (Boston University), Robert Muller (Boston College), Franklyn Turbak (Wellesley College), J. B. Wells (Heriot-Watt University), Jeffrey Considine (Boston University)
• Sound and Complete Elimination of Singleton Kinds
  Karl Crary (Carnegie Mellon University)

11:00 - 12:30  Session 2
Chair: Franklyn Turbak

• A Type System for JVM Threads
  Gaetano Bigliardi, Cosimo Laneve (University of Bologna)
• Garbage Collection Based on Linear Type Systems
  Atsushi Igarashi, Naoki Kobayashi (University of Tokyo)
• Optimizing Message Sends in Object-Oriented Languages Through Type-Invariant Region Analysis
  Mark Leair (The Portland Group), Santosh Pande (University of Cincinnati)

12:30 - 14:00  Lunch

14:00 - 15:30  Session 3
Chair: Andrew Kennedy

• Towards an Abstract Model of Java Dynamic Linking and Verification
  Sophia Drossopoulou (Imperial College)
• Safe and Flexible Dynamic Linking of Native Code
  Michael Hicks (University of Pennsylvania), Stephanie Weirich (Cornell University), Karl Crary (Carnegie Mellon University)
• Sharing in Typed Module Assembly Language
  Dominic Duggan (Stevens Institute of Technology)

16:00 - 17:30  Session 4
Chair: Dominic Duggan

• Alias Types for Recursive Data Structures
  David Walker, Greg Morrisett (Cornell University)
• Simple Usage Polymorphism
  Keith Wansbrough (University of Cambridge), Simon Peyton Jones (Microsoft Research)
• Fully Reflexive Intensional Type Analysis in Type Erasure Semantics
  Bratin Saha, Valery Trifonov, Zhong Shao (Yale University)