1. Reference Capabilities for Flexible Memory Management;Proceedings of the ACM on Programming Languages;2023-10-16
2. A flexible type system for fearless concurrency;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09
3. From Verified Scala to STIX File System Embedded Code Using Stainless;Lecture Notes in Computer Science;2022
4. Reachability types: tracking aliasing and separation in higher-order functional programs;Proceedings of the ACM on Programming Languages;2021-10-20
5. Dala: a simple capability-based dynamic language design for data race-freedom;Proceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2021-10-17