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
PROPR: Property-Based Automatic Program Repair.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022
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
Suggesting valid hole fits for typed-holes (experience report).
Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, 2018