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 BibTeX

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

Program transformation and derivation

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

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
Electronic Edition (ACM DL) BibTeX
Nik Sultana, Simon J. Thompson:
Mechanical verification of refactorings. 51-60
Electronic Edition (ACM DL) BibTeX
Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo:
A practical type analysis for verification of modular prolog programs. 61-70
Electronic Edition (ACM DL) BibTeX

Program optimization

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

Parsing

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

Program manipulation and staging

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

Partial evaluation

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

Functional programming languages

Jurriaan Hage, Stefan Holdermans:
Heap recycling for lazy languages. 189-197
Electronic Edition (ACM DL) BibTeX
Huiqing Li, Simon J. Thompson:
Tool support for refactoring functional programs. 199-203
Electronic Edition (ACM DL) BibTeX