PEPM 2008: San Francisco, California, USA

Robert Glück, Oege de Moor (Eds.): Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2008, San Francisco, California, USA, January 7-8, 2008. ACM 2008, ISBN 978-1-59593-977-7

Rastislav Bodík:
Software synthesis with sketching. 1-2
Monica S. Lam, Michael Martin, V. Benjamin Livshits, John Whaley:
Securing web applications with static and dynamic information flow tracking. 3-12

Program transformation and derivation

Janis Voigtländer:
Proving correctness via free theorems: the case of the destroy/build-rule. 13-20
Torben Æ. Mogensen:
Semi-inversion of functional parameters. 21-29
Shin-Cheng Mu:
Maximum segment sum is back: deriving algorithms for two segment problems with bounded lengths. 31-39

Verification and synthesis

Jennifer Gillenwater, Gregory Malecha, Cherif Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, John O'Leary:
Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability. 41-50
Nik Sultana, Simon J. Thompson:
Mechanical verification of refactorings. 51-60
Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo:
A practical type analysis for verification of modular prolog programs. 61-70

Program optimization

Stephen A. Edwards, Jia Zeng:
Static elaboration of recursion for concurrent software. 71-80
Jakob Puchinger, Peter J. Stuckey:
Automating branch-and-bound for dynamic programs. 81-89
Ando Saabas, Tarmo Uustalu:
Proof optimization for partial redundancy elimination. 91-101

Parsing

Alessandro Warth, James R. Douglass, Todd D. Millstein:
Packrat parsers can support left recursion. 103-110
Nic Volanschi, Christian Rinderknecht:
Unparsed patterns: easy user-extensibility of program manipulation tools. 111-121
Jan Jancura, Daniel Prusa:
Generic framework for integration of programming languages into netbeans ide. 123-124

Program manipulation and staging

Isabella Mastroeni, Damiano Zanardini:
Data dependencies and program slicing: from syntax to abstract semantics. 125-134
Simplice Djoko Djoko, Rémi Douence, Pascal Fradet:
Aspects preserving properties. 135-145
Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan:
Closing the stage: from staged code to typed closures. 147-157

Partial evaluation

Ping Zhu, Siau-Cheng Khoo:
Specialization for applications using shared libraries. 159-168
Boris Feigin, Alan Mycroft:
Jones optimality and hardware virtualization: a report on work in progress. 169-175
Corneliu Popeea, Dana N. Xu, Wei-Ngan Chin:
A practical and precise inference and specializer for array bound checks elimination. 177-187

Functional programming languages

Jurriaan Hage, Stefan Holdermans:
Heap recycling for lazy languages. 189-197
Huiqing Li, Simon J. Thompson:
Tool support for refactoring functional programs. 199-203