| Code completion with statistical language models V Raychev, M Vechev, E Yahav Proceedings of the 35th ACM SIGPLAN conference on programming language …, 2014 | 827 | 2014 |
| Predicting program properties from" big code" V Raychev, M Vechev, A Krause ACM SIGPLAN Notices 50 (1), 111-124, 2015 | 512 | 2015 |
| Probabilistic model for code with decision trees V Raychev, P Bielik, M Vechev ACM SIGPLAN Notices 51 (10), 731-747, 2016 | 294 | 2016 |
| PHOG: probabilistic model for code P Bielik, V Raychev, M Vechev International conference on machine learning, 2933-2942, 2016 | 262 | 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 | 224 | 2010 |
| Learning programs from noisy data V Raychev, P Bielik, M Vechev, A Krause ACM Sigplan Notices 51 (1), 761-774, 2016 | 191 | 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 | 169 | 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 | 163 | 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 | 151 | 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 | 147 | 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 | 133 | 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 | 120 | 2021 |
| Scalable race detection for android applications P Bielik, V Raychev, M Vechev ACM SIGPLAN Notices 50 (10), 332-348, 2015 | 109 | 2015 |
| Commutativity race detection D Dimitrov, V Raychev, M Vechev, E Koskinen ACM SIGPLAN Notices 49 (6), 305-315, 2014 | 77 | 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 | 68 | 2015 |
| Learning a static analyzer from data P Bielik, V Raychev, M Vechev Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 64 | 2017 |
| 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 | 63 | 2015 |
| 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 | 42 | 2019 |
Martin VechevFull Professor of Computer Science, ETH Zurich; Scientific Director, INSAIT;Verified email at inf.ethz.ch
