Files
- thesis2e.pdf
- thesis.pdf
- thesis-grey.pdf
- 2025-SOSP-execspec.pdf
- 2025-ISCA-precise-exceptions.pdf
- 2023-ISMM-wait-free-weak-references.pdf
- 2023-FMSD-isla.pdf
- 2022-ESOP-rvm.pdf
- 2022-ESOP-rvm-extended.pdf
- 2021-CAV-isla.pdf
- 2021-CAV-isla-extended.pdf
- 2020-ESOP-ifetch.pdf
- 2020-ESOP-ifetch-extended.pdf
- 2018-MEng-rufous.pdf
- 2017-CAV-Starling.pdf