1. Automatic Parallelism Management;Proceedings of the ACM on Programming Languages;2024-01-05
2. Architecture-Aware Currying;2023 32nd International Conference on Parallel Architectures and Compilation Techniques (PACT);2023-10-21
3. Complete First-Order Reasoning for Properties of Functional Programs;Proceedings of the ACM on Programming Languages;2023-10-16
4. Prisma : A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications;ACM Transactions on Programming Languages and Systems;2023-09-23
5. Calculating Compilers for Concurrency;Proceedings of the ACM on Programming Languages;2023-08-30