Publicationsshelley2025-02-03T09:50:22+00:00

Publications & Reports

Yann Herklotz, Zewei Du, Nadesh Ramanathan, and John Wickerson.

IEEE 29th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM), 2021, 219-223. 2021

Wilmer Ricciotti and James Cheney.

Journal of Automated Reasoning 66, 989–1030. 2022

Stefan Zetzsche, Gerco van Heerdt, Matteo Sammartino, and Alexandra Silva.

EPTCS 351, 2021, 296-313. 2021

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

Matt Windsor, Alastair F. Donaldson, and John Wickerson.

ISSTA 2021: Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, July 2021, 670–673. 2021

Filter by