Dimitar Dimitrov

Employment

• Sofia University "St. Kliment Ohridski" Senior Researcher
  2023 - Present

Education

• ETH Zurich Ph.D. in Computer Science
  2012 - 2020
• Sofia University "St. Kliment Ohridski" M.Sc. in Mathematical Logic
  2009 - 2012
• Sofia University "St. Kliment Ohridski" B.Sc. in Informatics
  2005 - 2009

Projects & Funding

Projects & funding information is unavailable.

Publications (12)

• qblaze: An efficient and scalable sparse quantum simulator
  Proceedings of the ACM on Programming Languages 2025 DOI: 10.1145/3763066
  +Save
• Modular synthesis of efficient quantum uncomputation
  Proceedings of the ACM on Programming Languages 2024 DOI: 10.1145/3689785
  +Save
• Concurrency analysis for abstract data types
  2020 DOI: 10.3929/ethz-b-000448465
  +Save
• VerX: Safety verification of smart contracts
  2020 IEEE Symposium on Security and Privacy 2020 DOI: 10.1109/SP40000.2020.00024
  +Save
• Race detection in two dimensions
  ACM Transactions on Parallel Computing (TOPC) 2018 DOI: 10.1145/3264618
  +Save
• Static serializability analysis for causal consistency
  Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation 2018 DOI: 10.1145/3192366.3192415
  +Save
• Training neural machines with trace-based supervision
  Proceedings of the 35th International Conference on Machine Learning 2018
  +Save
• Serializability for eventual consistency: Criterion, analysis, and applications
  Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages 2017 DOI: 10.1145/3009837.3009895
  +Save
• Learning commutativity specifications
  Proceedings of the 27th International Conference on Computer Aided Verification 2015 DOI: 10.1007/978-3-319-21690-4_18
  +Save
• Race detection in two dimensions
  Proceedings of the 27th ACM symposium on Parallelism in Algorithms and Architectures 2015 DOI: 10.1145/2755573.2755601
  +Save