| Bidirectional typing for Erlang | 0 | 0.34 | 2021 |
| Advanced Domain-Driven Design for Consistency in Distributed Data-Intensive Systems | 1 | 0.38 | 2021 |
| On the Impossibility of Confidentiality, Integrity and Accessibility in Highly-Available File Systems. | 0 | 0.34 | 2021 |
| Access Control Conflict Resolution in Distributed File Systems using CRDTs | 0 | 0.34 | 2021 |
| Combining State- And Event-Based Semantics To Verify Highly Available Applications | 0 | 0.34 | 2021 |
| Teaching practical realistic verification of distributed algorithms in Erlang with TLA+ | 0 | 0.34 | 2020 |
| Antidote SQL: Relaxed When Possible, Strict When Necessary. | 0 | 0.34 | 2019 |
| ACGreGate: A Framework for Practical Access Control for Applications using Weakly Consistent Databases. | 0 | 0.34 | 2018 |
| Ensuring referential integrity under causal consistency. | 0 | 0.34 | 2018 |
| Collaborative Work Management with a Highly-Available Kanban Board. | 0 | 0.34 | 2018 |
| Data Consistency in Distributed Systems: Algorithms, Programs, and Databases (Dagstuhl Seminar 18091). | 0 | 0.34 | 2018 |
| Just-Right Consistency: reconciling availability and safety. | 0 | 0.34 | 2018 |
| Global-Local View: Scalable Consistency for Concurrent Data Types. | 0 | 0.34 | 2018 |
| Techreport: Time-sensitive probabilistic inference for the edge. | 0 | 0.34 | 2017 |
| Legion: Enriching Internet Services with Peer-to-Peer Interactions. | 2 | 0.40 | 2017 |
| FMKe: a Real-World Benchmark for Key-Value Data Stores | 2 | 0.36 | 2017 |
| EPTL - A temporal logic for weakly consistent systems. | 0 | 0.34 | 2017 |
| New Challenges in Parallelism (Dagstuhl Seminar 17451). | 0 | 0.34 | 2017 |
| Multi-view data types for scalable concurrency in the multi-core era. | 0 | 0.34 | 2017 |
| EPTL - A Temporal Logic for Weakly Consistent Systems (Short Paper). | 0 | 0.34 | 2017 |
| Observing the consistency of distributed systems. | 1 | 0.37 | 2016 |
| Highly-scalable concurrent objects. | 1 | 0.36 | 2016 |
| Cure: Strong Semantics Meets High Availability and Low Latency | 28 | 0.89 | 2016 |
| Decoupling conflict resolution with CDVCS. | 0 | 0.34 | 2016 |
| Access Control for Weakly Consistent Replicated Information Systems. | 1 | 0.63 | 2016 |
| Eventually Consistent Register Revisited | 1 | 0.36 | 2015 |
| Adaptive strength geo-replication strategy | 0 | 0.34 | 2015 |
| Transactions On Mergeable Objects | 2 | 0.40 | 2015 |
| Collaborative offline web applications using conflict-free replicated data types | 1 | 0.36 | 2015 |
| Write Fast, Read in the Past: Causal Consistency for Client-side Applications | 34 | 0.85 | 2015 |
| replikativ.io: Composable consistency primitives for a scalable and robust global replication system | 0 | 0.34 | 2015 |
| Formal Specification and Verification of CRDTs. | 6 | 0.48 | 2014 |
| SwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way to the Client Machine. | 0 | 0.34 | 2013 |
| An optimized conflict-free replicated set | 15 | 0.97 | 2012 |
| Lifting the barriers --- reducing latencies with transparent transactional memory | 1 | 0.35 | 2012 |
| Brief announcement: semantics of eventually consistent replicated sets | 9 | 0.65 | 2012 |
| Access permission contracts for scripting languages | 6 | 0.47 | 2012 |
| Proving isolation properties for software transactional memory | 5 | 0.43 | 2011 |
| Brief announcement: actions in the twilight - concurrent irrevocable transactions and inconsistency repair | 5 | 0.46 | 2010 |
| DOM transactions for testing JavaScript | 2 | 0.39 | 2010 |
| The architecture of the DecentVM: towards a decentralized virtual machine for many-core computing | 4 | 0.48 | 2010 |
| Consistency in hindsight: A fully decentralized STM algorithm | 24 | 1.15 | 2010 |
| How to CPS Transform a Monad | 1 | 0.35 | 2009 |
| The Relation of Version Control to Concurrent Programming | 1 | 0.37 | 2008 |
| Htdp and dmda in the battlefield: a case study in first-year programming instruction. | 5 | 0.59 | 2008 |
