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=3.0 required=5.0 tests=AWL,DNS_FROM_RFC_ABUSE, DNS_FROM_RFC_POST,HTML_MESSAGE,SPF_SOFTFAIL autolearn=disabled version=3.1.3 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 67AD9BBAF for ; Thu, 30 Jul 2009 15:58:21 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjIAAD9EcUrVx4q/kWdsb2JhbACCJy6XNwEBCQsKBxMGoFKXdYQRBQ X-IronPort-AV: E=Sophos;i="4.43,295,1246831200"; d="scan'208,217";a="33832863" Received: from smtp-dub.microsoft.com ([213.199.138.191]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-MD5; 30 Jul 2009 15:58:08 +0200 Received: from dub-exhub-c302.europe.corp.microsoft.com (65.53.213.92) by DUB-EXGWY-E801.partners.extranet.microsoft.com (10.251.129.1) with Microsoft SMTP Server (TLS) id 8.2.99.4; Thu, 30 Jul 2009 14:58:07 +0100 Received: from EA-EXMSG-C332.europe.corp.microsoft.com ([169.254.2.106]) by DUB-EXHUB-C302.europe.corp.microsoft.com ([65.53.213.92]) with mapi; Thu, 30 Jul 2009 14:58:05 +0100 From: Andrew Kennedy To: "caml-list@yquem.inria.fr" Date: Thu, 30 Jul 2009 14:56:45 +0100 Subject: Call for Papers: TLDI 2010 Thread-Topic: Call for Papers: TLDI 2010 Thread-Index: AcoRHZMUJsC5WplHQkKd/8R47gMKKA== Message-ID: <8E144E0A808A2A4AA6940401CD70C574297D70D4AD@EA-EXMSG-C332.europe.corp.microsoft.com> Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: acceptlanguage: en-US Content-Type: multipart/alternative; boundary="_000_8E144E0A808A2A4AA6940401CD70C574297D70D4ADEAEXMSGC332eu_" MIME-Version: 1.0 X-Spam: no; 0.00; tldi:01 tldi:01 sigplan:01 co-located:01 popl:01 compiler:01 type-based:01 compilation:01 sigplan:01 co-located:01 popl:01 compiler:01 mobile-code:01 fully-static:01 compilation:01 --_000_8E144E0A808A2A4AA6940401CD70C574297D70D4ADEAEXMSGC332eu_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable TLDI 2010 *** First Call for Papers *** The Fifth ACM SIGPLAN Workshop on Types in Language Design and Implementation Madrid, Spain, January 23, 2010 (Co-located with POPL 2010) http://research.microsoft.com/~akenn/tldi2010/ Submission Deadline: 5 October 2009 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-based analyses and type-theoretic deductive systems have been central to advances in compilation techniques for modern programming languages, verification of safety and security properties of programs, program transformation and optimization, and many other areas. The ACM SIGPLAN Workshop on Types in Language Design and Implementation brings researchers together to share new ideas and results concerning all aspects of types and programming, and is now an annual event. TLDI 2010 is the fifth workshop in the series and will be co-located with POPL in Madrid, Spain in January 2010. Submissions for TLDI 2010 are invited on all interactions of types with language design, implementation, and programming methodology. This includes both practical applications and theoretical aspects. TLDI 2010 specifically encourages papers from a broad field of programming language and compiler researchers, including those working on object-oriented, dynamically-typed or late-bound languages, systems programming, mobile-code or security, 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 * Types and objects 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. Submission Guidelines: Authors should submit a full paper of no more than 12 pages (including bibliography and appendices) by Monday 5th October, 2009. The submission deadline and length limitations are firm. Submissions that do not meet these guidelines will not be considered. All submissions should be in standard ACM SIGPLAN conference format: two columns, nine-point font on a ten-point baseline. Detailed formatting guidelines are available on the SIGPLAN Author Information page, along with a LaTeX class file and template. Papers must be submitted electronically via the conference website in Adobe Portable Document Format (PDF) and must be formatted for US Letter size (8.5"x11") paper. Authors for whom this is a hardship should contact the program chair before the deadline. Submitted papers must adhere to the SIGPLAN Republication Policy. Submissions should contain original research not published or submitted for publication elsewhere. Important Dates: - Submission of papers: 5 October 2009 (Monday) - Notification: 6 November 2009 (Friday) - Final versions due: 15 November 2009 (Sunday) - Workshop: 23 January 2010 (Saturday) General Chair: Andrew Kennedy, Microsoft Research, UK Program Chair: Nick Benton, Microsoft Research, UK Program Committee: Gilles Barthe, IMDEA Software, Spain Viviana Bono, University of Torino, Italy Giorgio Ghelli, University of Pisa, Italy Dan Grossman, University of Washington, USA Atsushi Igarashi, Kyoto University, Japan Conor McBride, University of Strathclyde, UK Jeremy Siek, University of Colorado at Boulder, USA Zhong Shao, Yale University, USA Matthieu Sozeau, Harvard University, USA Chris Stone, Harvey Mudd College, USA Kristian St=F8vring, ITU Copenhagen, Denmark Steering Committee: Craig Chambers, University of Washington, USA Robert Harper, Carnegie Mellon University, USA (Chair) Xavier Leroy, INRIA Paris-Rocquencourt, France Greg Morrisett, Harvard University, USA George Necula, Rinera Networks and UC Berkeley, USA Atsushi Ohori, Tohoku University, Japan Francois Pottier, INRIA Paris-Rocquencourt, France Zhong Shao, Yale University, USA --_000_8E144E0A808A2A4AA6940401CD70C574297D70D4ADEAEXMSGC332eu_ Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable

=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0= =A0=A0=A0=A0=A0=A0=A0 TLDI 2010=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0= =A0=A0=A0=A0=A0=A0=A0

 

=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 *** F= irst Call for Papers ***

 

=A0=A0=A0=A0=A0 =A0=A0=A0=A0=A0=A0 The Fifth ACM SI= GPLAN Workshop on

=A0=A0=A0=A0=A0=A0=A0=A0=A0 Types in Language Desig= n and Implementation

 

=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 =A0 Madrid, Spain= , January 23, 2010

=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 =A0=A0=A0 (Co-loc= ated with POPL 2010)

 

=A0=A0=A0=A0=A0 =A0 http://research.microsoft.com/~= akenn/tldi2010/

 

=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 Submi= ssion Deadline: 5 October 2009

 

The role of types and proofs in all aspects of lang= uage design,

compiler construction, and software development has expanded greatly

in recent years. Type systems, type-based analyses = and type-theoretic

deductive systems have been central to advances in compilation

techniques for modern programming languages, verifi= cation of safety

and security properties of programs, program transformation and

optimization, and many other areas. The ACM SIGPLAN Workshop on Types

in Language Design and Implementation brings resear= chers together to

share new ideas and results concerning all aspects = of types and

programming, and is now an annual event. TLDI 2010 = is the fifth

workshop in the series and will be co-located with = POPL in Madrid,

Spain in January 2010.

 

Submissions for TLDI 2010 are invited on all intera= ctions of types

with language design, implementation, and programmi= ng

methodology. This includes both practical applicati= ons and theoretical

aspects. TLDI 2010 specifically encourages papers f= rom a broad field

of programming language and compiler researchers, including those

working on object-oriented, dynamically-typed or late-bound languages,

systems programming, mobile-code or security, as we= ll as traditional

fully-static type systems. Topics of interest inclu= de:

 

=A0=A0 * Typed intermediate languages and type-dire= cted compilation

=A0=A0 * Type-based language support for safety and= security

=A0=A0 * Types for interoperability

=A0=A0 * Type systems for system programming langua= ges

=A0=A0 * Type-based program analysis, transformatio= n, and optimization

=A0=A0 * Dependent types and type-based proof assis= tants

=A0=A0 * Types for security protocols, concurrency,= and distributed computing

=A0=A0 * Type inference and type reconstruction

=A0=A0 * Type-based specifications of data structur= es and program invariants

=A0=A0 * Type-based memory management

=A0=A0 * Proof-carrying code and certifying compila= tion

=A0=A0 * Types and objects

 

This is not meant to be an exhaustive list; papers = on novel

utilizations of type information are welcome. Autho= rs concerned about

the suitability of a topic are encouraged to inquir= e via electronic

mail to the program chair prior to submission.=

 

Submission Guidelines:

 

Authors should submit a full paper of no more than = 12 pages (including

bibliography and appendices) by Monday 5th October,= 2009. The

submission deadline and length limitations are firm= . Submissions that

do not meet these guidelines will not be considered= .

 

All submissions should be in standard ACM SIGPLAN conference format:

two columns, nine-point font on a ten-point baselin= e. Detailed

formatting guidelines are available on the SIGPLAN = Author Information

page, along with a LaTeX class file and template.

 

Papers must be submitted electronically via the conference website in

Adobe Portable Document Format (PDF) and must be formatted for US Letter

size (8.5"x11") paper. Authors for whom t= his is a hardship should contact

the program chair before the deadline.

 

Submitted papers must adhere to the SIGPLAN Republi= cation

Policy. Submissions should contain original researc= h not published or

submitted for publication elsewhere.

 

Important Dates:

 

- Submission of papers: 5 October 2009 (Monday)

- Notification:=A0=A0=A0=A0=A0=A0=A0=A0 6 November = 2009 (Friday)

- Final versions due:=A0 15 November 2009 (Sunday)<= o:p>

- Workshop:=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 23 Jan= uary 2010 (Saturday)

 

General Chair:

 

=A0 Andrew Kennedy, Microsoft Research, UK

 

Program Chair:

 

=A0 Nick Benton, Microsoft Research, UK<= /p>

 

Program Committee:

 

=A0 Gilles Barthe, IMDEA Software, Spain=

=A0 Viviana Bono, University of Torino, Italy<= /o:p>

=A0 Giorgio Ghelli, University of Pisa, Italy<= /o:p>

=A0 Dan Grossman, University of Washington, USA

=A0 Atsushi Igarashi, Kyoto University, Japan<= /o:p>

=A0 Conor McBride, University of Strathclyde, UK

=A0 Jeremy Siek, University of Colorado at Boulder,= USA

=A0 Zhong Shao, Yale University, USA

=A0 Matthieu Sozeau, Harvard University, USA

=A0 Chris Stone, Harvey Mudd College, USA

=A0 Kristian St=F8vring, ITU Copenhagen, Denmark

 

Steering Committee:

 

=A0 Craig Chambers, University of Washington, USA

=A0 Robert Harper, Carnegie Mellon University, USA = (Chair)

=A0 Xavier Leroy, INRIA Paris-Rocquencourt, France<= o:p>

=A0 Greg Morrisett, Harvard University, USA

=A0 George Necula, Rinera Networks and UC Berkeley,= USA

=A0 Atsushi Ohori, Tohoku University, Japan

=A0 Francois Pottier, INRIA Paris-Rocquencourt, Fra= nce

=A0 Zhong Shao, Yale University, USA

 

--_000_8E144E0A808A2A4AA6940401CD70C574297D70D4ADEAEXMSGC332eu_--