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 Slides BOB Konf presentation slides
- TopSort Slides TopSort presentation slides
Other Documents
- Resume Current resume/CV