Vincent Jackson
Senior Research Associate
Research Interests
Vincent is interested in logic, program semantics, and information-flow security.
Contact Details
| Email: | v.jackson@unsw.edu.au |
|---|
More contact information is available at the Contact page.
Publications
Trustworthy Systems Group Papers
2023
|
 |
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
|
|
|
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 |