6 citations · 12 across the 14 of their papers we have counts for
18 papers
On the Decidability of Distributed Tasks with Output Sets under Asynchrony and Any Number of Crashes
Timothé Albouy, Antonio Fernández Anta, Chryssis Georgiou +2
This paper studies the decidability of task problems, i.e., distributed problems expressed as sets of distributed tasks. Specifically, we introduce a new class of task problems cal…
Tight Conditions for Binary-Output Tasks under Crashes
Timothé Albouy, Antonio Fernández Anta, Chryssis Georgiou +2
This paper explores necessary and sufficient system conditions to solve distributed tasks with binary outputs (\textit{i.e.}, tasks with output values in ). We focus on th…
Ares II: Tracing the Flaws of a (Storage) God
Chryssis Georgiou, Nicolas Nicolaou, Andria Trigeorgi
Ares is a modular framework, designed to implement dynamic, reconfigurable, fault-tolerant, read/write and strongly consistent distributed shared memory objects. Recent enhancement…
AMECOS: A Modular Event-based Framework for Concurrent Object Specification
Timothé Albouy, Antonio Fernández Anta, Chryssis Georgiou +3
In this work, we introduce a modular framework for specifying distributed systems that we call AMECOS. Specifically, our framework departs from the traditional use of sequential sp…
Validated Objects: Specification, Implementation, and Applications
Antonio Fernández Anta, Chryssis Georgiou, Nicolas Nicolaou +1
Guaranteeing the validity of concurrent operations on distributed objects is a key property for ensuring reliability and consistency in distributed systems. Usually, the methods fo…
Fragmented ARES: Dynamic Storage for Large Objects
Chryssis Georgiou, Nicolas Nicolaou, Andria Trigeorgi
Data availability is one of the most important features in distributed storage systems, made possible by data replication. Nowadays data are generated rapidly and the goal to devel…
Estimating Active Cases of COVID-19
Javier Álvarez, Carlos Baquero, Elisa Cabana +17
Having accurate and timely data on confirmed active COVID-19 cases is challenging, since it depends on testing capacity and the availability of an appropriate infrastructure to per…
Byzantine-tolerant Distributed Grow-only Sets: Specification and Applications
Vicent Cholvi, Antonio Fernández Anta, Chryssis Georgiou +3
In order to formalize Distributed Ledger Technologies and their interconnections, a recent line of research work has formulated the notion of Distributed Ledger Object (DLO), which…
Fragmented Objects: Boosting Concurrency of Shared Large Objects
Antonio Fernandez Anta, Chryssis Georgiou, Theophanis Hadjistasi +3
This work examines strategies to handle large shared data objects in distributed storage systems (DSS), while boosting the number of concurrent accesses, maintaining strong consist…
CoronaSurveys: Using Surveys with Indirect Reporting to Estimate the Incidence and Evolution of Epidemics
Oluwasegun Ojo, Augusto García-Agundez, Benjamin Girault +22
The world is suffering from a pandemic called COVID-19, caused by the SARS-CoV-2 virus. National governments have problems evaluating the reach of the epidemic, due to having limit…
Appending Atomically in Byzantine Distributed Ledgers
Vicent Cholvi, Antonio Fernandez Anta, Chryssis Georgiou +2
A Distributed Ledger Object (DLO) is a concurrent object that maintains a totally ordered sequence of records, and supports two basic operations: append, which appends a record at…
Atomic Appends: Selling Cars and Coordinating Armies with Multiple Distributed Ledgers
Antonio Fernandez Anta, Chryssis Georgiou, Nicolas Nicolaou
The various applications using Distributed Ledger Technologies (DLT) or blockchains, have led to the introduction of a new `marketplace' where multiple types of digital assets may…
ARES: Adaptive, Reconfigurable, Erasure coded, atomic Storage
Nicolas Nicolaou, Viveck Cadambe, N. Prakash +4
Atomicity or strong consistency is one of the fundamental, most intuitive, and hardest to provide primitives in distributed shared memory emulations. To ensure survivability, scala…
Unleashing and Speeding Up Readers in Atomic Object Implementations
Chryssis Georgiou, Theophanis Hadjistasi, Nicolas Nicolaou +1
Providing efficient emulations of atomic read/write objects in asynchronous, crash-prone, message-passing systems is an important problem in distributed computing. Communication la…
Formalizing and Implementing Distributed Ledger Objects
Antonio Fernández Anta, Chryssis Georgiou, Kishori Konwar +1
Despite the hype about blockchains and distributed ledgers, no formal abstraction of these objects has been proposed. To face this issue, in this paper we provide a proper formulat…
Oh-RAM! One and a Half Round Atomic Memory
Theophanis Hadjistasi, Nicolas Nicolaou, Alexander A. Schwarzmann
Emulating atomic read/write shared objects in a message-passing system is a fundamental problem in distributed computing. Considering that network communication is the most expensi…
CoVer-ability: Consistent Versioning for Concurrent Objects
Nicolas Nicolaou, Antonio Fernández Anta, Chryssis Georgiou
An object type characterizes the domain space and the operations that can be invoked on an object of that type. In this paper we introduce a new property for concurrent objects, we…
On the Practicality of Atomic MWMR Register Implementations
Chryssis Georgiou, Nicolas C. Nicolaou
Multiple-writer/multiple-reader (MWMR) atomic register implementations provide precise consistency guarantees, in the asynchronous, crash-prone, message passing environment. Fast M…