************************************************************************* * Call for Participation * * * * TLDI'05: Types in Language Design and Implementation * * * * In conjunction with the * * ACM Symposium on Principles of Programming Languages (POPL) 10 * * January 2005 * * Long Beach, CA * * http://www.eecs.harvard.edu/~greg/tldi05 * ************************************************************************* 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. This year the workshop will be January 10th, preceding POPL'05. The workshop will be held at the Hyatt Regency in Long Beach, CA. For registration and other details, please see the POPL'05 web page: http://www.cs.princeton.edu/~dpw/popl/05/ Program: -------------------------------------------------------------- Invited Talk: Evolution of a Safe Type System for C Trevor Jim, AT&T Laboratories The Open Verifier Framework for Foundational Verifiers Bor-Yuh Chang, Adam Chlipala, George Necula, Robert Schneck An Open and Shut Typecase Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich Types for Describing Coordinated Data Structures Michael Ringenburg, Dan Grossman Decideable Subclassing-Bounded Quantification Juan Chen Type Inference for Atomicity Cormac Flanagan, Stephen Freund, Marina Lifshin Grammar-Based Analysis of String Expressions Peter Thiemann Nonlocal Type Inference Adam Chlipala, Leaf Petersen, Robert Harper Automated and Certified Conformance to Responsiveness Policies Joseph Vanderwaart, Karl Crary Type-Based Verification of Assembly Language for Compiler Debugging Bor-Yuh Chang, Adam Chlipala, George Necula, Rober Schneck Non-Interfaerence for a JVM-like Language Gilles Barthe, Tamara Rezk -------------------------------------------------------------- Program chair: Manuel Fähndrich, Microsoft Research Program committee: * Karl Crary (Carnegie Mellon University) * Dominic Duggan (Stevens Institute of Technology) * Cormac Flanagan (University of California at Santa Cruz) * Todd Millstein (University of California at Los Angeles) * Yasuhiko Minamide (University of Tsukuba) * Francois Pottier (INRIA Rocquencourt) * Peter Sewell (Cambridge University) * Carsten Schuermann (Yale University) * David Walker (Princeton University) General chair: Greg Morrisett, Harvard University