Sotabase

Career

· PhD Student, University of Maryland2021–2026

Publications (4)

Generating Conforming Programs with Xsmith
International Conference on Generative Programming: Concepts and Experiences · 2023
6
cited
Parsing with zippers (functional pearl)
Proc. ACM Program. Lang. · 2020
5
cited
Clotho: A Racket Library for Parametric Randomness
Scheme@ICFP · 2020
1
cited
Parsing with Zippers (Functional Pearl) Paper Artifact
2020
Sotabase
Pierce Darragh | Researcher Profile | Sotabase | Sotabase