8 results  save search

hal-01109107v1  Conference papers
Valter BalegasNuno PreguiçaSérgio DuarteCarla FerreiraRodrigo Rodrigues et al.  The Case for Fast and Invariant-Preserving Geo-Replication
SRDSW 2014 - 33rd International Symposium on Reliable Distributed Systems Workshops, IEEE, Oct 2014, Nara, Japan. pp.5, ⟨10.1109/SRDSW.2014.30⟩
hal-01109719v1  Conference papers
Valter BalegasMahsa NajafzadehSérgio DuarteCarla FerreiraMarc Shapiro et al.  Putting the Consistency Back Into Eventual Consistency
Large-Scale Distributed Systems and Middleware (LADIS) 2014, Oct 2014, Cambridge, United Kingdom
hal-01248191v1  Conference papers
Valter BalegasSérgio DuarteCarla FerreiraRodrigo RodriguesNuno Preguiça et al.  Putting Consistency back into Eventual Consistency
European Conference on Computer Systems (EuroSys), ACM Sigops / EuroSys, Apr 2015, Bordeaux, France. pp.6:1--6:16, ⟨10.1145/2741948.2741972⟩
hal-01243192v1  Conference papers
Alexey GotsmanHongseok YangCarla FerreiraMahsa NajafzadehMarc Shapiro. Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems
Symposium on Principles of Programming Languages, Jan 2016, Saint Petersburg, FL, United States. pp.371-384, ⟨10.1145/2837614.2837625⟩
hal-01696263v1  Conference papers
Mahsa NajafzadehMarc ShapiroPatrick Eugster. Co-Design and Verification of an Available File System
VMCAI 2018 - International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2018, Los Angeles, CA, United States. pp.358-381, ⟨10.1007/978-3-319-73721-8_17⟩
hal-00932657v1  Conference papers
Mahsa NajafzadehMarc ShapiroValter BalegasNuno Preguiça. Improving the scalability of geo-replication with reservations
DCC 2013 : Workshop on Distributed Cloud Computing, Dec 2013, Dresden, Germany. pp.441-445, ⟨10.1109/UCC.2013.87⟩
hal-01350636v1  Conference papers
Mahsa NajafzadehAlexey GotsmanHongseok YangCarla FerreiraMarc Shapiro. The CISE Tool: Proving Weakly-Consistent Applications Correct
PaPoC 2016 - 2nd Workshop on the Principles and Practice of Consistency for Distributed Data , Apr 2016, Londres, United Kingdom. ⟨10.1145/2911151.2911160⟩