1. Fat Pointers for Temporal Memory Safety of C;Proceedings of the ACM on Programming Languages;2023-04-06
2. Blaze-Tasks;ACM Transactions on Architecture and Code Optimization;2018-12-31
3. FRC: a high-performance concurrent parallel deferred reference counter for C++;ACM SIGPLAN Notices;2018-12-07
4. FRC: a high-performance concurrent parallel deferred reference counter for C++;Proceedings of the 2018 ACM SIGPLAN International Symposium on Memory Management;2018-06-18
5. Forkscan;Proceedings of the Twelfth European Conference on Computer Systems;2017-04-23