Overview -- Program -- Tutorials -- Registration -- Local arrangements

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.

Program

Wednesday, March 25th

8:45-10:30. Session 1 (Chaired by Atsushi Ohori)

Invited talk: Intermediate Representations and Optimizations for Object-Oriented Languages
Craig Chambers (University of Washington)

Compiling Java to a Typed Lambda-Calculus: A Preliminary Report
Andrew Wright (InterTrust) and Suresh Jagannathan and Cristian Ungureanu (NEC Research Institute) and Aaron Hertzmann (New York University)

11:00-12:30. Session 2 (Chaired by Urs Hölzle)

An Approach to improve Locality using Sandwich Types
Daniela Genius, Martin Trapp, and Wolf Zimmermann (Universität 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 (Chaired by Simon Peyton-Jones)

Invited talk: An Overview of Type-directed Partial Evaluation
Olivier Danvy (BRICS, University of Aarhus)

3:30-5:00. Session 4 (Chaired by Robert Harper)

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 (Chaired by Craig Chambers)

Invited talk: Region-Based Memory Management
Mads Tofte (University of Copenhagen)

A Type-Based Semantics for User-Defined Marshalling in Polymorphic Languages
Dominic Duggan (Stevens Institute of Technology)

11:00-12:30. Session 6 (Chaired by Zhong Shao)

Stack-Based Typed Assembly Language
Greg Morrisett, Karl Crary, Neal Glew, and David Walker (Cornell University)

Formalizing Resource Allocation
Peter Thiemann (Universität Tübingen)

2:00-3:00. Session 7 (Chaired by Xavier Leroy)

Invited talk: Type-based Analysis of Concurrent Programs
Naoki Kobayashi (University of Tokyo)

3:30-5:00. Session 8 (Chaired by Satoshi Matsuoka)

Determination of Dynamic Method Dispatches Using Run-time Code Generation
Nobuhisa Fujinami (Sony Computer Science Laboratory, Tokyo)

Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code Generation
Vincent Balat (École Normale Supérieure de Cachan) and Olivier Danvy (BRICS, University of Aarhus)

Friday, March 27th

8:45-10:30. Session 9 (Chaired by Andrew Wright)

Invited talk: A Toolkit for Constructing Type-Based Program Analyses
Alex Aiken (University of California, Berkeley)

How Generic is a Generic Back-End?
Andrew Bernard, Robert Harper, and Peter Lee (Carnegie Mellon University)

11:00-12:30. Session 10 (Chaired by Yasuhiko Minamide)

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
ohori@kurims.kyoto-u.ac.jp and Xavier.Leroy@inria.fr
Last modified: Tuesday, 10-Mar-1998 10:29:39 CET