Martin Vechev
Martin Vechev
Professor of Computer Science, ETH Zurich
Verified email at - Homepage
Cited by
Cited by
Code completion with statistical language models
V Raychev, M Vechev, E Yahav
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014
Ai2: Safety and robustness certification of neural networks with abstract interpretation
T Gehr, M Mirman, D Drachsler-Cohen, P Tsankov, S Chaudhuri, ...
2018 IEEE Symposium on Security and Privacy (SP), 3-18, 2018
Predicting program properties from" big code"
V Raychev, M Vechev, A Krause
ACM SIGPLAN Notices 50 (1), 111-124, 2015
Securify: Practical security analysis of smart contracts
P Tsankov, A Dan, D Drachsler-Cohen, A Gervais, F Buenzli, M Vechev
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018
Differentiable abstract interpretation for provably robust neural networks
M Mirman, T Gehr, M Vechev
International Conference on Machine Learning, 3578-3586, 2018
Abstraction-guided synthesis of synchronization
M Vechev, E Yahav, G Yorsh
ACM SIGPLAN Notices 45 (1), 327-338, 2010
Laws of order: expensive synchronization in concurrent algorithms cannot be eliminated
H Attiya, R Guerraoui, D Hendler, P Kuznetsov, MM Michael, M Vechev
ACM SIGPLAN Notices 46 (1), 487-498, 2011
Fast and effective robustness certification
G Singh, T Gehr, M Mirman, M Püschel, M Vechev
Advances in Neural Information Processing Systems 31, 10802-10813, 2018
QVM: An efficient runtime for detecting defects in deployed systems
M Arnold, M Vechev, E Yahav
ACM SIGPLAN Notices 43 (10), 143-162, 2008
An abstract domain for certifying neural networks
G Singh, T Gehr, M Püschel, M Vechev
Proceedings of the ACM on Programming Languages 3 (POPL), 1-30, 2019
Automatic inference of memory fences
M Kuperstein, M Vechev, E Yahav
Formal Methods in Computer-Aided Design (FMCAD), 2010, 111-119, 2010
Effective race detection for event-driven programs
V Raychev, M Vechev, M Sridharan
Proceedings of the 2013 ACM SIGPLAN international conference on Object …, 2013
PHOG: probabilistic model for code
P Bielik, V Raychev, M Vechev
International Conference on Machine Learning, 2933-2942, 2016
Idempotent work stealing
MM Michael, MT Vechev, VA Saraswat
ACM SIGPLAN Notices 44 (4), 45-54, 2009
Chameleon: adaptive selection of collections
O Shacham, M Vechev, E Yahav
ACM SIGPLAN Notices 44 (6), 408-418, 2009
Learning programs from noisy data
V Raychev, P Bielik, M Vechev, A Krause
ACM SIGPLAN Notices 51 (1), 761-774, 2016
Deriving fine-grained concurrent linearizable objects
MT Vechev, E Yahav
ACM Programming Languages Design and Implementation, 2008
Race detection for web applications
B Petrov, M Vechev, M Sridharan, J Dolby
ACM SIGPLAN Notices 47 (6), 251-262, 2012
Scalable and precise dynamic datarace detection for structured parallelism
R Raman, J Zhao, V Sarkar, M Vechev, E Yahav
Acm Sigplan Notices 47 (6), 531-542, 2012
Efficient data race detection for async-finish parallelism
R Raman, J Zhao, V Sarkar, M Vechev, E Yahav
Runtime Verification, 368-383, 2010
The system can't perform the operation now. Try again later.
Articles 1–20