3 citations · 3 across the 2 of their papers we have counts for
5 papers
Streaming Transformations of Infinite Ordered-Data Words
Xiaokang Qiu
In this paper, we define streaming register transducer (SRT), a one-way, letter-to-letter, transductional machine model for transformations of infinite data words whose data domain…
Grand Challenges in Resilience: Autonomous System Resilience through Design and Runtime Measures
Saurabh Bagchi, Vaneet Aggarwal, Somali Chaterji +13
A set of about 80 researchers, practitioners, and federal agency program managers participated in the NSF-sponsored Grand Challenges in Resilience Workshop held on Purdue campus on…
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…