| Code completion with statistical language models V Raychev, M Vechev, E Yahav Proceedings of the 35th ACM SIGPLAN conference on programming language …, 2014 | 686 | 2014 |
| Predicting program properties from" big code" V Raychev, M Vechev, A Krause ACM SIGPLAN Notices 50 (1), 111-124, 2015 | 440 | 2015 |
| PHOG: probabilistic model for code P Bielik, V Raychev, M Vechev International conference on machine learning, 2933-2942, 2016 | 214 | 2016 |
| Probabilistic model for code with decision trees V Raychev, P Bielik, M Vechev ACM SIGPLAN Notices 51 (10), 731-747, 2016 | 212 | 2016 |
| Fast Routing in Very Large Public Transportation Networks Using Transfer Patterns. H Bast, E Carlsson, A Eigenwillig, R Geisberger, C Harrelson, V Raychev, ... ESA (1) 6346, 290-301, 2010 | 202 | 2010 |
| Learning programs from noisy data V Raychev, P Bielik, M Vechev, A Krause ACM Sigplan Notices 51 (1), 761-774, 2016 | 168 | 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 | 160 | 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 | 140 | 2016 |
| 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 | 136 | 2013 |
| 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 | 117 | 2014 |
| Scalable race detection for android applications P Bielik, V Raychev, M Vechev ACM SIGPLAN Notices 50 (10), 332-348, 2015 | 101 | 2015 |
| 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 | 86 | 2018 |
| Commutativity race detection D Dimitrov, V Raychev, M Vechev, E Koskinen ACM SIGPLAN Notices 49 (6), 305-315, 2014 | 82 | 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 | 65 | 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 | 60 | 2015 |
| Refactoring with synthesis V Raychev, M Schäfer, M Sridharan, M Vechev ACM SIGPLAN Notices 48 (10), 339-354, 2013 | 56 | 2013 |
| 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 | 51 | 2021 |
| Learning a static analyzer from data P Bielik, V Raychev, M Vechev Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 48 | 2017 |
| Inferring crypto API rules from code changes R Paletov, P Tsankov, V Raychev, M Vechev ACM SIGPLAN Notices 53 (4), 450-464, 2018 | 41 | 2018 |
| Language-independent sentiment analysis using subjectivity and positional information V Raychev, P Nakov arXiv preprint arXiv:1911.12544, 2019 | 34 | 2019 |
Martin VechevProfessor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
