1. Automatic Parallelism Management;Proceedings of the ACM on Programming Languages;2024-01-05
2. Efficient Parallel Functional Programming with Effects;Proceedings of the ACM on Programming Languages;2023-06-06
3. Responsive Parallelism with Synchronization;Proceedings of the ACM on Programming Languages;2023-06-06
4. WARDen: Specializing Cache Coherence for High-Level Parallel Languages;Proceedings of the 21st ACM/IEEE International Symposium on Code Generation and Optimization;2023-02-17
5. Entanglement detection with near-zero cost;Proceedings of the ACM on Programming Languages;2022-08-29