PEPM 2008: San Francisco, California, USA

• 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
  
• 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
  

Last update Tue Feb 14 04:09:02 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page