The ASIA-PEPM'02 symposium will bring together researchers working in the areas of semantics-based program manipulation, partial evaluation, and program analysis. The symposium focuses on techniques, supporting theory, and applications for 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, type-based analysis.

* Related issues in language design and models of computation: imperative, functional,
   logical, constraint-based, object-oriented, parallel, concurrent, secure, domain-specific.

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

* Applications: systems programming, scientific computing, embedded
  systems, graphics, security, model checking, compiler
  generation, compiler optimization, decompilation.

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