First CFP: Types in Compilation 2000

Robert Harper <>
23 Feb 2000 14:11:48 -0500

          From comp.compilers

Related articles
First CFP: Types in Compilation 2000 (Robert Harper) (2000-02-23)
| List of all articles for this month |

From: Robert Harper <>
Newsgroups: comp.compilers
Date: 23 Feb 2000 14:11:48 -0500
Organization: Carnegie Mellon University
Keywords: CFP, conference, types

                              CALL FOR PAPERS

      The Third International Workshop on

          Types in Compilation (TIC 2000)

            Montreal, Canada

                  Co-located with PLI 2000

Types play a central role in many of the advanced compilation
techniques developed for modern programming languages. Standard or
non-standard type systems and type analyses have been found to be
useful for optimizing dynamic method dispatch in object-oriented
languages, for reducing run-time tests in dynamically-typed languages,
for guiding data representations and code generation, for program
analysis and transformation, for compiler verification and debugging,
and for establishing safety properties of distributed or mobile code.
The Types in Compilation (TIC) workshops bring together researchers to
share new ideas and results in this area. The next workshop, TIC
2000, will take place as part of the colloquium on Principles, Logics,
and Implementations of high-level programming languages (PLI 2000).

Submissions for this event are invited on all areas of interaction
between advanced compilation techniques and type systems or type
analyses, including both practical applications and theoretical
aspects. TIC 2000 specifically encourages papers from a broad field
of programming language researchers, including object-oriented,
dynamically-typed, late-binding, and mobile-code paradigms, as well as
traditional fully-static type system. Topics of interest include:

            - Type-directed compilation and typed intermediate languages.
            - Analysis and transformations for efficient implementation of
                parametric and subtype polymorphism.
            - Compiling and optimizing dynamic dispatch and related issues
                in object-oriented languages.
            - Elimination of run-time type tests in dynamically-typed
            - Flow analysis for reconstructing type information, including
                control-flow analyses, set-based analyses, and soft typing.
            - Type-based data representation analysis.
            - Type-based interoperability between languages.
            - Types and the correctness of program transformations.
            - Type-safe, mobile intermediate representations such as
                proof-carrying code or Java-style safe bytecodes.
            - Interactions between types and run-time systems such as
                garbage collectors.
            - Compile-time and run-time representations of type
            - Type-directed partial evaluation; type-based multi-level

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.

Workshop chair:
                Karl Crary
                Computer Science Department
                Carnegie Mellon University
                5000 Forbes Avenue
                Pittsburgh, PA 15213

Program chair:
                Robert Harper
                Computer Science Department
                Carnegie Mellon University
                5000 Forbes Avenue
                Pittsburgh, PA 15213

Program committee:
  Dominic Duggan, Stevens Institute of Technology
  Robert Harper (chair), Carnegie Mellon University
  Trevor Jim, AT&T
  Andrew Kennedy, Microsoft Corporation
  Atsushi Ohori, Kyoto University
  Franklyn Turbak, Wellesley College

Organizing committee:
                Craig Chambers, University of Washington
                Robert Harper, Carnegie Mellon University
                Xavier Leroy, INRIA Rocquencourt
                Robert Muller, Boston College
                Atsushi Ohori, Kyoto University
                Simon Peyton Jones, Glasgow University

Important dates:
                Submission deadline June 1, 2000
                Notification of acceptance August 15, 2000
                Workshop September 21, 2000

Submission procedure:

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 Monday, June 1, 2000. To submit, authors
should complete the following two steps by the submission deadline:

1. Send an e-mail message to 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 be sent
      electronically to (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 ensure that 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.

A post-workshop refereed proceedings is anticipated. Further details
will be available once arrangements have been made with the publisher.

Post a followup to this message

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