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 | 2023
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
Journal articles | 2021
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 | 2024
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
Conference Papers | 2024
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
