Scaling Up Program Synthesis
Making search-based program synthesis faster and more scalable.
Program synthesis lets scientists say what to compute and leave the how to the machine, but it must scale to be useful. I make search practical with compact representations of enormous, entangled program spaces and precomputed abstract semantics that prune wrong programs fast.