research
∙
02/12/2021
Data-Driven Synthesis of Provably Sound Side Channel Analyses
We propose a data-driven method for synthesizing a static analyzer to de...
share
research
∙
06/01/2019
Synthesizing Datalog Programs using Numerical Relaxation
The problem of learning logical rules from examples arises in diverse fi...
research
∙
07/10/2018
Streamable Regular Transductions
Motivated by real-time monitoring and data processing applications, we d...
research
∙
07/13/2017