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

Asynchronous Probabilistic Couplings in Higher-Order Separation Logic von Simon Oddershede Gregersen, Aguirre, Alejandro, Haselwarter, Philipp G, Tassarotti, Joseph, 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

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

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

Volltext

Almost-Sure Termination by Guarded Refinement von Gregersen, Simon Oddershede, Aguirre, Alejandro, Haselwarter, Philipp G., 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

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

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