3 citations · 3 across the 2 of their papers we have counts for
3 papers · 1 filter
Reasoning About Recursive Tree Traversals
Yanjun Wang, Jinwei Liu, Dalin Zhang +1
Traversals are commonly seen in tree data structures, and performance-enhancing transformations between tree traversals are critical for many applications. Existing approaches to r…
Reconciling Enumerative and Symbolic Search in Syntax-Guided Synthesis
Kangjing Huang, Xiaokang Qiu, Qi Tian +1
Syntax-guided synthesis aims to find a program satisfying semantic specification as well as user-provided structural hypothesis. For syntax-guided synthesis there are two main sear…
JSKETCH: Sketching for Java
Jinseong Jeon, Xiaokang Qiu, Jeffrey S. Foster +1
Sketch-based synthesis, epitomized by the SKETCH tool, lets developers synthesize software starting from a partial program, also called a sketch or template. This paper presents JS…