1. Reference Capabilities for Flexible Memory Management;Proceedings of the ACM on Programming Languages;2023-10-16
2. A Grounded Conceptual Model for Ownership Types in Rust;Proceedings of the ACM on Programming Languages;2023-10-16
3. Using capabilities for strict runtime invariant checking;Science of Computer Programming;2022-12
4. A flexible type system for fearless concurrency;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09
5. Rusty Links in Local Chains✱;Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs;2022-06-07