<div dir="ltr"><div>*********************************************************************</div><div> CALL FOR PAPERS</div><div><br></div><div> TLDI 2009 </div><div><br>
</div><div> ACM SIGPLAN Workshop on</div><div> Types in Language Design and Implementation </div><div> </div><div> 24 January 2009 </div>
<div> Savannah, Georgia, USA</div><div><br></div><div> To be held in conjunction with POPL 2009</div><div><br></div><div> <a href="http://ttic.uchicago.edu/~amal/tldi2009/">http://ttic.uchicago.edu/~amal/tldi2009/</a></div>
<div>*********************************************************************</div><div><br></div><div>IMPORTANT DATES</div><div><br></div><div>Submission: 8 Oct 2008, 5PM EDT (Wed)</div><div>Notification: 8 Nov 2008 (Sat)</div>
<div>Camera ready: 19 Nov 2008 (Wed)</div><div>TLDI'09: 24 January 2009 (Sat)</div><div><br></div><div><br></div><div><br></div><div>SCOPE</div><div><br></div><div>The role of types and proofs in all aspects of language design,</div>
<div>compiler construction, and software development has expanded greatly</div><div>in recent years. Type systems, type analyses, and formal deduction</div><div>have led to new concepts in compilation techniques for modern</div>
<div>programming languages, verification of safety and security properties</div><div>of programs, program transformation and optimization, and many other</div><div>areas. In light of this expanding role of types, the ACM SIGPLAN</div>
<div>Workshop on Types in Language Design and Implementation (TLDI'09)</div><div>follows six previous International Workshops on types in compilation</div><div>and language design (TIC'97, TIC'98, TIC'00, TLDI'03, TLDI'05, and</div>
<div>TLDI'07), with the hope of bringing together researchers to share new</div><div>ideas and results in this area.</div><div><br></div><div>Submissions for this event are invited on all interactions of types</div><div>
with language design, implementation, and programming methodology.</div><div>This includes both practical applications and theoretical aspects.</div><div>TLDI'09 specifically encourages papers from a broad field of</div>
<div>programming language and compiler researchers, including those working</div><div>in object-oriented, dynamically-typed, late-binding, systems</div><div>programming, and mobile-code paradigms, as well as traditional</div>
<div>fully-static type systems. Topics of interest include:</div><div><br></div><div>- Typed intermediate languages and type-directed compilation </div><div>- Type-based language support for safety and security </div><div>
- Types for interoperability </div><div>- Type systems for system programming languages </div><div>- Type-based program analysis, transformation, and optimization </div><div>- Dependent types and type-based proof assistants </div>
<div>- Types for security protocols, concurrency, and distributed computing </div><div>- Type inference and type reconstruction </div><div>- Type-based specifications of data structures and program invariants </div><div>- Type-based memory management</div>
<div>- Proof-carrying code and certifying compilation</div><div><br></div><div>This is not meant to be an exhaustive list; papers on novel</div><div>utilizations of type information are welcome. Authors concerned about</div>
<div>the suitability of a topic are encouraged to inquire via electronic</div><div>mail to the program chair prior to submission.</div><div><br></div><div><br></div><div><br></div><div>SUBMISSION GUIDELINES</div><div><br>
</div><div>Authors should submit a full paper of no more than 12 pages (including</div><div>bibliography and appendices) by Wednesday, October 8, 2008 5PM Eastern</div><div>Daylight Savings Time. The submission deadline and length limitations</div>
<div>are firm. Submissions that do not meet these guidelines will not be</div><div>considered.</div><div><br></div><div>All submissions should be in standard ACM SIGPLAN conference format:</div><div>two columns, nine-point font on a ten-point baseline. Detailed</div>
<div>formatting guidelines are available on the SIGPLAN Author Information</div><div>page, along with a LaTeX class file and template:</div><div><br></div><div> <a href="http://www.sigplan.org/authorInformation.htm">http://www.sigplan.org/authorInformation.htm</a></div>
<div><br></div><div>Papers must be submitted in Adobe Portable Document Format (PDF) and</div><div>must be formatted for US Letter size (8.5"x11") paper. Authors for</div><div>whom this is a hardship should contact the program chair before the</div>
<div>deadline.</div><div><br></div><div>Submitted papers must adhere to the SIGPLAN Republication Policy: </div><div><br></div><div> <a href="http://www.sigplan.org/republicationpolicy.htm">http://www.sigplan.org/republicationpolicy.htm</a></div>
<div><br></div><div>Submissions should contain original research not published or </div><div>submitted for publication elsewhere.</div><div><br></div><div>The URL for submission will be announced closer to the deadline.</div>
<div><br></div><div><br></div><div><br></div><div>GENERAL CHAIR</div><div><br></div><div>Andrew Kennedy Microsoft Research, Cambridge</div><div><br></div><div><br></div><div>PROGRAM CHAIR</div><div><br></div><div>Amal Ahmed Toyota Technological Institute, Chicago</div>
<div><br></div><div><br></div><div>PROGRAM COMMITTEE</div><div><br></div><div>Amal Ahmed Toyota Technological Institute, Chicago (Chair)</div><div>Juan Chen Microsoft Research</div><div>Peter Dybjer Chalmers University of Technology</div>
<div>Jeff Foster University of Maryland, College Park</div><div>Neal Glew Intel</div><div>Robert Harper Carnegie Mellon University</div><div>Andrew Myers Cornell University</div><div>Atsushi Ohori Tohoku University</div>
<div>Matthew Parkinson University of Cambridge</div><div>Didier Remy INRIA Paris-Rocquencourt</div><div>Andreas Rossberg Max Planck Institute for Software Systems</div><div><br></div><div><br></div><div>STEERING COMMITTEE</div>
<div><br></div><div>Craig Chambers University of Washington</div><div>Robert Harper Carnegie Mellon University (Chair)</div><div>Xavier Leroy INRIA Paris-Rocquencourt</div><div>Greg Morrisett Harvard University</div>
<div>George Necula Rinera Networks and UC Berkeley</div><div>Atsushi Ohori Tohoku University</div><div>Francois Pottier INRIA Paris-Rocquencourt</div><div>Zhong Shao Yale University</div><div><br>
</div></div>