CFP: Types in Compilation Workshop (TIC '97)

Robert Harper <>
7 Dec 1996 23:09:36 -0500

          From comp.compilers

Related articles
CFP: Types in Compilation Workshop (TIC '97) (Robert Harper) (1996-12-07)
| List of all articles for this month |

From: Robert Harper <>
Newsgroups: comp.compilers
Date: 7 Dec 1996 23:09:36 -0500
Organization: Carnegie Mellon University
Keywords: conference, types, CFP

--- ACM SIGPLAN Workshop Announcement ---

Types in Compilation (TIC97)

Held in conjunction with ICFP97
Amsterdam, The Netherlands
June 8, 1997

[The following workshop announcement is available on the web at:

Workshop Description

Recent advances in type theory have led to a number of new
applications of types during the compilation process. Type
information has been found to be useful for compiler verification,
for program analysis and transformation, for optimizing dynamic
method dispatch in object-oriented languages, for code generation,
for debugging of the compiler and a number of other applications.
Several state-of-the-art compilers maintain an explicitly-typed
representation of the source program through the later stages of
compilation. Some compilers emit type information into the object
file to facilitate later verification of the object code.

The workshop on Types in Compilation is a one day meeting that will
cover both theoretical aspects and practical applications of type
systems in compilation.

Invited Lecture

Mitchell Wand, Northeastern University


Submission of Technical Summaries

Authors are encouraged to submit technical summaries of no more
than 8 pages. The summaries may describe work-in-progress or
work already submitted elsewhere for publication. Topics of
interest include: types and compiler verification, type inference
algorithms, typed intermediate languages, type-based analysis,
typed flow analysis, type-directed optimization and transformation,
typed closure conversion, deforestation, type-directed optimization
in object-oriented programming languages, Java byte-code verification,
type-directed code generation, representation types, compilation of
polymorphism, type specialization, types and abstract interpretation,
strictness types, types and memory management, effect systems,
separate compilation.

To submit a technical summary, authors should complete the following
two steps by the submission deadline:

    1. Send an e-mail message to 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 as a platform-independent PostScript file
          or via post; in the latter case, please send six (6) hard copies
          of the paper to:

Robert Muller
Computer Science Department
Boston College
Chestnut Hill, MA 02167

          Authors are strongly encouraged to submit their summaries via

Important Dates

- January 10, 1997, Submission deadline.
- March 1, 1997, Program announcement.
- May 1, 1997, Deadline for final versions of extended abstracts.
- June 8, 1997, Workshop.


Workshop Organizers

    - Robert Harper, Carnegie Mellon University
    - Robert Muller, Boston College

Program Committee

    - Luca Cardelli, Digital Equipment Corporation
    - Xavier Leroy, INRIA Rocquencourt
    - Greg Morrisett, Cornell University
    - Joe Wells, Boston University



Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.