Search Results - "Bazzi, Rida"

Clairvoyant state machine replication by Bazzi, Rida, Herlihy, Maurice

“…We consider the state machine replication problem in semi-synchronous systems subject to Byzantine server failures. We propose a new solution to the problem in…”
Get full text

On the establishment of distinct identities in overlay networks by Bazzi, Rida A., Konjevod, Goran

“…We study ways to restrict or prevent the damage that can be caused in a peer-to-peer network by corrupt entities creating multiple pseudonyms. We show that it…”
Get full text

Synchronous Byzantine quorum systems by Bazzi, Rida A.

“…Quorum systems have been used to implement many coordination problems in distributed systems such as mutual exclusion, data replication, distributed consensus,…”
Get full text

Instrumentation and Trace Analysis for Ad-Hoc Python Workflows in Cloud Environments by Acuna, Ruben, Lacroix, Zoe, Bazzi, Rida A.

“…Knowledge of structure is critical to map legacy workflows to environments suitable to run on the cloud. We present a method which characterizes a workflow…”
Get full text

Access cost for asynchronous Byzantine quorum systems by Bazzi, Rida A.

“…Quorum systems have been used to implement many coordination problems in distributed systems. In this paper, we study the cost of accessing quorums in…”
Get full text

Heterogeneous checkpointing for multithreaded applications by Karablieh, F., Bazzi, R.A.

“…We present the first heterogeneous checkpointing scheme for applications using POSIX threads. The scheme relies on source code instrumentation to achieve…”
Get full text

Fractional Payment Transactions: Executing Payment Transactions in Parallel with Less than f+1 Validations by Bazzi, Rida, Tucci-Piergiovanni, Sara

“…We consider the problem of supporting payment transactions in an asynchronous system in which up to $f$ validators are subject to Byzantine failures under the…”
Get full text

Effective storage capacity of labeled graphs by Angluin, Dana, Aspnes, James, Bazzi, Rida A., Chen, Jiang, Eisenstat, David, Konjevod, Goran

“…We consider the question of how much information can be stored by labeling the vertices of a connected undirected graph G using a constant-size set of labels,…”
Get full text

On the use of registers in achieving wait-free consensus by Bazzi, Rida A., Neiger, Gil, Peterson, Gary L.

“…The computational power of concurrent data types has been the focus of much recent research. Herlihy showed that such power may be measured by the type's…”
Get full text

Breaking the $f+1$ Barrier: Executing Payment Transactions in Parallel with Less than $f+1$ Validations by Bazzi, Rida A, Tucci-Piergiovanni, Sara

“…We consider the problem of supporting payment transactions in an asynchronous system in which up to $f$ validators are subject to Byzantine failures under the…”
Get full text

Clairvoyant State Machine Replication by Bazzi, Rida, Herlihy, Maurice

“…We propose a new protocol for the generalized consensus problem in asynchronous systems subject to Byzantine server failures. The protocol solves the consensus…”
Get full text

Hop chains : Secure routing and the establishment of distinct identities: Principles of Distributed Systems by BAZZI, Rida A, CHOI, Young-Ri, GOUDA, Mohamed G

Get full text

Hop chains: Secure routing and the establishment of distinct identities by Bazzi, Rida A., Choi, Young-ri, Gouda, Mohamed G.

“…We present a secure routing protocol that is immune to Sybil attacks and that can tolerate collusion of Byzantine routers. It can tolerate either initial…”
Get full text

A Formal Study on Backward Compatible Dynamic Software Updates by Shen, Jun, Bazzi, Rida A

“…We study the dynamic software update problem for programs interacting with an environment that is not necessarily updated. We argue that such updates should be…”
Get full text

The Bounded Data Reuse Problem in Scientific Workflows by Zohrevandi, Mohsen, Bazzi, Rida A.

“…Large datasets and time-consuming processes have become the norm in scientific computing applications. The exploration phase in the development of scientific…”
Get full text

AVAIL: Assured Volt-Ampère Information Ledger by Tesfay, Teklemariam, Jamei, Mahdi, Scaglione, Anna, Khorsand, Mojdeh, Hedman, Kory, Bazzi, Rida

“…To address the need for trusted information across bulk power systems, our paper proposes a new type of distributed ledger (or Blockchain), for a shared…”
Get full text

Planar quorums by Bazzi, Rida A.

“…Quorum systems are used to implement many coordination problems in distributed systems such as mutual exclusion, data replication, distributed consensus, and…”
Get full text

Using knowledge to optimally achieve coordination in distributed systems by Neiger, Gil, Bazzi, Rida A.

“…A distributed computing system consists of a set of individual processors that communicate through some medium. Coordinating the actions of such processors is…”
Get full text

Leader Election and Shape Formation with Self-Organizing Programmable Matter by Daymude, Joshua J, Derakhshandeh, Zahra, Gmyr, Robert, Strothmann, Thim, Bazzi, Rida, Richa, Andréa W, Scheideler, Christian

“…We consider programmable matter consisting of simple computational elements, called particles, that can establish and release bonds and can actively move in a…”
Get full text

Foreword by Hicks, Michael, Bazzi, Rida A., Zaniolo, Carlo

“…It is our pleasure to present this proceedings of the Third Workshop on Hot Topics in Software Upgrades (HotSWUp III), which took place on April 16, 2011 in…”
Get full text