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. I obtained my M.Sc. and B.Sc. from Sofia University, respectively in 2009 and 2006.

Publications

Phrase-Based Statistical Translation of Programming Languages
Svetoslav Karaivanov, Veselin Raychev, Martin Vechev
Onward 2014
PDF
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

Awards

  • OOPSLA Outstanding artifact award for our paper: Effective Race Detection for Event-Driven Programs.
  • SIGPLAN travel grant for OOPSLA 2013.
  • Google OC award for the work on Google Translate.
  • 19th place in the ACM International Collegiate Programming Contest - World Finals, San Antonio, TX, 2006.
  • 29th place in the ACM International Collegiate Programming Contest - World Finals, Shanghai China, 2005.
  • Bronze medal in the International Olympiad in Informatics, Yong-in, Korea, 2002.
  • Silver medal in the Balkan Olympiad in Informatics, Belgrade, Yugoslavia, 2002.
  • 1st place in the National Olympiad in Informatics, Sofia, Bulgaria, 2002.

Service

Supervised students

Previous projects

  • Nov 2006 - March 2012 : Senior Software Engineer, Google.
    • 2008-2012: Transit Directions: We created a scalable computation for finding routes in graphs with hundreds of millions of nodes. I designed and developed many of the transfer patterns computation algorithms, query processing algorithms, the distributed system and the production system (designed for 0 downtime).
    • 2008: Google Translate: Tuned the first machine translation system between Bulgarian and English.
    • 2006-2008: We developed the software for moving huge amounts of data to/from hardware like this (Google Datacenter) and backed up most of Google's data.