Dimitar Dimitrov
Dimitar Dimitrov
Computer Science PhD Student, ETH Zürich
E-mail confirmado em inf.ethz.ch - Página inicial
Título
Citado por
Citado por
Ano
Commutativity race detection
D Dimitrov, V Raychev, M Vechev, E Koskinen
ACM SIGPLAN Notices 49 (6), 305-315, 2014
632014
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
442015
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
342017
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, 18-20, 2020
322020
Learning commutativity specifications
T Gehr, D Dimitrov, M Vechev
International Conference on Computer Aided Verification, 307-323, 2015
282015
Race detection in two dimensions
D Dimitrov, M Vechev, V Sarkar
ACM Transactions on Parallel Computing (TOPC) 4 (4), 1-22, 2018
182018
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
162018
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
2018
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–8