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