| 2023 | Rank-Polymorphism for Shape-Guided Blocking. | Artjoms Sinkarovs, Thomas Koopman, Sven-Bodo Scholz |
| 2023 | Infix-Extensible Record Types for Tabular Data. | Adam Paszke, Ningning Xie |
| 2023 | A Dependently Typed Language with Dynamic Equality. | Mark Lemay, Qiancheng Fu, William Blair, Cheng Zhang, Hongwei Xi |
| 2023 | Combining Dependency, Grades, and Adjoint Logic. | Peter Hanukaev, Harley Eades III |
| 2023 | A Calculus of Inductive Linear Constructions. | Qiancheng Fu, Hongwei Xi |
| 2023 | Efficient GPU Implementation of Affine Index Permutations on Arrays. | Mathis Bouverot-Dupuis, Mary Sheeran |
| 2023 | Shape-Constrained Array Programming with Size-Dependent Types. | Lubin Bailly, Troels Henriksen, Martin Elsman |
| 2023 | Semantic Encapsulation using Linking Types. | Daniel Patterson, Andrew Wagner, Amal Ahmed |
| 2022 | tylr: a tiny tile-based structure editor. | David Moon, Andrew Blinn, Cyrus Omar |
| 2022 | Computing with generic trees in Agda. | Stephen Dolan |
| 2022 | A Hoare logic style refinement types formalisation. | Zilin Chen |
| 2022 | Structural refinement types. | David Binder, Ingo Skupin, David Lwen, Klaus Ostermann |
| 2021 | A simpler encoding of indexed types. | Yinsen Zhang |
| 2021 | Human-in-the-loop program synthesis for live coding. | Mark Santolucito |
| 2021 | Generating high performance code for irregular data structures using dependent types. | Federico Pizzuti, Michel Steuwer, Christophe Dubach |
| 2021 | Parallelism-preserving automatic differentiation for second-order array languages. | Adam Paszke, Matthew J. Johnson, Roy Frostig, Dougal Maclaurin |
| 2021 | mimium: a self-extensible programming language for sound and music. | Tomoya Matsuura, Kazuhiro Jo |
| 2021 | Improving GHC Haskell NUMA profiling. | Ruairidh MacGregor, Phil Trinder, Hans-Wolfgang Loidl |
| 2021 | Actions you can handle: dependent types for AI plans. | Alasdair Hill, Ekaterina Komendantskaya, Matthew L. Daggitt, Ronald P. A. Petrick |
| 2021 | Temporal-scope grammars for polyphonic music generation. | Lukas Eibensteiner, Martin Ilck, Michael Wimmer |
| 2021 | MidifilePerformer: a case study for chronologies. | Juliette Chabassier, Myriam Desainte-Catherine, Jean Haury, Marin Pobel, Bernard P. Serpette |
| 2021 | Computing persistent homology in Futhark. | Erik von Brmssen |
| 2021 | The w-calculus: a synchronous framework for the verified modelling of digital signal processing algorithms. | Emilio Jess Gallego Arias, Pierre Jouvelot, Sylvain Ribstein, Dorian Desblancs |
| 2020 | Running Scheme On Bare Metal (Experience Report). | Samuel Yvon, Marc Feeley |
| 2020 | Strongly bounded termination with applications to security and hardware synthesis. | Thomas N. Reynolds, William L. Harrison, Rohit Chadha, Gerard Allwein |