PEPM'03 - Call for Papers

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


      San Diego, California, Saturday June 7, 2003
               Sponsored by ACM SIGPLAN

                    CALL FOR PAPERS


Scope of the Conference. The PEPM'03 workshop will bring
together researchers working in the areas of semantics-based
program manipulation, partial evaluation, and program
generation. The workshop focuses on techniques, supporting
theory, and applications of the analysis and manipulation of
programs. The workshop will be held at the Federated
Computing Research Conference FCRC'03.

Topics of Interest. Papers are solicited on, but not limited
to, these topics:

 *  Design and processing of special-purpose languages, e.g.,
    query, command, and domain-specific

 *  Program manipulation techniques: transformation,
    specialization, normalization, reflection, rewriting,
    run-time code generation, multi-level programming.

 *  Program analysis techniques: abstract interpretation,
    static analysis, binding-time analysis, attribute grammars,
    constraints, types.

 *  Related issues in language design and models of
    computation: imperative, functional, logical,
    object-oriented, parallel, distributed, mobile, secure,

 *  Programs as data objects: staging, meta-programming,
    incremental computation, mobility, tools and techniques,
    prototyping and debugging.

 *  Applications: systems programming, scientific
    computing, algorithmics, graphics, security checking,
    simulation, compiler generation, compiler optimization,

 *  Assessment: applicability of program manipulation
    techniques to particular architectures and language
    paradigms, scalability, benchmarking, portability.

Submission Guidelines. Papers should be submitted
electronically via the workshop's Web page. Exceptionally,
submissions may be emailed to the program chair:
mal@ecs.soton.ac.uk. Acceptable formats are PostScript or
PDF, viewable by gv. Submissions should not exceed 5000
words, excluding bibliography and figures. Excessively long
submissions may be rejected outright.

Proceedings will be published by ACM Press.
A special issue of the journal Higher-Order and Symbolic
Computation is planned afterwards.

Paper Evaluation. Submitted papers will be judged on the
basis of significance, relevance, correctness, originality,
and clarity. They should include a clear identification of
what has been accomplished and why it is significant. They
must describe work that has not previously been published in
a major forum. Authors must indicate if a closely related
paper is also being considered for another conference or


Important Dates (preliminary).

*    Submission deadline: Sunday, March 16, 2003.
*    Notification: Wednesday, April 16, 2003
*    Camera Ready Deadline: Sunday, April 27, 2003


Program Committee

Annalisa Bossi , University of Venice, Italy

Matthew B. Dwyer , Kansas State University

Fritz Henglein, University of Copenhagen, Denmark

Manuel Fähndrich , Microsoft Research

Gopal Gupta, University of Texas at Dallas

Rajiv Gupta, The University of Arizona

Naoki Kobayashi, Tokyo Institute of Technology, Japan

Michael Leuschel, University of Southampton, UK

Thomas Reps, University of Wisconsin

Tim Sheard , Oregon Health & Science University

Yannis Smaragdakis, Georgia Tech

German Vidal, Technical University of Valencia, Spain

Zhe Yang , Aleri, Inc.


Program Chair

Michael Leuschel
Department of Electronics and Computer Science
University of Southampton
Southampton, SO17 1BJ, UK
E-mail: mailto:mal@ecs.soton.ac.uk