| 2025 | A Program Logic for Concurrent Randomized Programs in the Oblivious Adversary Model. | Weijie Fan, Hongjin Liang, Xinyu Feng, Hanru Jiang |
| 2025 | Coverage Semantics for Dependent Pattern Matching. | Joseph Eremondi, Ohad Kammar |
| 2025 | Variable Elimination as Rewriting in a Linear Lambda Calculus. | Thomas Ehrhard, Claudia Faggian, Michele Pagani |
| 2025 | Neural Network Verification is a Programming Language Challenge. | Lucas C. Cordeiro, Matthew L. Daggitt, Julien Girard-Satabin, Omri Isac, Taylor T. Johnson, Guy Katz, Ekaterina Komendantskaya, Augustin Lemesle, Edoardo Manino, Artjoms Sinkarovs, Haoze Wu |
| 2025 | Stratified Type Theory. | Jonathan Chan, Stephanie Weirich |
| 2025 | Multiparty Session Types with a Bang! | Matthew Alan Le Brun, Simon Fowler, Ornela Dardha |
| 2025 | Artifact Report: an Abstract, Certified Account of Operational Game Semantics. | Peio Borthelle, Tom Hirschowitz, Guilhem Jaber, Yannick Zakowski |
| 2025 | An abstract, certified account of operational game semantics. | Peio Borthelle, Tom Hirschowitz, Guilhem Jaber, Yannick Zakowski |
| 2025 | Cognacy Queries over Dependence Graphs for Transparent Visualisations. | Joseph Bond, Cristina David, Minh Nguyen, Dominic Orchard, Roly Perera |
| 2025 | Abstraction of memory block manipulations by symbolic loop folding. | Jrme Boillot, Jrme Feret |
| 2025 | Constructive characterisations of the MUST-preorder for asynchrony. | Giovanni Bernardi, Ilaria Castellani, Paul Laforgue, Lo Stefanesco |
| 2025 | Sufficient Conditions for Robustness of RDMA Programs. | Guillaume Ambal, Ori Lahav, Azalea Raad |
| 2025 | Formulas as Processes, Deadlock-Freedom as Choreographies. | Matteo Acclavio, Giulia Manara, Fabrizio Montesi |
| 2025 | The Vanilla Sequent Calculus is Call-by-Value. | Beniamino Accattoli |
| 2024 | Reconciling Partial and Local Invertibility. | Anders gren Thun, Kazutaka Matsuda, Meng Wang |
| 2024 | Specifying and Verifying Persistent Libraries. | Lo Stefanesco, Azalea Raad, Viktor Vafeiadis |
| 2024 | Artifact Report: Intel PMDK Transactions: Specification, Validation and Concurrency. | Azalea Raad, Ori Lahav, John Wickerson, Piotr Balcer, Brijesh Dongol |
| 2024 | Intel PMDK Transactions: Specification, Validation and Concurrency. | Azalea Raad, Ori Lahav, John Wickerson, Piotr Balcer, Brijesh Dongol |
| 2024 | Observational Equality Meets CIC. | Loc Pujet, Nicolas Tabareau |
| 2024 | Maximal Quantified Precondition Synthesis for Linear Array Loops. | Sumanth Prabhu, Grigory Fedyukovich, Deepak D'Souza |
| 2024 | Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law. | Raphal Monat, Aymeric Fromherz, Denis Merigoux |
| 2024 | Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages. | Daniel Lundn, Lars Hummelgren, Jan Kudlicka, Oscar Eriksson, David Broman |
| 2024 | Deciding Subtyping for Asynchronous Multiparty Sessions. | Elaine Li, Felix Stutz, Thomas Wies |
| 2024 | Scoped Effects as Parameterized Algebraic Theories. | Sam Lindley, Cristina Matache, Sean K. Moss, Sam Staton, Nicolas Wu, Zhixuan Yang |
| 2024 | Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation. | Pierre Lermusiaux, Benot Montagu |