CFP: PEPM '94 Partial evaluation and semantics-based (Orlando 6/94) (Peter Sestoft)
Tue, 17 Aug 1993 10:01:53 GMT

          From comp.compilers

Related articles
CFP: PEPM '94 Partial evaluation and semantics-based (Orlando 6/94) (1993-08-17)
| List of all articles for this month |

From: (Peter Sestoft)
Organization: Department of Computer Science, U of Copenhagen
Date: Tue, 17 Aug 1993 10:01:53 GMT


ACM SIGPLAN Workshop on
          Partial Evaluation and Semantics-Based Program Manipulation

June 25, 1994
Orlando, Florida
(Held in conjunction with PLDI and LFP)

The theme of the workshop is partial evaluation and other techniques
for automatic analysis and transformation of programs. Such
techniques promise to assist in developing efficient and reliable
programs. Examples are: automatic specialization of general programs,
and transformation of obviously correct but inefficient programs into
more efficient programs.

Typical relevant topics are: program transformation, program
specialization, partial evaluation, mixed computation,
supercompilation, abstract interpretation, static analysis,
binding-time analysis, generalization, staging, memoization, compiler

Original results that bear upon these topics are solicited. In
particular, we encourage reports of the following three kinds:

* Experience with applications (for instance, scientific
    computing, parsing and pattern matching, semantics-directed compiler
    generation, programming environments, debugging, incremental
    computation, meta-programming, and prototyping).

* Comparison of the program manipulation techniques used for
    different types of programming languages (such as functional,
    logical, imperative, object oriented, and concurrent languages).

* Comparison of these techniques with more traditional programming
    and computer science concepts.

Send your submission by electronic mail to *both* program chairs in
the form of a Postscript file or a self-contained TeX or LaTeX file.
If this is impossible, send 4 printed copies to Peter Sestoft,
Department of Computer Science, Technical University of Denmark,
Building 344, DK-2800 Lyngby, Denmark.

Submissions must be received on or before February 7, 1994, must
include return mail and email addresses, and should be at most 10
pages long. Papers will be judged on relevance, significance,
correctness and clarity, and must include an abstract and discussion
of related work.

Accepted papers will appear in the proceedings. These will be
distributed at the workshop and will subsequently be available as a
technical report from the University of Melbourne, Australia.

The workshop will be held in conjunction with the ACM SIGPLAN '94
Conference on Programming Language Design and Implementation (PLDI
'94) and the 1994 ACM Conference on Lisp and Functional Programming
(LFP '94).

Important dates:
Submission deadline February 7, 1994
Notification of authors April 12, 1994
Camera-ready version May 23, 1994
Workshop June 25, 1994

Program committee:
Charles Consel, Oregon Graduate Institute, OR
John Gallagher, Bristol University, UK
John Hannan, Pennsylvania State University, PA
John Hughes, Chalmers, Gothenburg, Sweden
Neil D. Jones, DIKU, Denmark
Patrick O'Keefe, Boston, MA
Sergei Romanenko, Academy of Sciences, Russia
Erik Ruf, Microsoft Research Laboratory, WA
Pascal Van Hentenryck, Brown University, RI
Wei-Ngan Chin, National University of Singapore

Program chairs:
Peter Sestoft ( Harald Sondergaard (
Technical University of Denmark University of Melbourne, Australia

Peter Sestoft * * Department of Computer Science
Technical University of Denmark, Building 344 DK-2800 Lyngby, Denmark
Tel: +45 45 93 33 32 * Direct: +45 45 93 12 22/3749 * Fax: +45 42 88 45 30

Post a followup to this message

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