124 citations · 504 across the 13 of their papers we have counts for
1 paper · 2 filters
Hila Peleg, Sharon Shoham, Eran Yahav
In recent years, there has been tremendous progress in automated synthesis techniques that are able to automatically generate code based on some intent expressed by the programmer.…