Pierce Darragh

Pierce Darragh is a Researcher at the University of Maryland, specifically within the Department of Computer Science. He is advised by David Van Horn, an Associate Professor.

His research interests revolve around:

• Programming Languages
• Type Systems
• Algebraic Data Types
• Pattern Matching
• Functional Programming
• Domain-Specific Language Development

The most recent publications highlight his work in program synthesis, experimental design frameworks, and randomness libraries. His 2023 article on Xsmith explores automated program generation, while his 2022 work on SweetPea focuses on factorial experiment modeling. His 2020 Clotho paper delves into parametric randomness in Racket.

His blog posts extensively discuss the design of Viper's type system, including structural vs. nominal typing, algebraic data types, pattern matching, and optional types. He also analyzes the integration of language in science fiction literature through a classification scale, though this appears to be a personal interest rather than his primary academic focus.