A practical and precise inference and specializer for array bound checks elimination

摘要

It is our great pleasure to welcome you to the Workshop on Partial Evaluation and Program Manipulation -- PEPM'08. This year's workshop continues its tradition of being the premier forum for presentation of research results and experience reports on leading edge issues of partial evaluation and manipulation of programs. The call for papers was based on a broad interpretation of semantics-based program manipulation and continues last year's successful effort to expand the scope of PEPM significantly beyond the traditionally covered areas of partial evaluation and specialization and include practical applications of program transformations such as refactoring tools, and practical implementation techniques such as rule-based transformation systems. The PEPM series of meetings gives researchers and practitioners a unique opportunity to share their perspectives with others interested in the various aspects of these research topics. >The call for papers attracted 74 submissions, thelargested number since the first PEPM was held at Yale University in 1991. All submissions were rigoroulsy reviewed by at least three program committee members. The program committee accepted 20 papers that cover a variety of topics, including program specialization and inversion, static analysis and aspected-oriented programming. In addition, the program includes two invited talks by Ras Bodik (University of California, Berkeley) on program synthesis by sketching and Monica Lam (Stanford University) on combining static and dynamic analysis. We hope that these proceedings will serve as a valuable reference for researchers and developers.