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 Secure, Reliable, and Intelligent Systems 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

2018

Training Neural Machines with Trace-Based Supervision
Matthew Mirman, Dimitar Dimitrov, Pavle Djordjevich, Timon Gehr, Martin Vechev
ICML 2018
Static Serializability Analysis for Causal Consistency
Lucas Brutschy, Dimitar Dimitrov, Peter Müller, Martin Vechev
PLDI 2018

2017

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

2015

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

2014

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

Internship

Summer 2011, internship at IBM Watson Research Center under a joint programme with Rice University. Supervised by Vivek Sarkar and Martin Vechev.