2023
CSI: Haskell - Tracing Lazy Evaluations in a Functional Language.
Proceedings of the 35th Symposium on Implementation and Application of Functional Languages, 2023

Spectacular: Finding Laws from 25 Trillion Terms.
Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2023

2022
PROPR: Property-Based Automatic Program Repair.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2020
Short Paper: Weak Runtime-Irrelevant Typing for Security.
Proceedings of the PLAS'20: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, 2020

2018
Suggesting valid hole fits for typed-holes (experience report).
Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, 2018