Следене
Dimitar K. Dimitrov
Dimitar K. Dimitrov
Senior Researcher, INSAIT
Потвърден имейл адрес: insait.ai - Начална страница
Заглавие
Позовавания
Позовавания
Година
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
2632020
Commutativity race detection
D Dimitrov, V Raychev, M Vechev, E Koskinen
ACM SIGPLAN Notices 49 (6), 305-315, 2014
832014
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
682017
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
652015
Learning commutativity specifications
T Gehr, D Dimitrov, M Vechev
Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015
472015
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
362018
Race detection in two dimensions
D Dimitrov, M Vechev, V Sarkar
ACM Transactions on Parallel Computing (TOPC) 4 (4), 1-22, 2018
272018
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
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–9