关注
Veselin Raychev
Veselin Raychev
在 inf.ethz.ch 的电子邮件经过验证
标题
引用次数
引用次数
年份
Code completion with statistical language models
V Raychev, M Vechev, E Yahav
Proceedings of the 35th ACM SIGPLAN conference on programming language …, 2014
7942014
Predicting program properties from" big code"
V Raychev, M Vechev, A Krause
ACM SIGPLAN Notices 50 (1), 111-124, 2015
4992015
Probabilistic model for code with decision trees
V Raychev, P Bielik, M Vechev
ACM SIGPLAN Notices 51 (10), 731-747, 2016
2822016
PHOG: probabilistic model for code
P Bielik, V Raychev, M Vechev
International conference on machine learning, 2933-2942, 2016
2562016
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
2212010
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
1462014
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
1422013
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
1232018
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
1092021
Scalable race detection for android applications
P Bielik, V Raychev, M Vechev
ACM SIGPLAN Notices 50 (10), 332-348, 2015
1072015
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
662015
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
612017
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
402019
系统目前无法执行此操作,请稍后再试。
文章 1–20