Publications2024-07-29T13:30:35+00:00

Publications & Reports

Filter by

Filters
Year

Generators and Bases for Monadic Closures.

Stefan Zetzsche, Alexandra Silva and Matteo Sammartino.

In 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 270, pp. 11:1-11:19, 2023

Verifying Read-Copy Update Under RC11.

Mikhail Semenyuk, Mark Batty and Brijesh Dongol.

In: Ferreira, C., Willemse, T.A.C. (eds) Software Engineering and Formal Methods. SEFM 2023. Lecture Notes in Computer Science, vol 14323. Springer, Cham. 2023

Ownership Guided C to Rust Translation.

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

Higher-order MSL constraints.

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

C4: the C compiler concurrency checker.

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

Two Mechanisations of WebAssembly 1.0.

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

Go to Top