Search papers, labs, and topics across Lattice.
University of Texas at Austin
1
0
2
1
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.
