Program

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

Monday, January 23, 2012

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

Invited Talk: 9:00 - 10:00

Session Chair: Oleg Kiselyov

  • Markus Püschel: Compiling Math to High Performance Code

Coffee break

10:30 - 12:00

Session Chair: Janis Voigtländer

  • Kazutaka Matsuda, Kazuhiro Inaba and Keisuke Nakano: Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals
  • Geoff Hamilton and Neil Jones: Superlinear Speedup by Distillation: A Semantic Basis
  • Elvira Albert, Jesús Correas Fernández, Germán Puebla and Guillermo Román-Díez: Incremental Resource Usage Analysis

Lunch (not provided)

13:30 - 15:30

Session Chair: Simon Thompson

  • Edvard K. Karlsen, Einar W. Høst and Bjarte M. Østvold: Finding and fixing Java naming bugs with the Lancelot Eclipse plugin
  • Janis Voigtländer: Ideas for Connecting Inductive Program Synthesis and Bidirectionalization
  • Susumu Katayama: An Analytical Inductive Functional Programming System that Avoids Unintended Programs
  • Michael Gorbovitski, Yanhong A. Liu, Scott Stoller and Tom Rothamel: Composing Transformations for Instrumentation and Optimization

Coffee break

16:00 - 17:30

Session Chair: John Gallagher

  • Roberto Giacobazzi, Neil Jones and Isabella Mastroeni: Obfuscation by Partial Evaluation of Distorted Interpreters
  • Vlad Ureche, Tiark Rompf, Arvind Sujeeth, Hassan Chafi and Martin Odersky: StagedSAC: A Case Study in Performance-Oriented DSL Development
  • Francisco Javier López-Fraguas, Enrique Martin-Martin and Juan Rodriguez-Hortala: Well-typed Narrowing with Extra Variables in Functional-Logic Programming

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

Tuesday, January 24, 2012

Invited Talk: 9:00 - 10:00

Session Chair: Oleg Kiselyov

  • Martin Berger: Specification and verification of meta-programs

Coffee break

10:30 - 12:00

Session Chair: Dave Herman

  • Jacques Carette and Aaron Stump: Towards Typing for Small-Step Direct Reflection
  • Markus Degen, Peter Thiemann and Stefan Wehr: The Interaction of Contracts and Laziness
  • Dana N. Xu: Hybrid Contract Checking via Symbolic Simplification

Lunch (not provided)

13:30 - 15:30

Session Chair: Armando Solar-Lezama

  • Adriaan Moors, Tiark Rompf, Philipp Haller and Martin Odersky: Scala-Virtualized
  • Naoki Kobayashi, Kazutaka Matsuda and Ayumi Shinohara: Functional Programs as Compressed Data
  • Takumi Goto and Isao Sasano: An approach to completing variable names for implicitly typed functional languages
  • Martin Hirzel and Bugra Gedik: Streams that Compose using Macros that Oblige

Coffee break

16:00 - 17:00

Session Chair: Simon Thompson

  • Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa and Germán Puebla: COSTABS: A Cost and Termination Analyzer for ABS
  • Surinder Kumar Jain, Chenyi Zhang and Bernhard Scholz: Translating Flowcharts to Non-Deterministic Languages