5 citations · 6 across the 7 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.PL2023
Efficient Bottom-Up Synthesis for Programs with Local Variables
Xiang Li, Xiangyu Zhou, Rui Dong +2
We propose a new synthesis algorithm that can efficiently search programs with local variables (e.g., those introduced by lambdas). Prior bottom-up synthesis algorithms are not abl…
cs.HC2023★ 5 cited
DiLogics: Creating Web Automation Programs With Diverse Logics
Kevin Pu, Jim Yang, Angel Yuan +5
Knowledge workers frequently encounter repetitive web data entry tasks, like updating records or placing orders. Web automation increases productivity, but translating tasks to web…