ACM SIGPLAN 2003 Workshop on

Partial Evaluation and Semantics Based Program Manipulation (PEPM)

In conjunction with

Programming Language Design and Implementation - PLDI'03

and FCRC'03

San Diego, California, Saturday June 7, 2003

Sponsored by ACM SIGPLAN

Programme is available !

Some Pictures of the event (thanks to Jesper Eskilson)

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, domain-specific.
  • 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, decompilation.
  • Assessment: applicability of program manipulation techniques to particular architectures and language paradigms, scalability, benchmarking, portability. techniques

Submission Guidelines. Papers should be submitted electronically by email to the program chair: Acceptable formats are PostScript or PDF, viewable by gv. Submissions should not exceed 5000 words, excluding bibliography and figures. Every submission should be accompanied by a plain ASCII message containing the title of the paper, the authors, and a short abstract.

Excessively long submissions may be rejected outright. Proceedings have been published with ACM Press (see here) and will also be published within ACM Sigplan Notices. A special issue of the journal Higher-Order and Symbolic Computation is planned afterwards (and has been approved by the journal).

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

Important Dates.

All of these dates are strict, due to the tight schedule that has to be respected to produce the ACM Press proceedings.

Program Chair

Michael Leuschel
Department of Electronics and Computer Science
University of Southampton
Southampton, SO17 1BJ, UK
Fax.: +44-2380-3045

Pogram 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, 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 , Microsoft Research