Cogent: uniqueness types and certifying compilation. - Liam O'Connor; Zilin Chen; Christine Rizkallah; Vincent Jackson; Sidney Amani; Gerwin Klein; Toby Murray; Thomas Sewell; Gabriele Keller (J. Funct. Program., 2021)

Dargent: A Silver Bullet for Verified Data Layout Refinement. - Zilin Chen; Ambroise Lafont; Liam O'Connor; Gabriele Keller; Craig McLaughlin; Vincent Jackson; Christine Rizkallah (Proc. ACM Program. Lang., 2023)

T-Rex: Termination of Recursive Functions Using Lexicographic Linear Combinations. - Raphael Douglas Giles; Vincent Jackson; Christine Rizkallah (ICALP, 2024)

A Generalised Union of Rely-Guarantee and Separation Logic Using Permission Algebras. - Vincent Jackson; Toby Murray; Christine Rizkallah (ITP, 2024)

T-Rex. - Raphael Douglas Giles; Vincent Jackson (DROPS Artifacts, 2024)

General RGSep. - Vincent Jackson (DROPS Artifacts, 2024)