Publications

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 Computer Science, vol 13240. 2022

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

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 in Computer Science, vol 13047. 2021

Thomas Bauereiss and Andrei Popescu.

Arch. Formal Proofs 2021. 2021

Alastair F. Donaldson, Paul Thomson, Vasyl Teliman, Stefano Milizia, André Perez Maselco, and Antoni Karpiński.

PLDI 2021: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, June 2021, 1017–1032. 2021

VeTSS

2021

Andrea Giugliano.

PhD Thesis, University of Leicester. 2018

VeTSS, 2024.

Guillaume Ambal, Brijesh Dongol, Haggai Eran, Vasileios Klimis, Ori Lahav, Azalea Raad.

Proceedings of the ACM on Programming Languages, Volume 8, Issue OOPSLA2
Article No.: 341, Pages 1982 – 2009. OOPSLA 2024.

Publications & Reports