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

Publications & Reports

Filter by

Filters
Year

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

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

Program Verification in the Presence of I/O.

Hugo Férée, Johannes Å. Pohjola, Ramana Kumar, Scott Owens, Magnus O. Myreen, and Son Ho.

In: Piskac, R., Rümmer, P. (eds) Verified Software. Theories, Tools, and Experiments. VSTTE 2018. Lecture Notes in Computer Science, vol 11294. 2018

Go to Top