팔로우
Martin Vechev
Martin Vechev
Professor of Computer Science, ETH Zurich
inf.ethz.ch의 이메일 확인됨 - 홈페이지
제목
인용
인용
연도
Code completion with statistical language models
V Raychev, M Vechev, E Yahav
ACM PLDI, 2014
5802014
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
5622018
Securify: Practical security analysis of smart contracts
P Tsankov, A Dan, D Drachsler-Cohen, A Gervais, F Buenzli, M Vechev
ACM CCS 2018, 2018
4992018
Predicting program properties from" big code"
V Raychev, M Vechev, A Krause
ACM POPL 2015, 2015
3982015
Differentiable abstract interpretation for provably robust neural networks
M Mirman, T Gehr, M Vechev
ICML 2018, 2018
3422018
An abstract domain for certifying neural networks
G Singh, T Gehr, M Püschel, M Vechev
ACM POPL 2019, 2019
3292019
Fast and Effective Robustness Certification
G Singh, T Gehr, M Mirman, M Püschel, MT Vechev
NeurIPS 2018, 2018
2972018
PHOG: probabilistic model for code
P Bielik, V Raychev, M Vechev
ICML 2016, 0
175*
Abstraction-guided synthesis of synchronization
M Vechev, E Yahav, G Yorsh
ACM POPL 2010, 2010
1632010
Learning programs from noisy data
V Raychev, P Bielik, M Vechev, A Krause
ACM POPL 2016, 2016
1482016
Effective race detection for event-driven programs
V Raychev, M Vechev, M Sridharan
ACM OOPSLA 2013, 2013
1462013
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
1462011
Probabilistic model for code with decision trees
V Raychev, P Bielik, M Vechev
Proceedings of the 2016 ACM international conference on Object oriented …, 2016
1432016
QVM: An efficient runtime for detecting defects in deployed systems
M Arnold, M Vechev, E Yahav
ACM OOPSLA 2008, 2008
1402008
Automatic inference of memory fences
M Kuperstein, M Vechev, E Yahav
FMCAD 2010, 2010
1362010
Idempotent work stealing
MM Michael, MT Vechev, VA Saraswat
ACM PPoPP 2009, 2009
1282009
Chameleon: adaptive selection of collections
O Shacham, M Vechev, E Yahav
ACM Programming Languages Design and Implementation 44 (6), 408-418, 2009
1272009
Boosting Robustness Certification of Neural Networks
G Singh, T Gehr, M Püschel, MT Vechev
ICLR 2019, 2019
126*2019
Race detection for web applications
B Petrov, M Vechev, M Sridharan, J Dolby
ACM Programming Languages Design and Implementation 47 (6), 251-262, 2012
1262012
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
1252020
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20