Specifying and Verifying Persistent Transactional Memory
Eleni Vafeiadi Bila. PhD Thesis, University of Surrey. 2023
Verified compilation of a purely functional language to a realistic machine semantics
Hrutvik Kanabar. PhD Thesis, University of Kent. 2023
VeTSS EDI statement.
VeTSS 2023
Lightweight Approaches to the Verification of Functional Programs.
Eddie Jones. PhD Thesis, University of Bristol. 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, [...]
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
by