Follow
Dimitar K. Dimitrov
Dimitar K. Dimitrov
Senior Researcher, INSAIT
Verified email at insait.ai - Homepage
Title
Cited by
Cited by
Year
Verx: Safety verification of smart contracts
A Permenev, D Dimitrov, P Tsankov, D Drachsler-Cohen, M Vechev
2020 IEEE Symposium on Security and Privacy (SP), 1661-1677, 2020
3072020
Commutativity race detection
D Dimitrov, V Raychev, M Vechev, E Koskinen
ACM SIGPLAN Notices 49 (6), 305-315, 2014
772014
Serializability for eventual consistency: criterion, analysis, and applications
L Brutschy, D Dimitrov, P Müller, M Vechev
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
712017
Stateless model checking of event-driven applications
CS Jensen, A Mĝller, V Raychev, D Dimitrov, M Vechev
ACM SIGPLAN Notices 50 (10), 57-73, 2015
682015
Learning commutativity specifications
T Gehr, D Dimitrov, M Vechev
Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015
512015
Static serializability analysis for causal consistency
L Brutschy, D Dimitrov, P Müller, M Vechev
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018
372018
Race detection in two dimensions
D Dimitrov, M Vechev, V Sarkar
ACM Transactions on Parallel Computing (TOPC) 4 (4), 1-22, 2018
282018
Training Neural Machines with Trace-Based Supervision
M Mirman, D Dimitrov, P Djordjevic, T Gehr, M Vechev
International Conference on Machine Learning, 3569-3577, 2018
32018
Concurrency Analysis for Abstract Data Types
D Dimitrov
ETH Zurich, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–9