1. Lazy Evaluation for the Lazy: Automatically Transforming Call-by-Value into Call-by-Need;Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction;2023-02-17
2. A completely unique account of enumeration;Proceedings of the ACM on Programming Languages;2022-08-29
3. Generating fast sparse matrix vector multiplication from a high level generic functional IR;Proceedings of the 29th International Conference on Compiler Construction;2020-02-22
4. System FR: formalized foundations for the stainless verifier;Proceedings of the ACM on Programming Languages;2019-10-10
5. Position-dependent arrays and their application for high performance code generation;Proceedings of the 8th ACM SIGPLAN International Workshop on Functional High-Performance and Numerical Computing - FHPNC 2019;2019