Publications & Reports

Simon Cooksey, Sarah Harris, Mark Batty, Radu Grigore, and Mikoláš Janota.

arXiv: Logic in Computer Science. 2019

Nadia Polikarpova and Ilya Sergey.

Proceedings of the ACM on Programming Languages, Volume 3, Issue POPL, 2019, Article No.: 72, 1–30. 2019

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.