CALL FOR PAPERS
ACM SIGPLAN Symposium on
Partial Evaluation and Semantics Based Program Manipulation
June 17-19, 1991
Yale University, New Haven, Connecticut, USA
New advances in Partial Evaluation make it desirable to bring together
researchers in this area. Thus we are organizing this symposium to
lead to new syntheses and to continue the momentum of this rapidly
evolving field.
The goal of the symposium is to investigate the principles and
applications of manipulating programs based on their semantics. More
specifically, the symposium will emphasize four main themes:
Fundamentals:
semantic foundations, program transformation,
program and data specialization, multi-level semantics,
self-application, mixed computation, supercompilation.
Techniques:
static analyses, binding time analysis, polyvariant specialization,
driving, unfolding, generalization,
staging, memoization, retyping, combinators.
Applications:
scientific computing,
pattern matching (string, tree, matrix, stream, etc.),
semantics directed compiler generation,
theorem proving, partial deduction and learning,
programming environments, algorithm debugging, incrementalcomputation,
computational reflection, meta-programming, prototyping.
Programming language issues -- languages for manipulated programs:
functional (eager or lazy), logic, object oriented, imperative,
term rewriting, parallel, dataflow, constraint programming, visual.
Original results in these areas, or that bear upon these topics are
solicited. New work that relates partial evaluation to other areas of
Computer Science is encouraged.
Authors should submit 7 copies of a complete paper to Paul Hudak,
Department of Computer Science, Yale University, 51 Prospect Street,
New Haven, CT 06520, USA, before December 3, 1990, together with a
return mailing address and if possible an electronic mail address.
Participants from countries where copying is difficult can send just
one copy. Authors from countries reachable by e-mail may
alternatively send their submission to ····@cs.yale.edu, exclusively
using the Unix command tarmail. Accepted formats are DVI and
PostScript but revisions to Email submissions will be treated as
withdrawals. Submissions should be typed double spaced or typeset
10-point on 16-point spacing. They should include an abstract and a
very clear relation with related works. Papers will be judged on
relevance, significance, correctness and clarity. Simultaneous
submissions to other conferences will not be accepted.
Authors will be notified of acceptance or rejection by January 31,
1991. Final version of accepted papers must be received in
camera-ready form by April 2, 1991. Authors of accepted papers will
be expected to sign a copyright release form. Proceedings will be
distributed at the conference and they will subsequently be available
from ACM as a special issue of SIGPLAN notices.
General chair: Charles Consel, ······@cs.yale.edu (USA)
Olivier Danvy, ·····@cis.ksu.edu (USA)
Local arrangements: Benjamin Goldberg (USA)
Registration chair: Linda Joyce (USA)
Treasurer: Linda Joyce (USA)
Publicity: USA: Olivier Danvy, coordinator
Department of Computing and Information Sciences
Kansas State University
Manhattan, KS 66506, USA
USSR: Mikhail Bulyonkov (USSR)
Europe: Peter Sestoft (Denmark)
Japan: Yoshihiko Futamura (Japan)
Program chair: Paul Hudak, ·····@cs.yale.edu (USA)
Neil Jones, ····@diku.dk (Denmark)
Program committee: Mikhail Bulyonkov (USSR)
Charles Consel (USA)
Olivier Danvy (USA)
Yoshihiko Futamura (Japan)
John Gallagher (UK)
Anders Haraldsson (Sweden)
Kenneth Kahn (USA)
Jan Komorowski (Finland)
John Launchbury (UK)
Torben Mogensen (Denmark)
David Schmidt (USA)
Valentin Turchin (USA)
Richard Waldinger (USA)