|
Rash: From Reckless Interactions to Reliable Programs
William Gallard Hatch and Matthew Flatt (Also available via ACM Digital Library) (Here is a video presentation about Rash) |
GPCE 2018 | |
|
Clotho: A Racket Library for Parametric Randomness
Pierce Darragh, William Gallard Hatch, and Eric Eide |
Scheme 2020 | |
|
Expressive Parsing With Delimited Continuations
William Gallard Hatch and Matthew Flatt |
Unpublished Manuscript | |
|
Generating Conforming Programs With Xsmith
William Gallard Hatch, Pierce Darragh, Guy Watson, Sorawee Porncharoenwase, and Eric Eide (Also available as a preprint here) (Here is a Youtube link to a recording of Eric Eide, one of my PhD advisors, presenting about Xsmith at GPCE 2023.) |
GPCE 2023 | |
|
Implementation, Integration, and Application of Embedded Domain-Specific Languages
William Gallard Hatch (Also available via ProQuest) |
PhD Dissertation, University of Utah, 2021 |