PEPM 2010: Madrid, Spain

• Lennart Augustsson:
  O, partial evaluator, where art thou? 1-2
  
• Jeremy G. Siek:
  General purpose languages should be metalanguages. 3-4
  

Session 1: Java/Scala types

• Nabil El Boustani, Jurriaan Hage:
  Corrective hints for type incorrect generic Java programs. 5-14
  
• Johannes Rudolph, Peter Thiemann:
  Mnemonics: type-safe bytecode generation at run time. 15-24
  

Session 2: tools 1

• Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla:
  PET: a partial evaluation-based test case generation tool for Java bytecode. 25-28
  
• Martin Hofmann:
  IGOR2 - an analytical inductive functional programming system: tool demo. 29-32
  

Session 3: program transformation

• José Pedro Magalhães, Stefan Holdermans, Johan Jeuring, Andres Löh:
  Optimizing generics is easy! 33-42
  
• María Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi:
  A fold/unfold transformation framework for rewrite theories extended to CCT. 43-52
  

Session 4: termination

• Hugh Anderson, Siau-Cheng Khoo:
  Regular approximation and bounded domains for size-change termination. 53-62
  
• Evelyne Contejean, Andrey Paskevich, Xavier Urbain, Pierre Courtieu, Olivier Pons, Julien Forest:
  A3PAT, an approach for certified automated termination proofs. 63-72
  

Session 5: innovative programming

• Fritz Henglein:
  Optimizing relational algebra operations using generic equivalence discriminators and lazy products. 73-82
  
• Adrián Riesco, Juan Rodríguez-Hortalá:
  Programming with singular and plural non-deterministic functions. 83-92
  

Session 6: synthesis and compilation

• Martin Hofmann, Emanuel Kitzelmann:
  I/O guided detection of list catamorphisms: towards problem specific use of program templates in IP. 93-100
  
• Andrew Moss, Dan Page:
  Bridging the gap between symbolic and efficient AES implementations. 101-110
  

Session 7: Haskell analysis/transformation

• Christopher Brown, Simon J. Thompson:
  Clone detection and elimination for Haskell. 111-120
  
• Stefan Holdermans, Jurriaan Hage:
  Making "stricterness" more relevant. 121-130
  

Session 8: static analysis techniques

• Arun Lakhotia, Davidson R. Boccardo, Anshuman Singh, Aleardo Manacero:
  Context-sensitive analysis of obfuscated x86 executables. 131-140
  
• Xin Li, Mizuhito Ogawa:
  Conditional weighted pushdown systems and applications. 141-150
  

Session 9: tools 2

• Ivan Lazar Miljenovic:
  The SourceGraph program. 151-154
  
• Florian Haftmann:
  From higher-order logic to Haskell: there and back again. 155-158
  

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