Rash: from reckless interactions to reliable programs. - William Gallard Hatch; Matthew Flatt (GPCE, 2018)

Clotho: A Racket Library for Parametric Randomness. - Pierce Darragh; William Gallard Hatch; Eric Eide (Scheme@ICFP, 2020)

Implementation, Integration, and Application of Embedded Domain-Specific Languages. - William Gallard Hatch (2021)

Generating Conforming Programs with Xsmith. - William Gallard Hatch; Pierce Darragh; Sorawee Porncharoenwase; Guy Watson; Eric Eide (GPCE, 2023)