1. A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution);Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation;2024-01-11
2. Sparcl: A language for partially invertible computation;Journal of Functional Programming;2024
3. Asynchronous unfold/fold transformation for fixpoint logic;Science of Computer Programming;2024-01
4. Embedding by Unembedding;Proceedings of the ACM on Programming Languages;2023-08-30
5. Taype: A Policy-Agnostic Language for Oblivious Computation;Proceedings of the ACM on Programming Languages;2023-06-06