12 results  save search


...
tel-01351187v1  Theses
Mahsa Najafzadeh. The Analysis and Co-design of Weakly-Consistent Applications
Other [cs.OH]. Université Pierre et Marie Curie, 2016. English
...
hal-01350652v1  Journal articles
Valter BalegasCheng LiMahsa NajafzadehDaniel PortoAllen Clement et al.  Geo-Replication: Fast If Possible, Consistent If Necessary
IEEE Data Engineering Bulletin, IEEE Computer Society, 2016, IEEE Data Engineering Bulletin, Special Issue on Data Consistency across Research Communities, 39 (1), pp.12
...
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⟩
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-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-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-01111206v1  Journal articles
Valter BalegasSérgio DuarteCarla FerreiraRodrigo RodriguesMahsa Najafzadeh et al.  Towards Fast Invariant Preservation in Geo-replicated Systems
Operating Systems Review, Association for Computing Machinery, 2015, ACM SIGOPS Operating Systems Review - Special Issue on Repeatability and Sharing of Experimental Artifacts, 49 (1), pp.5. ⟨10.1145/2723872.2723889⟩