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 | 307 | 2020 |
Commutativity race detection D Dimitrov, V Raychev, M Vechev, E Koskinen ACM SIGPLAN Notices 49 (6), 305-315, 2014 | 77 | 2014 |
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 | 71 | 2017 |
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 | 68 | 2015 |
Learning commutativity specifications T Gehr, D Dimitrov, M Vechev Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015 | 51 | 2015 |
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 | 37 | 2018 |
Race detection in two dimensions D Dimitrov, M Vechev, V Sarkar ACM Transactions on Parallel Computing (TOPC) 4 (4), 1-22, 2018 | 28 | 2018 |
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 | 3 | 2018 |
Concurrency Analysis for Abstract Data Types D Dimitrov ETH Zurich, 2020 | | 2020 |