ACM Logo ACM Logo

The ACM SIGPLAN Workshop on


Types in Language Design and Implementation

 


Savannah, Georgia, USA

Saturday, 24 January, 2009


To be held in conjunction with POPL 2009

 

 


Welcome to TLDI 2009

TLDI '09 is the fourth ACM SIGPLAN Workshop on Types in Language Design and Implementation (formerly called TIC, the International Workshop on Types in Compilation).


Important Dates

Submission (extended) 9 October 2008, 5PM EDT (Thursday)
Notification 8 November 2008 (Saturday)
Camera ready 21 November 2008 (Friday)
TLDI '09 24 January 2009 (Saturday)


Scope

TLDI is a workshop on the role of types in all aspects of language design, compiler construction, and software development. In recent years, type systems and type analyses have led to new concepts in compilation techniques for modern programming languages, verification of safety and security properties of programs, program transformation and optimization, and many other areas. In recognition of the expanding role of types, TLDI '03 expanded on the previous Workshops on Types in Compilation (TIC) to bring together researchers to share new ideas and results in this area, and TLDI '05 and TLDI '07 continued that tradition.


 
General Chair:

Andrew Kennedy
Microsoft Research, Cambridge
akenn at microsoft dot com


 

Program Chair:

 

Amal Ahmed
Toyota Technological Institute, Chicago
amal at tti-c dot org


 

Program Committee: 

 
Amal Ahmed Toyota Technological Institute, Chicago
Juan Chen Microsoft Research
Peter Dybjer Chalmers University of Technology
Jeff Foster University of Maryland, College Park
Neal Glew Intel
Robert Harper Carnegie Mellon University
Andrew Myers Cornell University
Atsushi Ohori Tohoku University
Matthew Parkinson University of Cambridge
Didier Remy INRIA Paris-Rocquencourt
Andreas Rossberg Max Planck Institute for Software Systems

 

Steering Committee: 

 
Craig Chambers University of Washington
Robert Harper Carnegie Mellon University (Chair)
Xavier Leroy INRIA Paris-Rocquencourt
Greg Morrisett Harvard University
George Necula Rinera Networks and UC Berkeley
Atsushi Ohori Tohoku University
Francois Pottier INRIA Paris-Rocquencourt
Zhong Shao Yale University