research
∙
09/02/2022
Type-Directed Synthesis of Visualizations from Natural Language Queries
We propose a new technique based on program synthesis for automatically ...
share
research
∙
04/12/2022
Finding and Analyzing Crash-Consistency Bugs in Persistent-Memory File Systems
We present a study of crash-consistency bugs in persistent-memory (PM) f...
research
∙
04/22/2019
Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness
In recent years, the notion of local robustness (or robustness for short...
research
∙
04/22/2019