3 citations · 6 across the 6 of their papers we have counts for
7 papers
Comparative Synthesis: Learning Near-Optimal Network Designs by Query
Yanjun Wang, Zixuan Li, Chuan Jiang +2
When managing wide-area networks, network architects must decide how to balance multiple conflicting metrics, and ensure fair allocations to competing traffic while prioritizing cr…
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…
Synthesis of Recursive ADT Transformations from Reusable Templates
Jeevana Priya Inala, Nadia Polikarpova, Xiaokang Qiu +2
Recent work has proposed a promising approach to improving scalability of program synthesis by allowing the user to supply a syntactic template that constrains the space of potenti…