CFP: workshop Types in Compilation '98

Xavier Leroy <>
30 Sep 1997 16:29:49 -0400

          From comp.compilers

Related articles
CFP: workshop Types in Compilation '98 (Xavier Leroy) (1997-09-30)
| List of all articles for this month |

From: Xavier Leroy <>
Newsgroups: comp.compilers
Date: 30 Sep 1997 16:29:49 -0400
Organization: INRIA Rocquencourt, projet Cristal
Keywords: CFP, conference, functional, OOP

                                                      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

Program chair:
                Xavier Leroy
                INRIA Rocquencourt
                Domaine de Voluceau, B.P. 105
                78153 Le Chesnay, FRANCE
                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 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 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.

Post a followup to this message

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