| Code completion with statistical language models V Raychev, M Vechev, E Yahav Proceedings of the 35th ACM SIGPLAN conference on programming language …, 2014 | 794 | 2014 |
| Predicting program properties from" big code" V Raychev, M Vechev, A Krause ACM SIGPLAN Notices 50 (1), 111-124, 2015 | 499 | 2015 |
| Probabilistic model for code with decision trees V Raychev, P Bielik, M Vechev ACM SIGPLAN Notices 51 (10), 731-747, 2016 | 282 | 2016 |
| PHOG: probabilistic model for code P Bielik, V Raychev, M Vechev International conference on machine learning, 2933-2942, 2016 | 256 | 2016 |
| Fast routing in very large public transportation networks using transfer patterns H Bast, E Carlsson, A Eigenwillig, R Geisberger, C Harrelson, V Raychev, ... Algorithms–ESA 2010: 18th Annual European Symposium, Liverpool, UK …, 2010 | 221 | 2010 |
| Learning programs from noisy data V Raychev, P Bielik, M Vechev, A Krause ACM Sigplan Notices 51 (1), 761-774, 2016 | 190 | 2016 |
| Effective race detection for event-driven programs V Raychev, M Vechev, M Sridharan Proceedings of the 2013 ACM SIGPLAN international conference on Object …, 2013 | 166 | 2013 |
| 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 | 157 | 2016 |
| Phrase-based statistical translation of programming languages S Karaivanov, V Raychev, M Vechev Proceedings of the 2014 ACM international symposium on new ideas, new …, 2014 | 146 | 2014 |
| Transit routing system for public transportation trip planning H Bast, E Carlsson, A Eigenwillig, R Geisberger, C Harrelson, V Raychev, ... US Patent 8,417,409, 2013 | 142 | 2013 |
| Debin: Predicting debug information in stripped binaries J He, P Ivanov, P Tsankov, V Raychev, M Vechev Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications …, 2018 | 123 | 2018 |
| Tfix: Learning to fix coding errors with a text-to-text transformer B Berabi, J He, V Raychev, M Vechev International Conference on Machine Learning, 780-791, 2021 | 109 | 2021 |
| Scalable race detection for android applications P Bielik, V Raychev, M Vechev ACM SIGPLAN Notices 50 (10), 332-348, 2015 | 107 | 2015 |
| Commutativity race detection D Dimitrov, V Raychev, M Vechev, E Koskinen ACM SIGPLAN Notices 49 (6), 305-315, 2014 | 83 | 2014 |
| Stateless model checking of event-driven applications CS Jensen, A Møller, V Raychev, D Dimitrov, M Vechev ACM SIGPLAN Notices 50 (10), 57-73, 2015 | 66 | 2015 |
| Parallelizing user-defined aggregations using symbolic execution V Raychev, M Musuvathi, T Mytkowicz Proceedings of the 25th Symposium on Operating Systems Principles, 153-167, 2015 | 62 | 2015 |
| Learning a static analyzer from data P Bielik, V Raychev, M Vechev Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 61 | 2017 |
| Refactoring with synthesis V Raychev, M Schäfer, M Sridharan, M Vechev ACM SIGPLAN Notices 48 (10), 339-354, 2013 | 59 | 2013 |
| Inferring crypto API rules from code changes R Paletov, P Tsankov, V Raychev, M Vechev ACM SIGPLAN Notices 53 (4), 450-464, 2018 | 48 | 2018 |
| Scalable taint specification inference with big code V Chibotaru, B Bichsel, V Raychev, M Vechev Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019 | 40 | 2019 |
Martin VechevFull Professor of Computer Science, ETH Zurich; Scientific Director, INSAIT;在 inf.ethz.ch 的电子邮件经过验证
