The abstracts are available [[InvitedTalks][here]] and [[AcceptedPapers][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