We propose a data-driven method for synthesizing a static analyzer to de...
The problem of learning logical rules from examples arises in diverse fi...
Motivated by real-time monitoring and data processing applications, we
d...
Program synthesis and repair have emerged as an exciting area of researc...