Dimitar K. Dimitrov

According to our database, Dimitar K. Dimitrov authored at least 9 papers between 2014 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Concurrency Analysis for Abstract Data Types.

Dimitar K. Dimitrov

PhD thesis, 2020

VerX: Safety Verification of Smart Contracts.

Anton Permenev, Dimitar K. Dimitrov, Petar Tsankov, Dana Drachsler-Cohen, Martin T. Vechev

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

2018

Race Detection in Two Dimensions.

Dimitar K. Dimitrov, Martin T. Vechev, Vivek Sarkar

ACM Trans. Parallel Comput., 2018

Static serializability analysis for causal consistency.

Lucas Brutschy, Dimitar K. Dimitrov, Peter Müller, Martin T. Vechev

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Training Neural Machines with Trace-Based Supervision.

Matthew Mirman, Dimitar K. Dimitrov, Pavle Djordjevic, Timon Gehr, Martin T. Vechev

Proceedings of the 35th International Conference on Machine Learning, 2018

2017

Serializability for eventual consistency: criterion, analysis, and applications.

Lucas Brutschy, Dimitar K. Dimitrov, Peter Müller, Martin T. Vechev

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2015

Stateless model checking of event-driven applications.

Casper Svenning Jensen, Anders Møller, Veselin Raychev, Dimitar K. Dimitrov, Martin T. Vechev

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Learning Commutativity Specifications.

Timon Gehr, Dimitar K. Dimitrov, Martin T. Vechev

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Commutativity race detection.

Dimitar K. Dimitrov, Veselin Raychev, Martin T. Vechev, Eric Koskinen

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014