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 10 papers between 2014 and 2024.

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

Timeline

2014
2016
2018
2020
2022
2024
0
1
2
3
4
1
1
1
2
1
2
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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
Race Detection in Two Dimensions.
[BibTeX]
[DOI]
Dimitar Dimitrov
,
Martin T. Vechev
,
Vivek Sarkar
ACM Trans. Parallel Comput., 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
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...