call for papers: Types in Compilation '98

                           Call for Papers

                 The Second International Workshop on

                    Types in Compilation (TIC 98)

"Advanced Compilation Techniques for Functional and Object-Oriented Languages"

                          March 25-27, 1998
                             Kyoto, Japan

                   Sponsored by RIMS, Kyoto University
          In cooperation with ACM SIGPLAN and JSSST SIG Programming


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

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
      - 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
      - Type-directed partial evaluation; type-based multi-level

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:
        Atsushi Ohori
        Research Institute for Mathematical Sciences
        Kyoto University
        Sakyo-ku, Kyoto, 606-01, JAPAN
        E-mail: ohori@kurims.kyoto-u.ac.jp

Program chair:
        Xavier Leroy
        INRIA Rocquencourt
        Domaine de Voluceau, B.P. 105
        78153 Le Chesnay, FRANCE
        E-mail: Xavier.Leroy@inria.fr
        Fax: + 33 - 1 - 39 63 56 84

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

Program committee:
        Craig Chambers, University of Washington
        Urs Hoelzle, University of California, Santa Barbara
        Satoshi Matsuoka, Tokyo Institute of Technology
        Yasuhiko Minamide, Kyoto University
        Simon Peyton-Jones, Glasgow University
        Zhong Shao, Yale University
        Andrew Wright, NEC Research Institute

Important dates:
        Submission deadline             December 8, 1997
        Notification of acceptance      February 2, 1998
        Final paper due                 March 9, 1998
        Workshop                        March 25-27, 1998

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, December 8, 1997.  To submit, authors
should complete the following two steps by the submission deadline:

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).

Authors are strongly encouraged to submit their summaries via e-mail.
E-mail submissions must be in Postscript form. The Postscript code must
be interpretable by Ghostscript, use standard fonts (or include the
necessary fonts), and print correctly both on US letter (8.5"x11") and
A4 page sizes.

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.