research
∙
05/25/2021
Comparative Synthesis: Learning Optimal Programs with Indeterminate Objectives
Quantitative program synthesis aims to generate a program that satisfies...
share
research
∙
01/20/2020
Streaming Transformations of Infinite Ordered-Data Words
In this paper, we define streaming register transducer (SRT), a one-way,...
research
∙
12/25/2019
Grand Challenges of Resilience: Autonomous System Resilience through Design and Runtime Measures
A set of about 80 researchers, practitioners, and federal agency program...
research
∙
10/21/2019
Reasoning About Recursive Tree Traversals
Traversals are commonly seen in tree data structures, and performance-en...
research
∙
02/13/2018