View-Based Owicki–Gries Reasoning for Persistent x86-TSO.
Eleni Vafeiadi Bila, Brijesh Dongol, Ori Lahav, Azalea Raad, and John Wickerson In: Sergey, I. (eds) Programming Languages and Systems. ESOP 2022. Lecture Notes in [...]
About shelley
This author has not yet filled in any details.So far shelley has created 91 blog entries.
Away From Linear Models of Concurrent Programs
Daniel Wright. PhD Thesis, University of Kent. 2022
PISTIS: An Event-Triggered Real-Time Byzantine-Resilient Protocol Suite.
David Kozhaya, Jérémie Decouchant, Vincent Rahli, and Paulo Esteves-Verissimo. IEEE Transactions on Parallel and Distributed Systems, vol. 32, no. 9, 2277-2290. 2021
Two Mechanisations of WebAssembly 1.0.
Conrad Watt, Xiaojia Rao, Jean Pichon-Pharabod, Martin Bodin, and Philippa Gardner. In Huisman, M., Păsăreanu, C., Zhan, N. (eds) Formal Methods. FM 2021. Lecture Notes [...]
CoSMed: A Confidentiality-Verified Social Media Platform.
Thomas Bauereiss and Andrei Popescu. Arch. Formal Proofs 2021. 2021
Verified compilation of a purely functional language to a realistic machine semantics
Hrutvik Kanabar. PhD Thesis, University of Kent. 2023
Annual Report 2022/2023
VeTSS 2023
VeTSS EDI statement.
VeTSS 2023
Lightweight Approaches to the Verification of Functional Programs.
Eddie Jones. PhD Thesis, University of Bristol. 2023
Deadlock-free asynchronous message reordering in Rust with multiparty session types.
Zak Cutner, Nobuko Yoshida, and Martin Vassor. PPoPP ’2022. 2022
by