• Sign in
  • Sign up
conf.researchr.org / Dimitar Dimitrov
  • 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
xFri 11 Jul 20:14
using conf.researchr.org (v1.69.1)
Support page
Sign Up