We stand with Ukraine  

Dimitar Dimitrov

Orcid: 0000-0001-9393-0925

Affiliations:
  • Institute for Computer Science, Artificial Intelligence and Technology (INSAIT), Sofia, Bulgaria
  • Sofia University "St. Kliment Ohridski", Sofia, Bulgaria
  • ETH Zürich, Switzerland (PhD 2020)


According to our database1, Dimitar Dimitrov authored at least 15 papers between 2014 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2025
Artifact for "qblaze: An Efficient and Scalable Sparse Quantum Simulator".
[BibTeX]
[DOI]
Hristo Venev
,
Thien Udomsrirungruang
,
Dimitar Dimitrov
,
Timon Gehr
,
Martin T. Vechev
Dataset, August, 2025

Artifact for "qblaze: An Efficient and Scalable Sparse Quantum Simulator".
[BibTeX]
[DOI]
Hristo Venev
,
Thien Udomsrirungruang
,
Dimitar Dimitrov
,
Timon Gehr
,
Martin T. Vechev
Dataset, August, 2025

qblaze: An Efficient and Scalable Sparse Quantum Simulator.
[BibTeX]
[DOI]
Hristo Venev
,
Thien Udomsrirungruang
,
Dimitar Dimitrov
,
Timon Gehr
,
Martin T. Vechev
Proc. ACM Program. Lang., 2025

2024
Artifact for "Modular Synthesis of Efficient Quantum Uncomputation".
[BibTeX]
[DOI]
Hristo Venev
,
Timon Gehr
,
Dimitar Dimitrov
,
Martin T. Vechev
Dataset, October, 2024

Artifact for "Modular Synthesis of Efficient Quantum Uncomputation".
[BibTeX]
[DOI]
Hristo Venev
,
Timon Gehr
,
Dimitar Dimitrov
,
Martin T. Vechev
Dataset, August, 2024

Modular Synthesis of Efficient Quantum Uncomputation.
[BibTeX]
[DOI]
Hristo Venev
,
Timon Gehr
,
Dimitar Dimitrov
,
Martin T. Vechev
Proc. ACM Program. Lang., 2024

2020
Concurrency Analysis for Abstract Data Types.
[BibTeX]
[DOI]
Dimitar Dimitrov
PhD thesis, 2020

VerX: Safety Verification of Smart Contracts.
[BibTeX]
[DOI]
Anton Permenev
,
Dimitar Dimitrov
,
Petar Tsankov
,
Dana Drachsler-Cohen
,
Martin T. Vechev
Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

2018
Static serializability analysis for causal consistency.
[BibTeX]
[DOI]
Lucas Brutschy
,
Dimitar Dimitrov
,
Peter Müller
,
Martin T. Vechev
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Training Neural Machines with Trace-Based Supervision.
[BibTeX]
[DOI]
Matthew Mirman
,
Dimitar Dimitrov
,
Pavle Djordjevic
,
Timon Gehr
,
Martin T. Vechev
Proceedings of the 35th International Conference on Machine Learning, 2018

2017
Serializability for eventual consistency: criterion, analysis, and applications.
[BibTeX]
[DOI]
Lucas Brutschy
,
Dimitar Dimitrov
,
Peter Müller
,
Martin T. Vechev
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2015
Race Detection in Two Dimensions.
[BibTeX]
[DOI]
Dimitar Dimitrov
,
Martin T. Vechev
,
Vivek Sarkar
Proceedings of the 27th ACM on Symposium on Parallelism in Algorithms and Architectures, 2015

Stateless model checking of event-driven applications.
[BibTeX]
[DOI]
Casper Svenning Jensen
,
Anders Møller
,
Veselin Raychev
,
Dimitar Dimitrov
,
Martin T. Vechev
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Learning Commutativity Specifications.
[BibTeX]
[DOI]
Timon Gehr
,
Dimitar Dimitrov
,
Martin T. Vechev
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014
Commutativity race detection.
[BibTeX]
[DOI]
Dimitar Dimitrov
,
Veselin Raychev
,
Martin T. Vechev
,
Eric Koskinen
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014


  Loading...