Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation

Abstract

The PEPM'02 workshop is bringing together researchers working in the areas of semantics-based program manipulation and partial evaluation. 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: program transformation, program specialization, type specialization, syntax-directed partial evaluation, type-directed partial evaluation, normalization, continuations, re ection, rewriting, run-time code generation. Program analysis techniques: abstract interpretation, static analysis, binding-time analysis, attribute grammars, con-straints. 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, pro-totyping 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 were solicited.PEPM'02 is taking place on January 14th and 15th, 2002, preceding POPL 2002. It consists of 11 contributed papers, as well as invited talks delivered by Craig Chambers and Paul Hovland. These proceedings were distributed at the workshop and are published in an issue of SIGPLAN Notices. The 11 papers were selected from among 22 submissions. These submissions came from all over the world: Australia, China, Denmark, France, Germany, Italy, Japan, Korea, the Netherlands, Portugal, Singapore, Spain, USA, and UK, all from academia. The papers were selected based on 78 reviews (3.5 per submission), during a week-long electronic PC meeting. Notifications included the reviews, and, in some cases, a summary of the PC meeting discussion.