2 citations · 4 across the 3 of their papers we have counts for
3 papers
cs.PL2026
Learning Context-Free Grammars for Grammar-Constrained Decoding via Declarative Agentic Programming with Guarantees
Kevin Cheang, Geoff Hulette, Rahul Kumar +5
Language models (LMs) are increasingly used to interact with external services via programs written in domain-specific languages (DSLs). Unfortunately, since DSLs are often low-res…
cs.LO2020★ 2 cited
Topos Semantics for a Higher-Order Temporal Logic of Actions
Philip Johnson-Freyd, Jon Aytac, Geoffrey Hulette
TLA is a popular temporal logic for writing stuttering-invariant specifications of digital systems. However, TLA lacks higher-order features useful for specifying modern software w…
cs.PL2013★ 2 cited
Deriving program transformations by demonstration
Matthew J. Sottile, Geoffrey C. Hulette
Automatic code transformation in which transformations are tuned for specific applications and contexts are difficult to achieve in an accessible manner. In this paper, we present…