Dimitar K. Dimitrov

Publication Activity (10 Years)

Years Active: 2014-2020
Publications (10 Years): 5

Top Topics

Hebbian Learning

Detection Accuracy

Formal Verification

Top Venues

IEEE Symposium on Security and Privacy

ACM Trans. Parallel Comput.

Publications

Anton Permenev, Dimitar K. Dimitrov, Petar Tsankov, Dana Drachsler-Cohen, Martin T. Vechev
VerX: Safety Verification of Smart Contracts. IEEE Symposium on Security and Privacy (2020)
Lucas Brutschy, Dimitar K. Dimitrov, Peter Müller, Martin T. Vechev
Static serializability analysis for causal consistency. PLDI (2018)
Dimitar K. Dimitrov, Martin T. Vechev, Vivek Sarkar
Race Detection in Two Dimensions. ACM Trans. Parallel Comput. 4 (4) (2018)
Matthew Mirman, Dimitar K. Dimitrov, Pavle Djordjevic, Timon Gehr, Martin T. Vechev
Training Neural Machines with Trace-Based Supervision. ICML (2018)
Lucas Brutschy, Dimitar K. Dimitrov, Peter Müller, Martin T. Vechev
Serializability for eventual consistency: criterion, analysis, and applications. POPL (2017)
Casper Svenning Jensen, Anders Møller, Veselin Raychev, Dimitar K. Dimitrov, Martin T. Vechev
Stateless model checking of event-driven applications. OOPSLA (2015)
Dimitar K. Dimitrov, Martin T. Vechev, Vivek Sarkar
Race Detection in Two Dimensions. SPAA (2015)
Timon Gehr, Dimitar K. Dimitrov, Martin T. Vechev
Learning Commutativity Specifications. CAV (1) (2015)
Dimitar K. Dimitrov, Veselin Raychev, Martin T. Vechev, Eric Koskinen
Commutativity race detection. PLDI (2014)