Dimitar Dimitrov

13 papers A* 5A 1B 1Journal 4Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
qblaze: An Efficient and Scalable Sparse Quantum Simulator.
Proc. ACM Program. Lang.
Hristo Venev, Thien Udomsrirungruang, Dimitar Dimitrov, Timon Gehr, Martin T. Vechev
2024 J jnl
Modular Synthesis of Efficient Quantum Uncomputation.
CoRR
Hristo Venev, Timon Gehr, Dimitar Dimitrov, Martin T. Vechev
2024 J jnl
Modular Synthesis of Efficient Quantum Uncomputation.
Proc. ACM Program. Lang.
Hristo Venev, Timon Gehr, Dimitar Dimitrov, Martin T. Vechev
2020 — —
Concurrency Analysis for Abstract Data Types.
Dimitar Dimitrov
2020 A* conf
VerX: Safety Verification of Smart Contracts.
SP
Anton Permenev, Dimitar Dimitrov, Petar Tsankov, Dana Drachsler-Cohen, Martin T. Vechev
2018 J jnl
Race Detection in Two Dimensions.
ACM Trans. Parallel Comput.
Dimitar Dimitrov, Martin T. Vechev, Vivek Sarkar
2018 A* conf
Static serializability analysis for causal consistency.
PLDI
Lucas Brutschy, Dimitar Dimitrov, Peter Müller, Martin T. Vechev
2018 A* conf
Training Neural Machines with Trace-Based Supervision.
ICML
Matthew Mirman, Dimitar Dimitrov, Pavle Djordjevic, Timon Gehr, Martin T. Vechev
2017 A* conf
Serializability for eventual consistency: criterion, analysis, and applications.
POPL
Lucas Brutschy, Dimitar Dimitrov, Peter Müller, Martin T. Vechev
2015 — conf
Learning Commutativity Specifications.
CAV (1)
Timon Gehr, Dimitar Dimitrov, Martin T. Vechev
2015 B conf
Race Detection in Two Dimensions.
SPAA
Dimitar Dimitrov, Martin T. Vechev, Vivek Sarkar
2015 A conf
Stateless model checking of event-driven applications.
OOPSLA
Casper Svenning Jensen, Anders Møller, Veselin Raychev, Dimitar Dimitrov, Martin T. Vechev
2014 A* conf
Commutativity race detection.
PLDI
Dimitar Dimitrov, Veselin Raychev, Martin T. Vechev, Eric Koskinen