Publications & Reports

Hanliang Zhang, Cristina David, Yijun Yu, and Meng Wang.

In: Enea, C., Lal, A. (eds) Computer Aided Verification. CAV 2023. Lecture Notes in Computer Science, vol 13966. 2023

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

Vasileios Klimis, Jack Clark, Alan Baker, David Neto, John Wickerson, and Alastair F. Donaldson.

Proceedings of the ACM on Programming Languages, Volume 7, Issue POPL 2023, Article No.: 60, 1740–1769. 2023

Alastair F. Donaldson, Ben Clayton, Ryan Harrison, Hasan Mohsin, David Neto, Vasyl Teliman, and Hana Watson.

IEEE Conference on Software Testing, Verification and Validation (ICST 2023). 2023

Stefan Zetzsche, Alexandra Silva, and Matteo Sammartino.

Electronic Notes in Theoretical Informatics and Computer Science, Volume 1 – Proceedings of MFPS XXXVIII, February 28, 2023, entics:10505. 2023