About meI 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.
- 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.
- Nov 2006 - March 2009 : MSc in Artificial Intelligence, Sofia University.
- Sept 2002 - June 2006 : BSc in Informatics, Sofia University.
Code Completion with Statistical Language Models
Veselin Raychev, Martin Vechev, Eran Yahav
ACM PLDI 2014
Commutativity Race Detection
Dimitar Dimitrov, Veselin Raychev, Martin Vechev, Eric Koskinen
ACM PLDI 2014
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
- PLDI 2014 Artifact Evaluation Committee - committee member
- ECOOP 2014 Artifact Evaluation Committee - committee member
- 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.