Martin Vechev

Securify

Petar Tsankov, Andrei Dan, Dana Drachsler-Cohen et al. · 2018 · 1K citations

Computing, Computer Science, Cybersecurity +17

AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation

Timon Gehr, Matthew Mirman, Dana Drachsler-Cohen et al. · 2018 · 813 citations · Full text

Computing, Computer Science, Artificial Intelligence +15

An abstract domain for certifying neural networks

Gagandeep Singh, Timon Gehr, Markus Püschel et al. · Proceedings of the ACM on Programming Languages · 2019 · 598 citations · Full text

Computing, Computer Engineering, Computer Science +15

Code completion with statistical language models

Veselin Raychev, Martin Vechev, Eran Yahav · 2014 · 552 citations

Computing, Computer Science, Natural Language Processing +8

Predicting Program Properties from "Big Code"

Veselin Raychev, Martin Vechev, Andreas Krause · 2014 · 314 citations

Computing, Computer Science, Machine Learning +11