| 2024 | Artifact Description - Definitional Functoriality for Dependent (Sub)Types. | Tho Laurent, Meven Lennon-Bertrand, Kenji Maillard |
| 2024 | Definitional Functoriality for Dependent (Sub)Types. | Tho Laurent, Meven Lennon-Bertrand, Kenji Maillard |
| 2024 | A Modular Soundness Theory for the Blackboard Analysis Architecture. | Sven Keidel, Dominik Helm, Tobias Roth, Mira Mezini |
| 2024 | Verified Inlining and Specialisation for PureCake. | Hrutvik Kanabar, Kacper Korban, Magnus O. Myreen |
| 2024 | Hyperproperty Verification as CHC Satisfiability. | Shachar Itzhaky, Sharon Shoham, Yakir Vizel |
| 2024 | Layered Modal Type Theory - Where Meta-programming Meets Intensional Analysis. | Jason Z. S. Hu, Brigitte Pientka |
| 2024 | Program Synthesis from Graded Types. | Jack Hughes, Dominic Orchard |
| 2024 | Higher-Order LCTRSs and Their Termination. | Liye Guo, Cynthia Kop |
| 2024 | Monadic Intersection Types, Relationally. | Francesco Gavazzo, Riccardo Treglia, Gabriele Vanoni |
| 2024 | Efficient Matching with Memoization for Regexes with Look-around and Atomic Grouping. | Hiroya Fujinami, Ichiro Hasuo |
| 2024 | Artifact report: Generic bidirectional typing for dependent type theories. | Thiago Felicissimo |
| 2024 | Generic bidirectional typing for dependent type theories. | Thiago Felicissimo |
| 2024 | A Denotational Approach to Release/Acquire Concurrency. | Yotam Dvir, Ohad Kammar, Ori Lahav |
| 2024 | Circuit Width Estimation via Effect Typing and Linear Dependency. | Andrea Colledan, Ugo Dal Lago |
| 2024 | Artifact Report: Trocq: Proof Transfer for Free, With or Without Univalence. | Cyril Cohen, Enzo Crance, Assia Mahboubi |
| 2024 | Trocq: Proof Transfer for Free, With or Without Univalence. | Cyril Cohen, Enzo Crance, Assia Mahboubi |
| 2024 | A Formal Treatment of Bidirectional Typing. | Liang-Ting Chen, Hsiang-Shang Ko |
| 2024 | The Session Abstract Machine. | Lus Caires, Bernardo Toninho |
| 2024 | On the Hardness of Analyzing Quantum Programs Quantitatively. | Martin Avanzini, Georg Moser, Romain Pchoux, Simon Perdrix |
| 2023 | Pragmatic Gradual Polymorphism with References. | Wenjia Ye, Bruno C. d. S. Oliveira |
| 2023 | Bunched Fuzz: Sensitivity for Vector Metrics. | june wunder, Arthur Azevedo de Amorim, Patrick Baillot, Marco Gaboardi |
| 2023 | A Type System for Effect Handlers and Dynamic Labels. | Paulo Emlio de Vilhena, Franois Pottier |
| 2023 | Clustered Relational Thread-Modular Abstract Interpretation with Local Traces. | Michael Schwarz, Simmo Saan, Helmut Seidl, Julian Erhard, Vesal Vojdani |
| 2023 | A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests. | Todd Schmid, Tobias Kapp, Alexandra Silva |
| 2023 | Safe Session-Based Concurrency with Shared Linear State. | Pedro Rocha, Lus Caires |