[Prev][Next][Index][Thread]
PEPM'03 - Call for Papers
-----------------------------------------------------------
ACM SIGPLAN 2003 Workshop on
Partial Evaluation and Semantics Based Program Manipulation
PEPM'03
San Diego, California, Saturday June 7, 2003
Sponsored by ACM SIGPLAN
-----------------------------------------------------------
CALL FOR PAPERS
http://www.ecs.soton.ac.uk/~mal/PEPM03/
-----------------------------------------------------------
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 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
journal.
----------------------------------------------------------
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
----------------------------------------------------------