| 2013 | Just do it while compiling!: fast extensible records in haskell. | Bruno Martinez, Marcos Viera, Alberto Pardo |
| 2013 | Typing as functional-logic evaluation. | Francisco Javier Lpez-Fraguas, Enrique Martin-Martin |
| 2013 | Practical aspects of bidirectional graph transformations. | Zhenjiang Hu |
| 2013 | A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers. | lvaro Garca-Prez, Pablo Nogueira |
| 2013 | Fixing idioms: a recursion primitive for applicative DSLs. | Dominique Devriese, Ilya Sergey, Dave Clarke, Frank Piessens |
| 2013 | TRSynth: a tool for automatic inference of term equivalence in left-linear term rewriting systems. | Marco Comini, Luca Torella |
| 2013 | Verified integrity properties for safe approximate program transformations. | Michael Carbin, Deokhwan Kim, Sasa Misailovic, Martin C. Rinard |
| 2013 | Verifying programs via iterated specialization. | Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
| 2013 | Automatic inference of specifications using matching logic. | Mara Alpuente, Marco A. Feli, Alicia Villanueva |
| 2013 | Shonan challenge for generative programming: short position paper. | Baris Aktemur, Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan |
| 2012 | Hybrid contract checking via symbolic simplification. | Dana N. Xu |
| 2012 | Ideas for connecting inductive program synthesis and bidirectionalization. | Janis Voigtlnder |
| 2012 | StagedSAC: a case study in performance-oriented DSL development. | Vlad Ureche, Tiark Rompf, Arvind K. Sujeeth, Hassan Chafi, Martin Odersky |
| 2012 | Compiling math to fast code. | Markus Pschel |
| 2012 | Scala-virtualized. | Adriaan Moors, Tiark Rompf, Philipp Haller, Martin Odersky |
| 2012 | Polynomial-time inverse computation for accumulative functions with multiple data traversals. | Kazutaka Matsuda, Kazuhiro Inaba, Keisuke Nakano |
| 2012 | Well-typed narrowing with extra variables in functional-logic programming. | Francisco Javier Lpez-Fraguas, Enrique Martin-Martin, Juan Rodrguez-Hortal |
| 2012 | Functional programs as compressed data. | Naoki Kobayashi, Kazutaka Matsuda, Ayumi Shinohara |
| 2012 | An analytical inductive functional programming system that avoids unintended programs. | Susumu Katayama |
| 2012 | Finding and fixing Java naming bugs with the Lancelot Eclipse plugin. | Edvard K. Karlsen, Einar W. Hst, Bjarte M. stvold |
| 2012 | Translating flowcharts to non-deterministic languages. | Surinder Kumar Jain, Chenyi Zhang, Bernhard Scholz |
| 2012 | Streams that compose using macros that oblige. | Martin Hirzel, Bugra Gedik |
| 2012 | Distillation with labelled transition systems. | Geoffrey William Hamilton, Neil D. Jones |
| 2012 | An approach to completing variable names for implicitly typed functional languages. | Takumi Goto, Isao Sasano |
| 2012 | Composing transformations for instrumentation and optimization. | Michael Gorbovitski, Yanhong A. Liu, Scott D. Stoller, Tom Rothamel |