Veselin Raychev



Email
veselin.raychev@inf.ethz.ch
Phone
+41 44 632 39 06
Room
CAB H84.1

About me

I am a PhD student in the Software Reliability Lab in ETH Zurich. Originally, I am from Sofia, Bulgaria. My research interests include Program Analysis, Algorithms and Machine Learning.

Previous projects

Education

Publications

Code Completion with Statistical Language Models
Veselin Raychev, Martin Vechev, Eran Yahav
ACM PLDI 2014
PDF

Commutativity Race Detection
Dimitar Dimitrov, Veselin Raychev, Martin Vechev, Eric Koskinen
ACM PLDI 2014
PDF

Effective Race Detection for Event-Driven Programs
Veselin Raychev, Martin Vechev, Manu Sridharan
ACM OOPSLA 2013
PDF , slides:

Refactoring with Synthesis
Veselin Raychev, Max Schaefer, Manu Sridharan, Martin Vechev
ACM OOPSLA 2013
PDF , slides:

Automatic Synthesis of Deterministic Concurrency
Veselin Raychev, Martin Vechev, Eran Yahav
Static Analysis Symposium (SAS) 2013
PDF , slides: , PDF

Fast Routing in Very Large Public Transportation Networks Using Transfer Patterns
Hannah Bast, Erik Carlsson, Arno Eigenwillig, Robert Geisberger, Chris Harrelson, Veselin Raychev, Fabien Viger
ESA 2010
PDF

Language-Independent Sentiment Analysis Using Subjectivity and Positional Information
Veselin Raychev, Preslav Nakov
RANLP 2009
PDF

Service

Awards