Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Dimitar Dimitrov
conf.researchr.org general profile
PLDI 2018 profile
POPL 2017 profile
SPLASH 2015 profile
Not registered as user
Name:
Dimitar Dimitrov
Affiliation:
ETH Zurich, Switzerland
Contributions
2018
PLDI
Author of Static Serializability Analysis for Causal Consistency within the PLDI Research Papers-track
2017
POPL
Author of Serializability for Eventual Consistency: Criterion, Analysis and Applications within the POPL-track
2015
SPLASH
Author of Stateless Model Checking of Event-Driven Applications within the OOPSLA-track
Share
x
Fri 11 Jul 20:14