| 2016 | s6raph: vertex-centric graph processing framework with functional interface. | Onofre Coll Ruiz, Kiminori Matsuzaki, Shigeyuki Sato |
| 2016 | Icicle: write once, run once. | Amos Robinson, Ben Lippmeier |
| 2016 | Hierarchical memory management for parallel programs. | Ram Raghunathan, Stefan K. Muller, Umut A. Acar, Guy E. Blelloch |
| 2016 | String diagrams for free monads (functional pearl). | Maciej Pirg, Nicolas Wu |
| 2016 | choose your own derivative (extended abstract). | Jennifer Paykin, Antal Spector-Zabusky, Kenneth Foner |
| 2016 | Programming assistance for type-directed programming (extended abstract). | Peter-Michael Osera |
| 2016 | Disjoint intersection types. | Bruno C. d. S. Oliveira, Zhiyuan Shi, Joo Alpuim |
| 2016 | Refinement through restraint: bringing down the cost of verification. | Liam O'Connor, Zilin Chen, Christine Rizkallah, Sidney Amani, Japheth Lim, Toby C. Murray, Yutaka Nagashima, Thomas Sewell, Gerwin Klein |
| 2016 | Applications of applicative proof search. | Liam O'Connor |
| 2016 | Fully abstract compilation via universal embedding. | Max S. New, William J. Bowman, Amal Ahmed |
| 2016 | A livecoding semantics for functional reactive programming. | Tom E. Murphy |
| 2016 | Automatic generation of efficient codes from mathematical descriptions of stencil computation. | Takayuki Muranushi, Seiya Nishizawa, Hirofumi Tomita, Keigo Nitadori, Masaki Iwasawa, Yutaka Maruyama, Hisashi Yashiro, Yoshifumi Nakamura, Hideyuki Hotta, Junichiro Makino, Natsuki Hosono, Hikaru Inoue |
| 2016 | Queueing and glueing for optimal partitioning (functional pearl). | Shin-Cheng Mu, Yu-Hsi Chiang, Yu-Han Lyu |
| 2016 | The best of both worlds: linear functional programming without compromise. | J. Garrett Morris |
| 2016 | From identification of parallelizability to derivation of parallelizable codes. | Akimasa Morihata |
| 2016 | Ghostbuster: a tool for simplifying and converting GADTs. | Trevor L. McDonell, Timothy A. K. Zakian, Matteo Cimini, Ryan R. Newton |
| 2016 | Bithoven: Gdel encoding of chamber music and functional 8-bit audio synthesis. | Jay McCarthy |
| 2016 | JIT costing adaptive skeletons for performance portability. | Patrick Maier, John Magnus Morton, Phil Trinder |
| 2016 | Streaming nested data parallelism on multicores. | Frederik M. Madsen, Andrzej Filinski |
| 2016 | Polarized data parallel data flow. | Ben Lippmeier, Fil Mackay, Amos Robinson |
| 2016 | Talking bananas: structural recursion for session types. | Sam Lindley, J. Garrett Morris |
| 2016 | A functional programmer's guide to homotopy type theory. | Dan Licata |
| 2016 | Arrp: a functional language with multi-dimensional signals and recurrence equations. | Jakob Leben |
| 2016 | Parameterized extensible effects and session types (extended abstract). | Oleg Kiselyov |
| 2016 | Using fusion to enable late design decisions for pipelined computations. | Mt Karcsony, Koen Claessen |