Showing cs.PLShow all
2 papers · 1 filter
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…