| 2012 | An analytical inductive functional programming system that avoids unintended programs. Susumu Katayama |
| 2012 | An approach to completing variable names for implicitly typed functional languages. Takumi Goto, Isao Sasano |
| 2012 | COSTABS: a cost and termination analyzer for ABS. Elvira Albert, Puri Arenas, Samir Genaim, Miguel Gómez-Zamalloa, Germán Puebla |
| 2012 | Compiling math to fast code. Markus Püschel |
| 2012 | Composing transformations for instrumentation and optimization. Michael Gorbovitski, Yanhong A. Liu, Scott D. Stoller, Tom Rothamel |
| 2012 | Distillation with labelled transition systems. Geoffrey William Hamilton, Neil D. Jones |
| 2012 | Finding and fixing Java naming bugs with the Lancelot Eclipse plugin. Edvard K. Karlsen, Einar W. Høst, Bjarte M. Østvold |
| 2012 | Functional programs as compressed data. Naoki Kobayashi, Kazutaka Matsuda, Ayumi Shinohara |
| 2012 | Hybrid contract checking via symbolic simplification. Dana N. Xu |
| 2012 | Ideas for connecting inductive program synthesis and bidirectionalization. Janis Voigtländer |
| 2012 | Incremental resource usage analysis. Elvira Albert, Jesús Correas, Germán Puebla, Guillermo Román-Díez |
| 2012 | Obfuscation by partial evaluation of distorted interpreters. Roberto Giacobazzi, Neil D. Jones, Isabella Mastroeni |
| 2012 | Polynomial-time inverse computation for accumulative functions with multiple data traversals. Kazutaka Matsuda, Kazuhiro Inaba, Keisuke Nakano |
| 2012 | Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, PEPM 2012, Philadelphia, Pennsylvania, USA, January 23-24, 2012 Oleg Kiselyov, Simon J. Thompson |
| 2012 | Scala-virtualized. Adriaan Moors, Tiark Rompf, Philipp Haller, Martin Odersky |
| 2012 | Specification and verification of meta-programs. Martin Berger |
| 2012 | StagedSAC: a case study in performance-oriented DSL development. Vlad Ureche, Tiark Rompf, Arvind K. Sujeeth, Hassan Chafi, Martin Odersky |
| 2012 | Streams that compose using macros that oblige. Martin Hirzel, Bugra Gedik |
| 2012 | The interaction of contracts and laziness. Markus Degen, Peter Thiemann, Stefan Wehr |
| 2012 | Towards typing for small-step direct reflection. Jacques Carette, Aaron Stump |
| 2012 | Translating flowcharts to non-deterministic languages. Surinder Kumar Jain, Chenyi Zhang, Bernhard Scholz |
| 2012 | Well-typed narrowing with extra variables in functional-logic programming. Francisco Javier López-Fraguas, Enrique Martin-Martin, Juan Rodríguez-Hortalá |