By Mr Vincent Jackson

Book Chapters

Linares Arévalo PS; Azevedo de Amorim A; Jackson V; O’Connor L; Schachte P; Rizkallah C, 2026, 'Memory Safety: Uniqueness as Separation', in , pp. 3 - 21, http://dx.doi.org/10.1007/978-981-95-3585-9_1

Journal articles

Chen Z; Lafont A; O'Connor L; Keller G; McLaughlin C; Jackson V; Rizkallah C, 2023, 'Dargent: A Silver Bullet for Verified Data Layout Refinement', Proceedings of the ACM on Programming Languages, 7, http://dx.doi.org/10.1145/3571240

O'Connor L; Chen Z; Rizkallah C; Jackson V; Amani S; Klein G; Murray T; Sewell T; Keller G, 2021, 'Cogent: Uniqueness types and certifying compilation', Journal of Functional Programming, 31, http://dx.doi.org/10.1017/S095679682100023X

Conference Papers

Jackson V; Murray T; Rizkallah C, 2024, 'A Generalised Union of Rely-Guarantee and Separation Logic Using Permission Algebras', in Leibniz International Proceedings in Informatics Lipics, http://dx.doi.org/10.4230/LIPIcs.ITP.2024.23

Giles RD; Jackson V; Rizkallah C, 2024, 'T-Rex: Termination of Recursive Functions Using Lexicographic Linear Combinations', in Leibniz International Proceedings in Informatics Lipics, http://dx.doi.org/10.4230/LIPIcs.ICALP.2024.139

Back to profile page