Intro -- Topics -- Organizers -- Dates -- Submission

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

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 Muller, Boston College
Robert Harper, Carnegie-Mellon University 
Atsushi Ohori, Kyoto University
Xavier Leroy, INRIA Rocquencourt
Simon Peyton-Jones, Glasgow University

Program committee:

Craig Chambers, University of Washington
Simon Peyton-Jones, Glasgow University
Urs Hölzle, University of California, Santa Barbara 
Zhong Shao, Yale University
Satoshi Matsuoka, Tokyo Institute of Technology
Andrew Wright, InterTrust STAR Lab
Yasuhiko Minamide, Kyoto University

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.
Last modified: Tuesday, 27-Jan-1998 11:57:27 CET