3 papers
cs.FL2026
Syntax Repair as Language Intersection
Breandan Considine
Syntax repair can be viewed as a question about finite languages: given an invalid string and a grammar, which nearby strings are syntactically valid? We formalize bounded syntax r…
cs.PL2026
Towards a Linear-Algebraic Hypervisor
Breandan Considine
Many techniques in program synthesis, superoptimization, and array programming require parallel rollouts of general-purpose programs. GPUs, while capable targets for domain-specifi…
cs.PL2025
A Word Sampler for Well-Typed Functions
Breandan Considine
We describe an exact sampler for a simply-typed, first-order functional programming language. Given an acyclic finite automaton, , it samples a random function un…