TLDI 2011
The Sixth ACM SIGPLAN Workshop on
Types in Language Design and Implementation
TLDI 2011
The Sixth ACM SIGPLAN Workshop on
Types in Language Design and Implementation
Austin, Texas, USA
Tuesday, January 25, 2011
To be held in conjunction with POPL 2011
The role of types and proofs in all aspects of language design, compiler construction, and software development has expanded greatly in recent years. Type systems, type analyses, and formal deduction 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 light of this expanding role of types, the Sixth ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI 2011) aims to bring together researchers from around the globe to share exciting new ideas and results in this area. This year's workshop is the ninth in a series of international workshops, originating in 1997 as the Workshop on Types in Compilation (TIC).
Invited Speakers: Georges Gonthier (Microsoft Research, Cambridge) and Chris Hawblitzel (Microsoft Research, Redmond). Information on registration and the workshop program is now available (see below).
To register for TLDI 2011, follow the link from the POPL 2011 web page.
Type Design Patterns for Computer Mathematics
Georges Gonthier (Microsoft Research, Cambridge)
Singleton: A General-Purpose Dependently-Typed Assembly Language
Simon Winwood and Manuel Chakravarty
A Type and Effect System for Deadlock Avoidance in Low-Level Languages
Prodromos Gerakios, Nikolaos Papaspyrou and Konstantinos Sagonas
Extended Alias Type System using Separating Implication
Toshiyuki Maeda, Haruki Sato and Akinori Yonezawa
Type Safety from the Ground Up
Chris Hawblitzel (Microsoft Research, Redmond)
AuraConf: A Unified Approach to Authorization and Confidentiality
Jeffrey Vaughan
Information Flow Enforcement in Monadic Libraries
Dominique Devriese and Frank Piessens
The Essence of Monotonic State
Alexandre Pilkiewicz and François Pottier
| Submission deadline | October 11, 2010 (Monday), 21:00 Samoa-Apia Time |
| Notification | November 8, 2010 (Monday) |
| Final versions due | November 22, 2010 (Monday) |
| Workshop | January 25, 2011 (Tuesday) |
| General Chair: |
Stephanie Weirich |
||||||||||||||||||||||
|
Program Chair: |
Derek Dreyer |
||||||||||||||||||||||
|
Program Committee: |
| ||||||||||||||||||||||
|
Steering Committee: |
|