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 C. 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
- 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
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
- Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan: Closing the stage: from staged code to typed closures. 147-157
Partial evaluation
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team