Workshop on Principles of Abstract Machines
in conjunction with the
Joint International Symposia SAS'98 and PLILP/ALP'98 (14-18.9)
Pisa, Italy
19. September 1998
(http://www.di.unipi.it/di/groups/lp/spa98)
Workshop Program
Recently the topic of abstract machines has got a new boost
by the success of the Java Virtual Machine. For many years
abstract machines have been designed for different sorts of
languages including imperative, object-oriented, eager
functional, lazy functional, constraint and logic languages,
as well as hybrid languages.
The goal of this workshop is to bring together researchers
and developers working on different language paradigms. We are
especially looking for papers which investigate principles
underlying several abstract machines, analyse the relation
of language semantics and abstract machines or discuss
implementation alternatives. Topics of interest include,
but are not restricted to:
- relation to programming language semantics
- relation to program analyses (or non-standard semantics)
- comparison of implementation techniques
- just-in-time compilation
- garbage collection
- internet programming (e.g. security, fault-tolerance)
- analyses of abstract machine programs
- compiling other languages to JVM
- hybrid languages
- concurrency
Important Dates
- Submission Deadline: Friday June 19
- Notification: Friday July 24
- Final version: Friday August 14
Submission
The submission deadline is June 19. Papers will be reviewed by the program committee. Papers must describe original, previously unpublished
work, and must not be simultaneously submitted for publication elsewhere. They must be written
in English, must not exceed 10 pages (Springer LNCS format, excluding references and figures),
and must contain a cover page containing the following: a 200-word abstract, keywords, postal
and electronic mailing addresses, and phone and fax numbers of one of the authors. Submission is
electronic (up to exceptions) via e-mail to diehl@cs.uni-sb.de. The proceedings will be
published as technical reports of the CS department of Universität des Saarlandes
and we plan to publish selected papers with an established publisher.
Organizers
Stephan Diehl (Saarbrücken, Germany) diehl@cs.uni-sb.de
Peter Sestoft (Copenhagen, Denmark) sestoft@dina.kvl.dk
Program Committee
- Michael Franz (Irvine, California)
- Michael Hanus (Aachen, Germany)
- Pieter Hartel (Southampton, UK)
- Peter van Roy (Louvain-la-Neuve, Belgium)