1. Call-by-Unboxed-Value;Proceedings of the ACM on Programming Languages;2024-08-15
2. Threaded Execution as a Dual to Native Code;Companion Proceedings of the 7th International Conference on the Art, Science, and Engineering of Programming;2023-03-13
3. SafeComp: Protocol for Certifying Cloud Computations Integrity;Programming and Computer Software;2021-12
4. Continuations and Aspects to Tame Callback Hell on the Web;JUCS - Journal of Universal Computer Science;2021-09-28
5. Strictly capturing non-strict closures;Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation;2021-01-17