Suivre
Martin Vechev
Martin Vechev
Professor of Computer Science, ETH Zurich
Adresse e-mail validée de inf.ethz.ch - Page d'accueil
Titre
Citée par
Citée par
Année
Ai2: Safety and robustness certification of neural networks with abstract interpretation
T Gehr, M Mirman, D Drachsler-Cohen, P Tsankov, S Chaudhuri, ...
IEEE Symposium on Security and Privacy (SP) 2018, 2018
6142018
Code completion with statistical language models
V Raychev, M Vechev, E Yahav
ACM PLDI, 2014
6012014
Securify: Practical security analysis of smart contracts
P Tsankov, A Dan, D Drachsler-Cohen, A Gervais, F Buenzli, M Vechev
ACM CCS 2018, 2018
5332018
Predicting program properties from" big code"
V Raychev, M Vechev, A Krause
ACM POPL 2015, 2015
4102015
Differentiable abstract interpretation for provably robust neural networks
M Mirman, T Gehr, M Vechev
ICML 2018, 2018
3882018
An abstract domain for certifying neural networks
G Singh, T Gehr, M Püschel, M Vechev
ACM POPL 2019, 2019
3732019
Fast and Effective Robustness Certification
G Singh, T Gehr, M Mirman, M Püschel, MT Vechev
NeurIPS 2018, 2018
3262018
PHOG: probabilistic model for code
P Bielik, V Raychev, M Vechev
ICML 2016, 0
180*
Abstraction-guided synthesis of synchronization
M Vechev, E Yahav, G Yorsh
ACM POPL 2010, 2010
1632010
Probabilistic model for code with decision trees
V Raychev, P Bielik, M Vechev
Proceedings of the 2016 ACM international conference on Object oriented …, 2016
1552016
Learning programs from noisy data
V Raychev, P Bielik, M Vechev, A Krause
ACM POPL 2016, 2016
1522016
Effective race detection for event-driven programs
V Raychev, M Vechev, M Sridharan
ACM OOPSLA 2013, 2013
1522013
Laws of order: expensive synchronization in concurrent algorithms cannot be eliminated
H Attiya, R Guerraoui, D Hendler, P Kuznetsov, MM Michael, M Vechev
ACM POPL 2011, 2011
1482011
QVM: An efficient runtime for detecting defects in deployed systems
M Arnold, M Vechev, E Yahav
ACM OOPSLA 2008, 2008
1432008
Verx: Safety verification of smart contracts
A Permenev, D Dimitrov, P Tsankov, D Drachsler-Cohen, M Vechev
2020 IEEE symposium on security and privacy (SP), 1661-1677, 2020
1382020
Automatic inference of memory fences
M Kuperstein, M Vechev, E Yahav
FMCAD 2010, 2010
1382010
Boosting Robustness Certification of Neural Networks
G Singh, T Gehr, M Püschel, MT Vechev
ICLR 2019, 2019
1332019
Race detection for web applications
B Petrov, M Vechev, M Sridharan, J Dolby
ACM Programming Languages Design and Implementation 47 (6), 251-262, 2012
1292012
Chameleon: adaptive selection of collections
O Shacham, M Vechev, E Yahav
ACM Programming Languages Design and Implementation 44 (6), 408-418, 2009
1292009
Idempotent work stealing
MM Michael, MT Vechev, VA Saraswat
ACM PPoPP 2009, 2009
1282009
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20