| 2016 | A lambda-calculus foundation for universal probabilistic programming. | Johannes Borgstrm, Ugo Dal Lago, Andrew D. Gordon, Marcin Szymczak |
| 2016 | An abstract memory functor for verified C static analyzers. | Sandrine Blazy, Vincent Laporte, David Pichardie |
| 2016 | FARM 2016 concert: live music and visuals produced through functional programming. | Renick Bell |
| 2016 | Datafun: a functional Datalog. | Michael Arntzenius, Neelakantan R. Krishnaswami |
| 2016 | Structured reactive programming with polymorphic temporal tiles. | Simon Archipoff, David Janin |
| 2016 | Dag-calculus: a calculus for parallel computation. | Umut A. Acar, Arthur Charguraud, Mike Rainey, Filip Sieczkowski |
| 2016 | TensorFlow: learning functions at scale. | Martn Abadi |
| 2016 | Higher-order ghost state. | Ralf Jung, Robbert Krebbers, Lars Birkedal, Derek Dreyer |
| 2015 | A unification algorithm for Coq featuring universe polymorphism and overloading. | Beta Ziliani, Matthieu Sozeau |
| 2015 | Learning refinement types. | He Zhu, Aditya V. Nori, Suresh Jagannathan |
| 2015 | Diagrams: a functional EDSL for vector graphics. | Ryan Yates, Brent A. Yorgey |
| 2015 | Efficient communication and collection with compact normal forms. | Edward Z. Yang, Giovanni Campagna, mer S. Agacan, Ahmed El-Hassany, Abhishek Kulkarni, Ryan R. Newton |
| 2015 | Repl electric performance: end of buffer. | Joseph Wilk |
| 2015 | The shepard tone and higher-order multi-rate synchronous data-flow programming in Sig. | Baltasar Trancn y Widemann, Markus Lepper |
| 2015 | Meta-programming and auto-tuning in the search for high performance GPU code. | Michael Vollmer, Bo Joel Svensson, Eric Holk, Ryan R. Newton |
| 2015 | Bounded refinement types. | Niki Vazou, Alexander Bakst, Ranjit Jhala |
| 2015 | Generate and offshore: type-safe and modular code generation for low-level optimization. | Naoki Takashima, Hiroki Sakamoto, Yukiyoshi Kameyama |
| 2015 | Expressing contract monitors as patterns of communication. | Cameron Swords, Amr Sabry, Sam Tobin-Hochstadt |
| 2015 | Converting data-parallelism to task-parallelism by rewrites: purely functional programs across multiple GPUs. | Bo Joel Svensson, Michael Vollmer, Eric Holk, Trevor L. McDonell, Ryan R. Newton |
| 2015 | RRB vector: a practical general purpose immutable sequence. | Nicolas Stucki, Tiark Rompf, Vlad Ureche, Phil Bagwell |
| 2015 | Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code. | Michel Steuwer, Christian Fensch, Sam Lindley, Christophe Dubach |
| 2015 | A fast compiler for NetKAT. | Steffen Smolka, Spiridon Aristides Eliopoulos, Nate Foster, Arjun Guha |
| 2015 | Scalan: a framework for domain-specific hotspot optimization (invited tutorial). | Alexander Slesarenko, Alexey Romanov |
| 2015 | Functional programming and hardware design: still interesting after all these years. | Mary Sheeran |
| 2015 | Mathematics, textiles, and programming: scripted scarves (invited talk). | Fabienne Serrire |