Publications

Jerome Jochems, Eddie Jones, and Steven Ramsay.

Proceedings of the ACM on Programming Languages, Volume 7, Issue POPL 2023, Article No.: 69, 2017–2047. 2023

Eddie Jones, C.-H. Luke Ong, and Steven Ramsay.

PLDI 2022: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language, Pages 395–409. 2022

Eleni Bila, John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, and Heike Wehrheim.

Logical Methods in Computer Science, July 28, 2022, Volume 18, Issue 3. 2022

Wilmer Ricciotti and James Cheney.

Journal of Automated Reasoning 66, 989–1030. 2022

Hans-J. Boehm, Ori Lahav, and Azalea Raad.

In Dagstuhl Reports, Volume 11, Issue 10, pp. 94-110, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022) 2022

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

Daniel Wright.

PhD Thesis, University of Kent. 2022

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