Vincent Jackson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2024–2025
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | APLAS | Memory Safety: Uniqueness as Separation. | Pilar Selene Linares-Arvalo, Arthur Azevedo de Amorim, Vincent Jackson, Liam O'Connor, Peter Schachte, Christine Rizkallah |
| 2024 | ICALP | T-Rex: Termination of Recursive Functions Using Lexicographic Linear Combinations. | Raphael Douglas Giles, Vincent Jackson, Christine Rizkallah |
| 2024 | ITP | A Generalised Union of Rely-Guarantee and Separation Logic Using Permission Algebras. | Vincent Jackson, Toby Murray, Christine Rizkallah |