Vincent Jackson

According to our database, Vincent Jackson authored at least 4 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Generalised Union of Rely-Guarantee and Separation Logic Using Permission Algebras.

Vincent Jackson, Toby Murray, Christine Rizkallah

Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

T-Rex: Termination of Recursive Functions Using Lexicographic Linear Combinations.

Raphael Douglas Giles, Vincent Jackson, Christine Rizkallah

Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024

2023

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., January, 2023

2021

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