1. Call-by-Unboxed-Value;Proceedings of the ACM on Programming Languages;2024-08-15
2. On the Operational Theory of the CPS-Calculus: Towards a Theoretical Foundation for IRs;Proceedings of the ACM on Programming Languages;2024-08-15
3. Prisma : A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications;ACM Transactions on Programming Languages and Systems;2023-09-23
4. Compiling Parallel Symbolic Execution with Continuations;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05
5. Back to Direct Style: Typed and Tight;Proceedings of the ACM on Programming Languages;2023-04-06