Commutativity race detection. - Dimitar Dimitrov 004; Veselin Raychev; Martin T. Vechev; Eric Koskinen (PLDI, 2014)

Learning Commutativity Specifications. - Timon Gehr; Dimitar Dimitrov 004; Martin T. Vechev (CAV (1), 2015)

Stateless model checking of event-driven applications. - Casper Svenning Jensen; Anders Møller; Veselin Raychev; Dimitar Dimitrov 004; Martin T. Vechev (OOPSLA, 2015)

Serializability for eventual consistency: criterion, analysis, and applications. - Lucas Brutschy; Dimitar Dimitrov 004; Peter Müller 001; Martin T. Vechev (POPL, 2017)

Training Neural Machines with Trace-Based Supervision. - Matthew Mirman; Dimitar Dimitrov 004; Pavle Djordjevic; Timon Gehr; Martin T. Vechev (ICML, 2018)

Static serializability analysis for causal consistency. - Lucas Brutschy; Dimitar Dimitrov 004; Peter Müller 001; Martin T. Vechev (PLDI, 2018)

Race Detection in Two Dimensions. - Dimitar Dimitrov 004; Martin T. Vechev; Vivek Sarkar (ACM Trans. Parallel Comput., 2018)

VerX: Safety Verification of Smart Contracts. - Anton Permenev; Dimitar Dimitrov 004; Petar Tsankov; Dana Drachsler-Cohen; Martin T. Vechev (SP, 2020)

Concurrency Analysis for Abstract Data Types. - Dimitar Dimitrov 004 (2020)

Modular Synthesis of Efficient Quantum Uncomputation. - Hristo Venev; Timon Gehr; Dimitar Dimitrov 004; Martin T. Vechev (Proc. ACM Program. Lang., 2024)

Artifact for "Modular Synthesis of Efficient Quantum Uncomputation". - Hristo Venev; Timon Gehr; Dimitar Dimitrov 004; Martin T. Vechev (Zenodo, 2024)

Artifact for "Modular Synthesis of Efficient Quantum Uncomputation". - Hristo Venev; Timon Gehr; Dimitar Dimitrov 004; Martin T. Vechev (Zenodo, 2024)