From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.5 required=5.0 tests=SPF_SOFTFAIL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 0A15BBBBB for ; Fri, 15 Sep 2006 01:05:15 +0200 (CEST) Received: from fontus.eecs.berkeley.edu (fontus.EECS.Berkeley.EDU [128.32.48.141]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id k8EN5DZE001612 for ; Fri, 15 Sep 2006 01:05:14 +0200 X-MimeOLE: Produced By Microsoft Exchange V6.5.7226.0 Content-class: urn:content-classes:message MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable Subject: Types in Language Design and Implementation 2007 - Call for Papers Date: Thu, 14 Sep 2006 16:05:07 -0700 Message-ID: X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: Types in Language Design and Implementation 2007 - Call for Papers Thread-Index: AcbYUjjOnVPTIws9QY+jkM0edgcKzw== From: "George Necula" To: , , , , X-Miltered: at discorde with ID 4509E029.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; necula:01 necula:01 cfp:01 tldi:01 cfp:01 sigplan:01 popl:01 compiler:01 compilation:01 sigplan:01 compilation:01 compiler:01 late-binding:01 mobile-code:01 fully-static:01 Read the html version of this CFP at http://www.cs.berkeley.edu/~necula/tldi07/cfp.html The ACM SIGPLAN Workshop on Types in Language Design and Implementation=20 Affiliated with ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 2007.=20 =20 =20 Scope 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.=20 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=20 Type-based language support for safety and security=20 Types for interoperability=20 Type systems for system programming languages=20 Type-based program analysis, transformation, and optimization=20 Dependent types and type-based proof assistants=20 Types for security protocols, concurrency, and distributed computing=20 Type inference and type reconstruction=20 Type based specifications of data structures and program invariants=20 Type-based memory management=20 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.=20 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.=20 Web submission form: https://www.softconf.com/starts/tldi07/=20 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.=20 Important Dates Please note: Due to the short time from submission to publication of the proceedings, the submission deadlines given below are firm.=20 =20 =20 Sunday, October 1, 2006, 5PM PDT Deadline for submission of papers=20 Friday, Nov 10, 2006 Notification of acceptance=20 Friday, Nov 23, 2006 Camera-ready copy due=20 Tuesday, Jan 16, 2007 TLDI'07 in Nice, France=20 Jan 17-19, 2007 POPL'07 in Nice, France=20 =20 =20 =20 Program Chair=20 George Necula=20 University of California=20 783 Soda Hall Berkeley, CA 94720=20 Email: necula @ cs.berkeley.edu Tel.: +1-510-643-1481 Fax: +1-510-642-3962 Program Committee=20 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 =20 General Chair Francois Pottier, NRIA Rocquencourt =20 =20