Dimitar Dimitrov

Email
dimitar.dimitrov@inf.ethz.ch
Phone
+41 44 633 82 87
Room
CAB H86.1

About me

Greetings traveller. I'm Dimitar Dimitrov, a PhD student at the Department of Computer Science, ETH Zürich. I am part of the Software Reliability Lab, supervised by Martin Vechev. I come from Sofia, Bulgaria. However I was born and finished high school in the city of Varna.

My research interests include concurrency and verification. I also consider myself a programming language geek.

Education

  • 2009 — 2012, MSc in Mathematical Logic, Sofia University
  • 2005 — 2009, BSc in Informatics, Sofia University

Publications

2017

Serializability for Eventual Consistency: Criterion, Analysis, and Applications
Lucas Brutschy, Dimitar Dimitrov, Peter Müller, Martin Vechev
ACM POPL 2017
PDF

2015

Stateless Model Checking of Event-Driven Applications
Casper Svenning Jensen, Anders Møller, Veselin Raychev, Dimitar Dimitrov, Martin Vechev
ACM OOPSLA 2015
PDF
Learning Commutativity Specifications
Timon Gehr, Dimitar Dimitrov, Martin Vechev
CAV 2015
PDF
Race Detection in Two Dimensions
Dimitar Dimitrov, Martin Vechev, Vivek Sarkar
ACM SPAA 2015
PDF

2014

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

Internships