4 citations · 14 across the 8 of their papers we have counts for
5 papers · 1 filter
Formal Guarantees of Timely Progress for Distributed Knowledge Propagation
Saswata Paul, Stacy Patterson, Carlos Varela
Autonomous air traffic management (ATM) operations for urban air mobility (UAM) will necessitate the use of distributed protocols for decentralized coordination between aircraft. A…
Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model
Saswata Paul, Gul A. Agha, Stacy Patterson +1
Successfully attaining consensus in the absence of a centralized coordinator is a fundamental problem in distributed multi-agent systems. We analyze progress in the Synod consensus…
Skedulix: Hybrid Cloud Scheduling for Cost-Efficient Execution of Serverless Applications
Anirban Das, Andrew Leaf, Carlos A. Varela +1
We present a framework for scheduling multifunction serverless applications over a hybrid public-private cloud. A set of serverless jobs is input as a batch, and the objective is t…
A Hierarchical Model for Fast Distributed Consensus in Dynamic Networks
Timothy Castiglia, Colin Goldberg, Stacy Patterson
We present two new consensus algorithms for dynamic networks. The first, Fast Raft, is a variation on the Raft consensus algorithm that reduces the number of message rounds in typi…
Performance Optimization for Edge-Cloud Serverless Platforms via Dynamic Task Placement
Anirban Das, Shigeru Imai, Mike P. Wittie +1
We present a framework for performance optimization in serverless edge-cloud platforms using dynamic task placement. We focus on applications for smart edge devices, for example, s…