concurrency 1concurrent separation logic 1distributed execution 1effect handlers 1formal verification 1Iris 1linearizability 1logical atomicity 1program logics 1relational reasoning 1
From the 2 of 9 linked papers with an AI index.
Showing 2025Show all
2 papers · 1 filter
cs.LO2025
Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs (Extended Version)
Kwing Hei Li, Alejandro Aguirre, Simon Oddershede Gregersen +3
We present Coneris, the first higher-order concurrent separation logic for reasoning about error probability bounds of higher-order concurrent probabilistic programs with higher-or…
cs.LO2025
Logical Relations for Formally Verified Authenticated Data Structures
Simon Oddershede Gregersen, Chaitanya Agarwal, Joseph Tassarotti
Authenticated data structures allow untrusted third parties to carry out operations which produce proofs that can be used to verify an operation's output. Such data structures are…