Concepedia

Veselin Raychev

VR

32

Publications

2.6K

Citations

22

H-Index

2013

Active since

Affiliations

ETH Zurich(Current)

IBM Research - Thomas J. Watson Research Center

Nanyang Technological University

Aarhus University

New York University

Veselin Raychev is an author at ETH Zurich specializing in computer science, program analysis, and engineering.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisData ScienceFormal MethodsSoftware EngineeringSoftware TestingFormal VerificationAutomated Reasoning

Publications per year

2013–2021

32

Publications

32

Code completion with statistical language models

Veselin Raychev, Martin Vechev, Eran Yahav · 2014 · 542 citations

Engineering, Software Engineering, Source Code Analysis +21

Predicting Program Properties from "Big Code"

Veselin Raychev, Martin Vechev, Andreas Krause · 2014 · 311 citations

Software Maintenance, Engineering, Software Engineering +18

Code completion with statistical language models

Veselin Raychev, Martin Vechev, Eran Yahav · ACM SIGPLAN Notices · 2014 · 187 citations

Engineering, Software Engineering, Statistical Language Model +20

Probabilistic model for code with decision trees

Veselin Raychev, Pavol Bielik, Martin Vechev · 2016 · 159 citations

Software Maintenance, Engineering, Machine Learning +20

Effective race detection for event-driven programs

Veselin Raychev, Martin Vechev, Manu Sridharan · 2013 · 125 citations

Engineering, Verification, Computer Architecture +22

Rows per page

1–5 of 32