PEPM 2012: Philadelphia, Pennsylvania, USA

Keynote address 1

• Markus Püschel:
  Compiling math to fast code. 1-2
  

Keynote address 2

• Martin Berger:
  Specification and verification of meta-programs. 3-4
  

Session 1

• Kazutaka Matsuda, Kazuhiro Inaba, Keisuke Nakano:
  Polynomial-time inverse computation for accumulative functions with multiple data traversals. 5-14
  
• Geoffrey William Hamilton, Neil D. Jones:
  Distillation with labelled transition systems. 15-24
  
• Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez:
  Incremental resource usage analysis. 25-34
  

Session 2

• Edvard K. Karlsen, Einar W. Høst, Bjarte M. Østvold:
  Finding and fixing Java naming bugs with the lancelot eclipse plugin. 35-38
  
• Janis Voigtländer:
  Ideas for connecting inductive program synthesis and bidirectionalization. 39-42
  
• Susumu Katayama:
  An analytical inductive functional programming system that avoids unintended programs. 43-52
  
• Michael Gorbovitski, Yanhong A. Liu, Scott D. Stoller, Tom Rothamel:
  Composing transformations for instrumentation and optimization. 53-62
  

Session 3

• Roberto Giacobazzi, Neil D. Jones, Isabella Mastroeni:
  Obfuscation by partial evaluation of distorted interpreters. 63-72
  
• Vlad Ureche, Tiark Rompf, Arvind K. Sujeeth, Hassan Chafi, Martin Odersky:
  StagedSAC: a case study in performance-oriented DSL development. 73-82
  
• Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá:
  Well-typed narrowing with extra variables in functional-logic programming. 83-92
  

Session 4

• Jacques Carette, Aaron Stump:
  Towards typing for small-step direct reflection. 93-96
  
• Markus Degen, Peter Thiemann, Stefan Wehr:
  The interaction of contracts and laziness. 97-106
  
• Dana N. Xu:
  Hybrid contract checking via symbolic simplification. 107-116
  

Session 5

• Adriaan Moors, Tiark Rompf, Philipp Haller, Martin Odersky:
  Scala-virtualized. 117-120
  
• Naoki Kobayashi, Kazutaka Matsuda, Ayumi Shinohara:
  Functional programs as compressed data. 121-130
  
• Takumi Goto, Isao Sasano:
  An approach to completing variable names for implicitly typed functional languages. 131-140
  
• Martin Hirzel, Bugra Gedik:
  Streams that compose using macros that oblige. 141-150
  

Session 6

• Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla:
  COSTABS: a cost and termination analyzer for ABS. 151-154
  
• Surinder Kumar Jain, Chenyi Zhang, Bernhard Scholz:
  Translating flowcharts to non-deterministic languages. 155-162
  

Last update Sun May 19 23:26:01 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page