Seguir
Veselin Raychev
Veselin Raychev
ETH Zurich
Dirección de correo verificada de inf.ethz.ch
Título
Citado por
Citado por
Año
Code completion with statistical language models
V Raychev, M Vechev, E Yahav
Proceedings of the 35th ACM SIGPLAN conference on programming language …, 2014
7742014
Predicting program properties from" big code"
V Raychev, M Vechev, A Krause
ACM SIGPLAN Notices 50 (1), 111-124, 2015
4962015
Probabilistic model for code with decision trees
V Raychev, P Bielik, M Vechev
ACM SIGPLAN Notices 51 (10), 731-747, 2016
2752016
PHOG: probabilistic model for code
P Bielik, V Raychev, M Vechev
International conference on machine learning, 2933-2942, 2016
2502016
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
2172010
Learning programs from noisy data
V Raychev, P Bielik, M Vechev, A Krause
ACM Sigplan Notices 51 (1), 761-774, 2016
1902016
Effective race detection for event-driven programs
V Raychev, M Vechev, M Sridharan
Proceedings of the 2013 ACM SIGPLAN international conference on Object …, 2013
1662013
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
1572016
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
1452014
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
1412013
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
1192018
Scalable race detection for android applications
P Bielik, V Raychev, M Vechev
ACM SIGPLAN Notices 50 (10), 332-348, 2015
1072015
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
1022021
Commutativity race detection
D Dimitrov, V Raychev, M Vechev, E Koskinen
ACM SIGPLAN Notices 49 (6), 305-315, 2014
832014
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
652015
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
622015
Learning a static analyzer from data
P Bielik, V Raychev, M Vechev
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
592017
Refactoring with synthesis
V Raychev, M Schäfer, M Sridharan, M Vechev
ACM SIGPLAN Notices 48 (10), 339-354, 2013
592013
Inferring crypto API rules from code changes
R Paletov, P Tsankov, V Raychev, M Vechev
ACM SIGPLAN Notices 53 (4), 450-464, 2018
482018
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
372019
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20