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

CFP: Types in Compilation Workshop

	   --- 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:

	http://www.cs.bc.edu/~muller/TIC97/
]

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 muller@cs.bc.edu 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
     email.

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

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