Documents.
Papers & Publications
- D4: Debugging Databases During Development Database testing research paper under development
- ETNA Experience Report ETNA ICFP Experience Report
- ETNA Research Paper Extended ETNA Journal of Functional Programming Research Paper
- Programmable Property-Based Testing Novel PBT approach under review
- Puzzles and Algorithms Opinion piece on how puzzles can be used to learn algorithmic thinking
- Tail: A Typed and Structured Document Editor Extended abstract for a typed and structured document editor
Presentations & Slides
- BOB Konf Property-Based Testing: The Past, The Present, and The Future
- Ritual Academy Chat Correctness-Oriented Programming with AI
- TopSort Brownbag What is random testing, and why do you need it?
Other Documents
- Resume Current resume/CV