Program

ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation
The abstracts are available here and here.

Monday, January 21, 2013

Welcome. Best paper award announcement: 8:50 - 9:00

Invited Talk: 9:00 - 10:00

Session Chair: Shin-Cheng Mu

  • Zhenjiang Hu: Practical Aspects of Bidirectional Graph Transformations

Coffee break

10:30 - 12:30

Session Chair: Samir Genaim

  • Jeroen Weijers, Jurriaan Hage and Stefan Holdermans: Security Type Error Diagnosis for Higher-Order, Polymorphic Languages
  • Axel Simon: Deriving a Complete Type Inference for Hindley-Milner and Vector Sizes using Expansion
  • Francisco Javier López-Fraguas and Enrique Martin-Martin: Typing as Functional-Logic Evaluation
  • Kostis Sagonas, Josep Silva and Salvador Tamarit: Precise Explanation of Success Typing Errors

Lunch (not provided)

14:30 - 16:00

Session Chair: Jeremy Siek

  • Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and Maurizio Proietti: Verifying Programs via Iterated Specialization
  • Ryosuke Sato, Hiroshi Unno and Naoki Kobayashi: Towards a Scalable Software Model Checker for Higher-Order Programs
  • Michael Carbin, Deokhwan Kim, Sasa Misailovic and Martin Rinard: Verified Integrity Properties for Safe Approximate Program Transformations

Coffee break

16:30 - 17:30

Session Chair: Bruno Oliveira

  • Marco Comini and Luca Torella: TRSynth: a Tool for Automatic Inference of Term Equivalence in Left-linear Term Rewriting Systems
  • Martin Sulzmann, Jürgen Nicklisch and Axel Zechner: Traceability and Correctness of EDSL Abstractions

Program Chairs' report: 17:30 - 17:40

Tuesday, January 22, 2013

Invited Talk: 9:00 - 10:00

Session Chair: Elvira Albert

  • Peter Thiemann: Partially Static Operations

Coffee break

10:30 - 12:30

Session Chair: Kazutaka Matsuda

  • Bruno Martinez, Marcos Viera and Alberto Pardo: Just Do It While Compiling!: Fast Extensible Records in Haskell
  • Bruno Oliveira and Andres Loh: Abstract Syntax Graphs for Domain Specific Languages
  • Dominique Devriese, Ilya Sergey, Dave Clarke and Frank Piessens: Fixing Idioms - A Recursion Primitive for Applicative DSLs
  • Álvaro García-Pérez and Pablo Nogueira: A Syntactic and Functional Correspondence between Reduction Semantics and Reduction-Free Full Normalisers

Lunch (not provided)

14:30 - 16:00

Session Chair: TBA

  • Marco Servetto and Elena Zucca: A Meta-Circular Language for Active Libraries
  • María Alpuente, Marco A. Feliú and Alicia Villanueva: Automatic Inference of Specifications using Matching Logic
  • Qiang Sun, Yuting Chen and Jianjun Zhao: Constraint-Based Locality Analysis for X10 Programs

Coffee break

16:30 - 17:00

Session Chair: Jurriaan Hage

  • Baris Aktemur, Yukiyoshi Kameyama, Oleg Kiselyov and Chung‐chieh Shan: Shonan Challenge for Generative Programming