Path: news.daimi.aau.dk!news.net.uni-c.dk!howland.erols.net!news-peer.sprintlink.net!news.sprintlink.net!Sprint!newsfeed.nacamar.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: workshop Types in Compilation (Kyoto 25/3/98) - call for participation Date: 06 Feb 1998 15:38:56 +0100 Organization: INRIA Rocquencourt, projet Cristal Lines: 234 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:20747 comp.lang.lisp:40167 comp.lang.scheme:32999 comp.lang.clos:14286 comp.object:81349 comp.lang.c++:308348 comp.lang.eiffel:35377 comp.lang.modula3:19509 comp.lang.smalltalk:70832 comp.lang.beta:11373 comp.lang.misc:40591 Advance program and call for participation 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. For more information, see http://pauillac.inria.fr/TIC98/ ---------------------------------------------------------------------------- ADVANCE PROGRAM Wednesday, March 25th 8:45-10:30. Session 1 Invited talk: Intermediate Representations and Optimizations for Object-Oriented Languages Craig Chambers (University of Washington) Type theory meets the real world: A Typed Intermediate Language for Java Andrew Wright (InterTrust) and Suresh Jagannathan and Cristian Ungureanu (NEC Research Institute) and Aaron Hertzmann (New York University) 11:00-12:30. Session 2 An Approach to improve Locality using Sandwich Types Daniela Genius, Martin Trapp, and Wolf Zimmermann (Universitat Karlsruhe) Formal Description for Collecting Reachable Garbage via Dynamic Type Inference Haruo Hosoya and Akinori Yonezawa (University of Tokyo) 2:00-3:00. Session 3 Invited talk: An Overview of Type-directed Partial Evaluation Olivier Danvy (BRICS, University of Aarhus) 3:30-5:00. Session 4 Optimal Type Lifting Bratin Saha and Zhong Shao (Yale University) Polymorphic Equality - No Tags Required Martin Elsman (University of Copenhagen) ------------ Thursday, March 26th 8:45-10:30. Session 5 Invited talk: Region-Based Memory Management Mads Tofte (University of California, Berkeley) A Type-Based Semantics for User-Defined Marshalling in Polymorphic Languages Dominic Duggan (Stevens Institute of Technology) 11:00-12:30. Session 6 Stack-Based Typed Assembly Language Greg Morrisett, Karl Crary, Neal Glew, and David Walker (Cornell University) Formalizing Resource Allocation Peter Thiemann (Universitat Tubingen) 2:00-3:00. Session 7 Invited talk: Type-based Analysis of Concurrent Programs Naoki Kobayashi (University of Tokyo) 3:30-5:00. Session 8 Determination of Dynamic Method Dispatches Using Run-time Code Generation Nobuhisa Fujinami (Sony Computer Science Laboratory, Tokyo) Strong Normalization by Run-Time Code Generation Vincent Balat (Ecole Normale Superieure de Cachan) and Olivier Danvy (BRICS, University of Aarhus) ------------ Friday, March 27th 8:45-10:30. Session 9 Invited talk: to be announced How Generic is a Generic Back-End? Andrew Bernard, Robert Harper, and Peter Lee (Carnegie Mellon University) 11:00-12:30. Session 10 Optimizing ML Using a Hierarchy of Monadic Types Andrew Tolmach (Portland State University) Type-Directed Continuation Allocation Zhong Shao and Valery Trifonov (Yale University) ---------------------------------------------------------------------------- TUTORIAL The following joint JSSST tutorial will be held on Tuesday, March 24th: An introduction to compiling functional programming languages Xavier Leroy (INRIA Rocquencourt) March 24th, 1:00-4:00 The tutorial will take place at: Hotel Fujita Kyoto Kamo-Riverside, Nijo, Kyoto 604 Tel: +81 75 222-1511 Fax: +81 75 222-1515 The tutorial is sponsored by JSSST SIG Programming and supported by Oki Electric Industry Co., Ltd. Participants of TIC98 are welcome to attend. (There is no registration fee for this tutorial.) ---------------------------------------------------------------------------- REGISTRATION The workshop is open to public, and there is no registration fee. To register, simply send the following information by e-mail to ohori@kurims.kyoto-u.ac.jp with the subject "TIC98". Name: Affiliation: E-mail address: Postal address: Telephone: Fax: I will attend the joint JSSST Tutorial on 24th: yes/no I am an author and/or a committee member of TIC98: yes/no The deadline for registration is Monday, March 9th. ---------------------------------------------------------------------------- LOCAL ARRANGEMENTS Workshop location and accomodations ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ The workshop will be held at: Research Institute for Mathematical Sciences Kyoto University Kitashirakawa-Oiwakecho, Sakyo-ku, Kyoto 606-8502 JAPAN We designate the following hotel as the workshop hotel: Hotel Fujita Kyoto Kamo-Riverside, Nijo, Kyoto 604 Tel: +81 75 222-1511 Fax: +81 75 222-1515 At this hotel, a certain number of rooms will be temporarily reserved for the participants of the workshop. List of other hotels and other useful information on the city of Kyoto can be found in the Kyoto Convention Bureau Web Page at http://web.kyoto-inet.or.jp/org/hellokcb/index.html. Please book your hotel room early; Kyoto is crowded most of the time. For those participants outside of Japan requiring assistance for booking accommodations, please contact the workshop chair. Transportation ~~~~~~~~~~~~~~ The nearest international airport is Osaka/Kansai Airport. The easiest way to come to Kyoto from the airport is to take the JR (Japan Rail) express train "HARUKA". There is a JR station inside the airport. The "HARUKA" will depart every thirty minutes; it takes about 75 minutes to get to the JR Kyoto Station, and costs about 3,500 yen. For your information, ticket offices in most transportation in Japan do not accept credit cards. You can easily find a taxi in Kyoto city. Visa information ~~~~~~~~~~~~~~~~ An entry visa is not required only if all of the following three conditions are satisfied: (1) you are a citizen of a country which has a reciprocal visa exemption agreement with Japan, (2) your stay in Japan will not exceed a certain length (3 months in most cases), and (3) you will not engage in any activity for remuneration (payment of travel expenses is not considered as remuneration) in Japan. See http://www.jnto.go.jp/ for more information. If you need a entry visa to Japan, please consult with the nearest Japanese embassy or consulate, and also with the workshop chair. The visa application procedure may take time. So please act immediately if you will need a visa. Inquiries ~~~~~~~~~ For further information, please contact the workshop chair: Atsushi Ohori RIMS, Kyoto University ohori@kurims.kyoto-u.ac.jp Fax: +75 753-7272 ---------------------------------------------------------------------------- -- 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/