Almost-Sure Termination by Guarded Refinement von Simon Oddershede Gregersen, Aguirre, Alejandro, Haselwarter, Philipp G, Tassarotti, Joseph, Birkedal, Lars

Volltext

Approximate Relational Reasoning for Higher-Order Probabilistic Programs von Haselwarter, Philipp G, Li, Kwing Hei, Aguirre, Alejandro, Simon Oddershede Gregersen, Tassarotti, Joseph, Birkedal, Lars

Volltext

Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement von Amin Timany, Simon Oddershede Gregersen, Stefanesco, Léo, Jonas Kastberg Hinrichsen, Gondelman, Léon, Nieto, Abel, Birkedal, Lars

Volltext

Asynchronous Probabilistic Couplings in Higher-Order Separation Logic von Simon Oddershede Gregersen, Aguirre, Alejandro, Haselwarter, Philipp G, Tassarotti, Joseph, Birkedal, Lars

Volltext

Almost-Sure Termination by Guarded Refinement von Gregersen, Simon Oddershede, Aguirre, Alejandro, Haselwarter, Philipp G., Tassarotti, Joseph, Birkedal, Lars

Volltext

Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement von Timany, Amin, Gregersen, Simon Oddershede, Stefanesco, Léo, Hinrichsen, Jonas Kastberg, Gondelman, Léon, Nieto, Abel, Birkedal, Lars

Volltext

Tachis: Higher-Order Separation Logic with Credits for Expected Costs von Haselwarter, Philipp G., Li, Kwing Hei, de Medeiros, Markus, Gregersen, Simon Oddershede, Aguirre, Alejandro, Tassarotti, Joseph, Birkedal, Lars

Volltext

Asynchronous Probabilistic Couplings in Higher-Order Separation Logic von Gregersen, Simon Oddershede, Aguirre, Alejandro, Haselwarter, Philipp G., Tassarotti, Joseph, Birkedal, Lars

Volltext

Mechanized logical relations for termination-insensitive noninterference von Gregersen, Simon Oddershede, Bay, Johan, Timany, Amin, Birkedal, Lars

Volltext

Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs von Aguirre, Alejandro, Haselwarter, Philipp G., de Medeiros, Markus, Li, Kwing Hei, Gregersen, Simon Oddershede, Tassarotti, Joseph, Birkedal, Lars

Volltext

Distributed causal memory: modular specification and verification in higher-order distributed separation logic von Gondelman, Léon, Gregersen, Simon Oddershede, Nieto, Abel, Timany, Amin, Birkedal, Lars

Volltext

Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs von Aguirre, Alejandro, Haselwarter, Philipp G, de Medeiros, Markus, Li, Kwing Hei, Simon Oddershede Gregersen, Tassarotti, Joseph, Birkedal, Lars

Volltext

Tachis: Higher-Order Separation Logic with Credits for Expected Costs von Haselwarter, Philipp G, Li, Kwing Hei, de Medeiros, Markus, Simon Oddershede Gregersen, Aguirre, Alejandro, Tassarotti, Joseph, Birkedal, Lars

Volltext

Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols von Gondelman, Léon, Hinrichsen, Jonas Kastberg, Pereira, Mário, Timany, Amin, Birkedal, Lars

Volltext

Non-woody plants as raw materials for production of microfibrillated cellulose (MFC): A comparative study von Alila, Sabrine, Besbes, Iskander, Vilar, Manuel Rei, Mutjé, Pere, Boufi, Sami

Volltext

Compositional Security Definitions for Higher-Order Where Declassification von Menz, Jan, Hirsch, Andrew K., Li, Peixuan, Garg, Deepak

Volltext

An Iris Instance for Verifying CompCert C Programs von Mansky, William, Du, Ke

Volltext

Modular verification of op-based CRDTs in separation logic von Nieto, Abel, Gondelman, Léon, Reynaud, Alban, Timany, Amin, Birkedal, Lars

Volltext

Reconciling Shannon and Scott with a Lattice of Computable Information von Hunt, Sebastian, Sands, David, Stucki, Sandro

Volltext

Enabling Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems via Bounded Regions von Wagner, Christopher, Jaber, Nouraldin, Samanta, Roopsha

Volltext