[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[pept:51] CFP: PEPM'02



			FIRST CALL FOR PAPERS

		     2002 ACM SIGPLAN Workshop on
Partial Evaluation and Semantics-Based Program Manipulation (PEPM'02)
	      Portland, Oregon, USA, January 14-15, 2002
			 (preceding POPL'02)
	http://www.informatik.uni-freiburg.de/~thiemann/pepm02

		Submission deadline: 8 October, 2001

The PEPM'02 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.
Technical topics include, but are not limited to:


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

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

Original results that bear on these and related topics are solicited.
Papers investigating novel uses and applications of program
manipulation in the broadest sense are especially encouraged.  Authors
concerned about the appropriateness of a topic are welcome to consult
with the program chair prior to submission.

SUBMISSION INFORMATION

Papers should be submitted electronically via the workshop's Web 
page. Exceptionally, submissions may be emailed to the program
chair: <URL:mailto:thiemann@uni-freiburg.de>. 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. 

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.

Proceedings will be published with ACM Press. A special issue of the
journal "Higher-Order and Symbolic Computation"
<URL:http://www.wkap.nl/journals/lasc> is planned afterwards. 

PROGRAM COMMITTEE

Maria Alpuente      (U. Politécnica de Valencia, Spain)
Evelyn Duesterwald  (Hewlett-Packard Labs, USA)
Robert Glück        (DIKU, Denmark and Waseda University, Japan)
Michael Hanus       (Christian-Albrecht-University of Kiel, Germany)
Zhenjiang Hu        (University of Tokyo, Japan)
John Hughes         (Chalmers Technical University, Sweden)
Mark Jones          (OGI, USA)
Siau-Cheng Khoo     (NUS, Singapore)
Jakob Rehof         (Microsoft Research, USA)
João Saraiva        (University of Minho, Portugal)
Ulrik Schultz       (University of Aarhus, Denmark)
Peter Thiemann      (University of Freiburg, Germany, chair)
David Walker        (CMU, USA)