FINAL CALL FOR PAPERS TLDI'03 The ACM SIGPLAN Workshop on Types in Language Design and Implementation (Formerly called TIC, The International Workshop on Types in Compilation) http://www.cs.cmu.edu/~petel/tldi03/ January 18, 2003 New Orleans, Louisiana Co-located with POPL'03 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 recognition of this expanding role, the ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI'03) expands on the previous three International Workshops on Types in Compilation (TIC'97, TIC'98 and TIC'00), to bring together researchers to share new ideas and results in this area. This year, TLDI'03 will be sponsored by ACM SIGPLAN and colocated with POPL'03. Submissions for this event are invited on all interactions of types with language design, implementation, and programming. This includes both practical applications and theoretical aspects. TLDI'03 specifically encourages papers from a broad field of programming language and compiler researchers, including those working in object-oriented, dynamically-typed, late-binding, and mobile-code paradigms, as well as traditional fully-static type systems. Topics of interest include: - Proof-carrying code and certifying compilation - Typed intermediate languages and type-directed compilation - Type-based language support for safety and security - Types for interoperability - Type safety and security of system programming languages - Type-based program analysis, transformation, and optimization - Dependent types and type-based proof assistants - Types for security protocols, concurrency, and distributed computing - Type inference and type reconstruction - Type-based specifications of data structures and program invariants - Type-based memory management This is not meant to be an exhaustive list; papers on novel utilizations of type information are welcome. Authors concerned about the suitability of a topic are encouraged to inquire via electronic mail to the program chair prior to submission. HOW TO SUBMIT A PAPER We solicit submissions on original research not published or submitted for publication elsewhere. Technical summaries, in English and not to exceed 5000 words (approximately 10 pages), should be submitted to the program chair by FRIDAY, SEPTEMBER 27, 2002. Because of hard constraints imposed for the publication of the proceedings, this is a hard deadline. WE WILL BE UNABLE TO ACCEPT FOR REVIEW ANY LATE SUBMISSIONS. To submit a paper, authors should complete the following two steps by the submission deadline: 1) Send an e-mail message to petel@cs.cmu.edu containing the title, authors' contact information, and an abstract (not to exceed 200 words) in ASCII. 2) Send the technical summary itself. The summary should also be sent electronically to petel@cs.cmu.edu. (Persons to whom electronic submission poses a hardship may make individual arrangements with the program chair.) Adobe Portable Document Format (PDF) is strongly preferred for all submissions. Authors should be sure to use full font inclusion to ensure portability. All papers must be formatted for US Letter (8.5"x11") paper. Postscript (PS) format submissions will also be accepted, provided that they preview and print properly using Ghostscript with standard fonts. All submissions must include a return postal address and an electronic mail address. Receipt of the submissions will be acknowledged by e-mail within 2 days. The proceedings for the workshop will be published by the ACM Press. IMPORTANT DATES Please note: Due to the short time from submission to publication of the proceedings, the submission deadlines given above are firm. - 5:00 PM EDT (= 21:00 UTC), September 27, 2002 Deadline for submission of papers - Friday, Nov. 8, 2002 Notification of acceptance - Monday, Dec. 2, 2002 Camera-ready copy due - Saturday, Jan. 18, 2003 TLDI'03 in New Orleans PROGRAM CHAIR Peter Lee School of Computer Science 5000 Forbes Avenue Carnegie Mellon University Pittsburgh, Pennsylvanie 15213-3891 E-mail: petel@cs.cmu.edu Tel.: +1-412-268-3049 Fax: +1-412-268-5577 GENERAL CHAIR Zhong Shao Department of Computer Science 51 Prospect Street Yale University New Haven, Connecticut 06520-8285 E-mail: shao@cs.yale.edu Tel: +1-203-432-6828 Fax:+1-203-432-0593 PROGRAM COMMITTEE Alex Aiken, University of California, Berkeley Andrew Appel, Princeton University David F. Bacon, IBM T.J. Watson Research Center Manuel Fahndrich, Microsoft Research Matthew Flatt, University of Utah Atsushi Igarashi, Kyoto University Peter Lee, Carnegie Mellon University Xavier Leroy, INRIA Christine Paulin-Mohring, University of Paris South Scott Smith, The Johns Hopkins University Philip Wadler, Avaya Labs STEERING COMMITTEE Craig Chambers, University of Washington Robert Harper (Chair), Carnegie Mellon University Xavier Leroy, INRIA Gregory Morrisett, Cornell University Atsushi Ohori, JAIST Zhong Shao, Yale University