Trustworthy Systems

Vincent Jackson
PhD Student; UNSW

Research Interests

Vincent is interested in program verification, higher-order logic, and type theory. He is now a PhD student at the University of Melbourne

Contact Details

Email:v.jackson@unsw.edu.au

More contact information is available at the Contact page.

Photo of Vincent Jackson

Publication List

Publications

Trustworthy Systems Group Papers

2023

Abstract PDF Zilin Chen, Ambroise Lafont, Liam O'Connor, Gabriele Keller, Craig McLaughlin, Vincent Jackson and Christine Rizkallah
Dargent: A silver bullet for verified data layout refinement
Proc. ACM Program. Lang., Volume 7, Number POPL, January, 2023

2021

Abstract PDF Liam O'Connor, Zilin Chen, Christine Rizkallah, Vincent Jackson, Sidney Amani, Gerwin Klein, Toby Murray, Thomas Sewell and Gabriele Keller
Cogent: Uniqueness types and certifying compilation
Journal of Functional Programming, Volume 31, 2021