Types in Compilation (TIC'98)

Types (in the broadest sense of the word) 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" workshops bring together researchers to share new ideas and results in this area.

The next workshop, TIC'98, is a three-day meeting that will take place on March 25-27, 1998, at Kyoto University. Formal proceedings will be published in Springer-Verlag "Lecture Notes in Computer Science" series. Limited funding will be available to help cover the participant's travel expenses; authors of accepted papers are likely to be supported.

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'98 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:

• 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 languages.
• Flow analysis for reconstructing type information, e.g. control-flow analyses, set-based analyses, soft typing, etc.
• 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, Java-style safe bytecodes, etc.
• Interactions between types and run-time systems, e.g. garbage collectors.
• Compile-time and run-time representations of type information.
• Type-directed partial evaluation; type-based multi-level languages.

This is in no way an exhaustive list; papers on novel utilizations of type information are welcomed. Authors concerned about the appropriateness of a topic may communicate by electronic mail with the program chair prior to submission.

Workshop chair:

Program chair:

Organizing committee:

Program committee:

Important dates:

Submission procedure:

1. Send an e-mail message to tic98@pauillac.inria.fr containing the title, authors' contact information, and an abstract (not to exceed 200 words) in ASCII.

2. Send the technical summary itself. The summary may be sent either electronically to tic98@pauillac.inria.fr or via post. In the latter case, please send eight (8) hard copies of the paper to the program chair (address above).

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.

Notification of the acceptance or rejection of papers will be given by Monday, February 2, 1998. Full versions of the accepted papers must be received by Monday, March 9, 1998. Copies of the papers will be distributed at the workshop. Formal proceedings will be published by Springer-Verlag in the LNCS series.