[Call for papers] TLDI'07 (Jan 97, Nice FR)

Francois Pottier <Francois.Pottier@inria.fr>
16 Sep 2006 15:59:05 -0400

          From comp.compilers

Related articles
[Call for papers] TLDI'07 (Jan 97, Nice FR) Francois.Pottier@inria.fr (Francois Pottier) (2006-09-16)
| List of all articles for this month |

From: Francois Pottier <Francois.Pottier@inria.fr>
Newsgroups: comp.compilers
Date: 16 Sep 2006 15:59:05 -0400
Organization: I.N.R.I.A Rocquencourt
Keywords: conference, CFP
Posted-Date: 16 Sep 2006 15:59:05 EDT

Read the html version of this CFP at

The ACM SIGPLAN Workshop on Types in Language Design and Implementation

Affiliated with ACM SIGPLAN-SIGACT Symposium on Principles of
Programming Languages (POPL), 2007.


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 ACM SIGPLAN Workshop on Types in Language
Design and Implementation (TLDI'07) follows five previous International
Workshops on types in compilation and language design(TIC'97, TIC'98,
TIC'00, and TLDI'03 and TLDI'05), with the hope of bringing together
researchers to share new ideas and results in this area.

Submissions for this event are invited on all interactions of types with
language design, implementation, and programming methodology. This
includes both practical applications and theoretical aspects. TLDI'07
specifically encourages papers from a broad field of programming
language and compiler researchers, including those working in
object-oriented, dynamically-typed, late-binding, systems programming,
and mobile-code paradigms, as well as traditional fully-static type
systems. Topics of interest include:

Typed intermediate languages and type-directed compilation
Type-based language support for safety and security
Types for interoperability
Type systems for 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
Proof-carrying code and certifying compilation

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.

We solicit submissions on original research not published or submitted
for publication elsewhere. Technical summaries, in English and not to
exceed 10 pages ACM format, should be submitted via the Web submission
form by Sunday, October 1, 2006 5PM Pacific Daylight Savings Time. See
what this means in your time zone.

Web submission form: https://www.softconf.com/starts/tldi07/

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.

Important Dates
Please note: Due to the short time from submission to publication of the
proceedings, the submission deadlines given below are firm.

Sunday, October 1, 2006, 5PM PDT Deadline for submission of papers
Friday, Nov 10, 2006 Notification of acceptance
Friday, Nov 23, 2006 Camera-ready copy due
Tuesday, Jan 16, 2007 TLDI'07 in Nice, France
Jan 17-19, 2007 POPL'07 in Nice, France

Program Chair
George Necula
University of California
783 Soda Hall
Berkeley, CA 94720
Email: necula @ cs.berkeley.edu
Tel.: +1-510-643-1481
Fax: +1-510-642-3962

Program Committee

Damien Doligez, INRIA
Peter Lee, Carnegie Mellon University
Andrew Kennedy, Microsoft Research, Cambridge
Naoki Kobayashi, Tohoku University
George Necula (chair)ty of California, Berkeley
Randy Pollack, Edinburgh University
Norman Ramsey, Harvard University
David Tarditi, Microsoft Research, Redmond
Stephanie Weirich, University of Pennsylvania
Hongwei Xi, Boston University

General Chair

Francois Pottier, NRIA Rocquencourt

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.