research
∙
04/19/2022
Example-based Synthesis of Static Analysis Rules
Static Analysis tools have rules for several code quality issues and the...
share
research
∙
12/28/2017
Inferring Formal Properties of Production Key-Value Stores
Production distributed systems are challenging to formally verify, in pa...
research
∙
12/26/2017
Horn-ICE Learning for Synthesizing Invariants and Contracts
We design learning algorithms for synthesizing invariants using Horn imp...
research
∙
12/15/2017