1. xTag: Mitigating Use-After-Free Vulnerabilities via Software-Based Pointer Tagging on Intel x86-64;2022 IEEE 7th European Symposium on Security and Privacy (EuroS&P);2022-06
2. Sound garbage collection for C using pointer provenance;Proceedings of the ACM on Programming Languages;2020-11-13
3. CHERIvoke;Proceedings of the 52nd Annual IEEE/ACM International Symposium on Microarchitecture;2019-10-12
4. Compiler-Driven Software Speculation for Thread-Level Parallelism;ACM Transactions on Programming Languages and Systems;2016-01-04
5. Symbolic execution of multithreaded programs from arbitrary program contexts;ACM SIGPLAN Notices;2014-12-31