1 citations · 1 across the 4 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2026
Presynthesis: Towards Scaling Up Program Synthesis with Finer-Grained Abstract Semantics
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…
cs.PL2022★ 1 cited
WebRobot: Web Robotic Process Automation using Interactive Programming-by-Demonstration
Rui Dong, Zhicheng Huang, Ian Iong Lam +2
It is imperative to democratize robotic process automation (RPA), as RPA has become a main driver of the digital transformation but is still technically very demanding to construct…