Vincent Jackson

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 3

Top Topics

Recursive Functions

Top Venues

Proc. ACM Program. Lang.

J. Funct. Program.

Publications

Raphael Douglas Giles, Vincent Jackson, Christine Rizkallah
T-Rex: Termination of Recursive Functions Using Lexicographic Linear Combinations. ICALP (2024)
Zilin Chen, Ambroise Lafont, Liam O'Connor, Gabriele Keller, Craig McLaughlin, Vincent Jackson, Christine Rizkallah
Dargent: A Silver Bullet for Verified Data Layout Refinement. Proc. ACM Program. Lang. 7 (POPL) (2023)
Liam O'Connor, Zilin Chen, Christine Rizkallah, Vincent Jackson, Sidney Amani, Gerwin Klein, Toby Murray, Thomas Sewell, Gabriele Keller
Cogent: uniqueness types and certifying compilation. J. Funct. Program. 31 (2021)