Folgen
Martin Vechev
Martin Vechev
Professor of Computer Science, ETH Zurich
Bestätigte E-Mail-Adresse bei inf.ethz.ch - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
7032018
Code completion with statistical language models
V Raychev, M Vechev, E Yahav
ACM PLDI 2014, 2014
6562014
Securify: Practical security analysis of smart contracts
P Tsankov, A Dan, D Drachsler-Cohen, A Gervais, F Buenzli, M Vechev
ACM CCS 2018, 2018
6292018
An abstract domain for certifying neural networks
G Singh, T Gehr, M Püschel, M Vechev
ACM POPL 2019, 2019
4642019
Differentiable abstract interpretation for provably robust neural networks
M Mirman, T Gehr, M Vechev
ICML 2018, 2018
4372018
Predicting program properties from" big code"
V Raychev, M Vechev, A Krause
ACM POPL 2015, 2015
4312015
Fast and Effective Robustness Certification
G Singh, T Gehr, M Mirman, M Püschel, MT Vechev
NeurIPS 2018, 2018
3902018
PHOG: probabilistic model for code
P Bielik, V Raychev, M Vechev
ICML 2016, 0
204*
Probabilistic model for code with decision trees
V Raychev, P Bielik, M Vechev
Proceedings of the 2016 ACM international conference on Object oriented …, 2016
1862016
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
1772020
Abstraction-guided synthesis of synchronization
M Vechev, E Yahav, G Yorsh
ACM POPL 2010, 2010
1692010
Learning programs from noisy data
V Raychev, P Bielik, M Vechev, A Krause
ACM POPL 2016, 2016
1592016
Boosting Robustness Certification of Neural Networks
G Singh, T Gehr, M Püschel, MT Vechev
ICLR 2019, 2019
157*2019
Effective race detection for event-driven programs
V Raychev, M Vechev, M Sridharan
ACM OOPSLA 2013, 2013
1552013
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
1512011
QVM: An efficient runtime for detecting defects in deployed systems
M Arnold, M Vechev, E Yahav
ACM OOPSLA 2008, 2008
1462008
Automatic inference of memory fences
M Kuperstein, M Vechev, E Yahav
FMCAD 2010, 2010
1402010
Statistical deobfuscation of android applications
B Bichsel, V Raychev, P Tsankov, M Vechev
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications …, 2016
1352016
Chameleon: adaptive selection of collections
O Shacham, M Vechev, E Yahav
ACM Programming Languages Design and Implementation 44 (6), 408-418, 2009
1332009
Idempotent work stealing
MM Michael, MT Vechev, VA Saraswat
ACM PPoPP 2009, 2009
1332009
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20