91色情片
Back to
Mr Vincent Jackson

Mr Vincent Jackson

Senior Research Associate
Engineering
Computer Science and Engineering

Vincent is a Postdoctoral Researcher, working at the , in the School of Computer Science and Engineering.

My Trustworthy Systems profile page聽.
Location
Level 3, K13
  • Book Chapters | 2026
    Linares Ar茅valo PS; Azevedo de Amorim A; Jackson V; O鈥機onnor L; Schachte P; Rizkallah C, 2026, 'Memory Safety: Uniqueness as聽Separation', in , pp. 3 - 21,
  • 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,
    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,
  • 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,
    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,