Path: news.daimi.aau.dk!news.uni-c.dk!uninett.no!nntp.uio.no!news.maxwell.syr.edu!howland.erols.net!news.apfel.de!univ-lyon1.fr!jussieu.fr!univ-angers.fr!univ-rennes1.fr!irisa.fr!news-rocq.inria.fr!usenet From: Xavier Leroy Newsgroups: comp.lang.functional,comp.lang.lisp,comp.lang.scheme,comp.lang.clos,comp.object,comp.lang.c++,comp.lang.java.misc,comp.lang.eiffel,comp.lang.modula3,comp.lang.smalltalk,comp.lang.beta,comp.lang.misc Subject: CFP: 2nd Intl Workshop on Types in Compilation, March 25-27, 1998 Date: 08 Jul 1997 13:57:40 +0200 Organization: INRIA Rocquencourt, projet Cristal Lines: 144 Sender: xleroy@cadet.inria.fr Message-ID: NNTP-Posting-Host: cadet.inria.fr Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Newsreader: Gnus v5.3/Emacs 19.34 Xref: news.daimi.aau.dk comp.lang.functional:19891 comp.lang.lisp:36869 comp.lang.scheme:31169 comp.lang.clos:14085 comp.object:74071 comp.lang.c++:271965 comp.lang.eiffel:31799 comp.lang.modula3:18571 comp.lang.smalltalk:63220 comp.lang.beta:11189 comp.lang.misc:38577 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: 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, 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): Xavier.Leroy@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/