134 citations · 776 across the 124 of their papers we have counts for
3 papers · 1 filter
Network-wide Configuration Synthesis
Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever +1
Computer networks are hard to manage. Given a set of high-level requirements (e.g., reachability, security), operators have to manually figure out the individual configuration of p…
Learning a Static Analyzer from Data
Pavol Bielik, Veselin Raychev, Martin Vechev
To be practically useful, modern static analyzers must precisely model the effect of both, statements in the programming language as well as frameworks used by the program under an…
Optimal Learning of Specifications from Examples
Dana Drachsler-Cohen, Martin Vechev, Eran Yahav
A fundamental challenge in synthesis from examples is designing a learning algorithm that poses the minimal number of questions to an end user while guaranteeing that the target hy…