conf.researchr.org / Dimitar Dimitrov

Not registered as user yet

Name: Dimitar Dimitrov

Affiliation: ETH Zurich, Switzerland

Contributions

PLDI 2018Author of Static Serializability Analysis for Causal Consistency within the PLDI Research Papers-track
POPL 2017Author of Serializability for Eventual Consistency: Criterion, Analysis and Applications within the POPL-track
SPLASH 2015Author of Stateless Model Checking of Event-Driven Applications within the OOPSLA-track