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.
Proc. ACM Program. Lang., 2024

2020
Concurrency Analysis for Abstract Data Types.
PhD thesis, 2020

VerX: Safety Verification of Smart Contracts.
Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

2018
Race Detection in Two Dimensions.
ACM Trans. Parallel Comput., 2018

Static serializability analysis for causal consistency.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Training Neural Machines with Trace-Based Supervision.
Proceedings of the 35th International Conference on Machine Learning, 2018

2017
Serializability for eventual consistency: criterion, analysis, and applications.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2015
Stateless model checking of event-driven applications.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Learning Commutativity Specifications.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014
Commutativity race detection.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014


  Loading...