18 citations · 34 across the 12 of their papers we have counts for
1 paper · 1 filter
Rui Dong, Qingyue Wu, Danny Ding +3
Abstract semantics has proven to be instrumental for accelerating search-based program synthesis, by enabling the sound pruning of a set of incorrect programs (without enumerating…