From: Xavier Leroy
Subject: CFP: 2nd Intl Workshop on Types in Compilation, March 25-27, 1998
Date:
Message-ID: <lyzd8ot69jf.fsf@cadet.inria.fr>
First 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
http://pauillac.inria.fr/TIC98/
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. The 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:
Atsushi Ohori
Research Institute for Mathematical Sciences
Kyoto University
Sakyo-ku, Kyoto, 606-01, JAPAN
E-mail: ·····@kurims.kyoto-u.ac.jp
Program chair:
Xavier Leroy
INRIA Rocquencourt
Domaine de Voluceau, B.P. 105
78153 Le Chesnay, FRANCE
E-mail: ············@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 ·····@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 ·····@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, 1997. Full versions of the accepted papers must
be received by Monday, March 9, 1997. Copies of the papers
will be distributed at the workshop; formal proceedings will be later
published by Springer-Verlag in the LNCS series.
--
Valid e-mail address (without the underscores): ············@i_n_r_i_a.f_r
This is a protection against junk mail. Apologies for the inconvenience.
Home page: http://pauillac.inria.fr/~xleroy/