CFP: PEPM '94 Partial evaluation and semantics-based (Orlando 6/94)

CALL FOR PAPERS --- PEPM'94


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


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 (sestoft@id.dth.dk) Harald Sondergaard (harald@cs.mu.oz.au)
Technical University of Denmark University of Melbourne, Australia


--
Peter Sestoft * sestoft@id.dth.dk * 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
--

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