Abstract is missing.
- Categorical Foundations of Gradient-Based LearningGeoffrey S. H. Cruttwell, Bruno Gavranovic, Neil Ghani, Paul W. Wilson 0002, Fabio Zanasi. 1-28 [doi]
- Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo InferenceDaniel Lundén, Joey Öhman, Jan Kudlicka, Viktor Senderov, Fredrik Ronquist, David Broman. 29-56 [doi]
- Foundations for Entailment Checking in Quantitative Separation LogicKevin Batz, Ira Fesefeldt, Marvin Jansen, Joost-Pieter Katoen, Florian Keßler, Christoph Matheja, Thomas Noll 0001. 57-84 [doi]
- Extracting total Amb programs from proofsUlrich Berger 0001, Hideki Tsuiki. 85-113 [doi]
- Why3-do: The Way of Harmonious Distributed System ProofsCláudio Belo Lourenço, Jorge Sousa Pinto. 114-142 [doi]
- Relaxed virtual memory in Armv8-ABen Simner, Alasdair Armstrong, Jean Pichon-Pharabod, Christopher Pulte, Richard Grisenthwaite, Peter Sewell. 143-173 [doi]
- Verified Security for the Morello Capability-enhanced Prototype Arm ArchitectureThomas Bauereiss, Brian Campbell 0001, Thomas Sewell, Alasdair Armstrong, Lawrence Esswood, Ian Stark, Graeme Barnes, Robert N. M. Watson, Peter Sewell. 174-203 [doi]
- The Trusted Computing Base of the CompCert Verified CompilerDavid Monniaux, Sylvain Boulmé. 204-233 [doi]
- View-Based Owicki-Gries Reasoning for Persistent x86-TSOEleni Vafeiadi Bila, Brijesh Dongol, Ori Lahav, Azalea Raad, John Wickerson. 234-261 [doi]
- Abstraction for Crash-Resilient ObjectsArtem Khyzha, Ori Lahav. 262-289 [doi]
- Static Race Detection for Periodic ProgramsVarsha P. Suresh, Rekha R. Pai, Deepak D'Souza, Meenakshi D'Souza, Sujit Kumar Chakrabarti. 290-316 [doi]
- Probabilistic Total Store OrderingParosh Aziz Abdulla, Mohamed Faouzi Atig, Raj Aryan Agarwal, Adwait Godbole, Shankara Narayanan Krishna. 317-345 [doi]
- Linearity and Uniqueness: An Entente CordialeDaniel Marshall, Michael Vollmer 0004, Dominic Orchard. 346-375 [doi]
- A Framework for Substructural Type SystemsJames Wood, Robert Atkey. 376-402 [doi]
- A Dependent Dependency CalculusPritam Choudhury, Harley Eades III, Stephanie Weirich. 403-430 [doi]
- Polarized SubtypingZeeshan Lakhani, Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning. 431-461 [doi]
- Structured Handling of Scoped EffectsZhixuan Yang, Marco Paviotti, Nicolas Wu, Birthe van den Berg, Tom Schrijvers. 462-491 [doi]
- Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing StylePhilipp Schuster, Jonathan Immanuel Brachthäuser, Klaus Ostermann. 492-519 [doi]
- A Predicate Transformer for Choreographies - Computing Preconditions in Choreographic ProgrammingSung-Shik Jongmans, Petra van den Bos. 520-547 [doi]
- Comparing the expressiveness of the π-calculus and CCSRob van Glabbeek. 548-574 [doi]
- Concurrent NetKAT - Modeling and analyzing stateful, concurrent networksJana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva 0001. 575-602 [doi]