[Prev][Next][Index][Thread]

workshop Types in Compilation - call for participation

                 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

----------------------------------------------------------------------------

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

----------------------------------------------------------------------------