Dimitar Dimitrov
Dimitar Dimitrov
Computer Science PhD Student, ETH Zürich
Verified email at inf.ethz.ch - 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
882020
Commutativity race detection
D Dimitrov, V Raychev, M Vechev, E Koskinen
ACM SIGPLAN Notices 49 (6), 305-315, 2014
692014
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
532015
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
492017
Learning commutativity specifications
T Gehr, D Dimitrov, M Vechev
International Conference on Computer Aided Verification, 307-323, 2015
342015
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
272018
Race detection in two dimensions
D Dimitrov, M Vechev, V Sarkar
ACM Transactions on Parallel Computing (TOPC) 4 (4), 1-22, 2018
212018
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
12018
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