Search papers, labs, and topics across Lattice.
University of Michigan
1
0
2
3
Finer-grained abstract semantics can finally deliver on its promise of faster program synthesis, thanks to a new offline "presynthesis" phase that avoids costly online pruning.
