Filter by
Annual Report 2022/2023
VeTSS
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, vol 13966. 2023
Deadlock-free asynchronous message reordering in Rust with multiparty session types.
Zak Cutner, Nobuko Yoshida, and Martin Vassor.
PPoPP ’2022. 2022
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
Neural Network Robustness as a Verification Property: A Principled Case Study.
Marco Casadio, Ekaterina Komendantskaya, Matthew L. Daggitt, Wen Kokke, Guy Katz, Guy Amir, and Idan Refaeli.
International Conference on Computer Aided Verification, CAV 2022: Computer Aided Verification, 219–231. 2022
Taking Back Control in an Intermediate Representation for GPU Computing.
Vasileios Klimis, Jack Clark, Alan Baker, David Neto, John Wickerson, and Alastair F. Donaldson.
Proceedings of the ACM on Programming Languages, Volume 7, Issue POPL 2023, Article No.: 60, 1740–1769. 2023
An Internal Language for Categories Enriched over Generalised Metric Spaces.
Fredrik Dahlqvist and Renato Neves.
In 30th EACSL Annual Conference on Computer Science Logic (CSL 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 216, pp. 16:1-16:18 2022
by