Guarded Kleene Algebra with Tests: Automata Learning.
Stefan Zetzsche, Alexandra Silva, and Matteo Sammartino. Electronic Notes in Theoretical Informatics and Computer Science, Volume 1 – Proceedings of MFPS XXXVIII, February 28, 2023, [...]
About shelley
This author has not yet filled in any details.So far shelley has created 91 blog entries.
Deadlock-free asynchronous message reordering in Rust with multiparty session types.
Zak Cutner, Nobuko Yoshida, and Martin Vassor. PPoPP ’2022. 2022
Generators and Bases for Monadic Closures.
Stefan Zetzsche, Alexandra Silva and Matteo Sammartino. In 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023). Leibniz International Proceedings in Informatics (LIPIcs), [...]
Verifying Read-Copy Update Under RC11.
Mikhail Semenyuk, Mark Batty and Brijesh Dongol. In: Ferreira, C., Willemse, T.A.C. (eds) Software Engineering and Formal Methods. SEFM 2023. Lecture Notes in Computer Science, [...]
Ownership-Based Owicki-Gries Reasoning.
Mikhail Semenyuk and Brijesh Dongol. SAC ’23: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, March 2023, 1685–1694. 2023
Canonical Algebraic Generators in Automata Learning
Stefan Jens Zetzsche. PhD Thesis, University College London. 2023
Specifying and Verifying Persistent Transactional Memory
Eleni Vafeiadi Bila. PhD Thesis, University of Surrey. 2023
Verified compilation of a purely functional language to a realistic machine semantics
Hrutvik Kanabar. PhD Thesis, University of Kent. 2023
Lightweight Approaches to the Verification of Functional Programs.
Eddie Jones. PhD Thesis, University of Bristol. 2023
VeTSS EDI statement.
VeTSS 2023
by