5 citations · 5 across the 5 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.SE2026
Theory Under Construction: Orchestrating Language Models for Research Software Where the Specification Evolves
Halley Young, Nikolaj Björner
Large language models can now generate substantial code and draft research text, but research-software projects require more than either artifact alone. The mathematical thesis, ex…
cs.PL2026
Sheaf-Cohomological Program Analysis: Unifying Bug Finding, Equivalence, and Verification via Čech Cohomology
Halley Young
We present a framework in which program analysis -- type checking, bug finding, and equivalence verification -- is organized as computing the Čech cohomology of a semantic presheaf…