Seguir
Veselin Raychev
Veselin Raychev
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
7682014
Predicting program properties from" big code"
V Raychev, M Vechev, A Krause
ACM SIGPLAN Notices 50 (1), 111-124, 2015
4942015
Probabilistic model for code with decision trees
V Raychev, P Bielik, M Vechev
ACM SIGPLAN Notices 51 (10), 731-747, 2016
2722016
PHOG: probabilistic model for code
P Bielik, V Raychev, M Vechev
International conference on machine learning, 2933-2942, 2016
2482016
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
2162010
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
1552016
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
1442014
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
1172018
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
1002021
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
612015
Refactoring with synthesis
V Raychev, M Schäfer, M Sridharan, M Vechev
ACM SIGPLAN Notices 48 (10), 339-354, 2013
592013
Learning a static analyzer from data
P Bielik, V Raychev, M Vechev
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
582017
Inferring crypto API rules from code changes
R Paletov, P Tsankov, V Raychev, M Vechev
ACM SIGPLAN Notices 53 (4), 450-464, 2018
452018
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