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

CFP Workshop on Types in Compilation (TIC97)


[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]


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

---------------------------------------------------------------------
September 23, 1996. R. Muller