58 citations · 58 across the 3 of their papers we have counts for
6 papers · 1 filter
Move Fast and Meet Deadlines: Fine-grained Real-time Stream Processing with Cameo
Le Xu, Shivaram Venkataraman, Indranil Gupta +2
Resource provisioning in multi-tenant stream processing systems faces the dual challenges of keeping resource utilization high (without over-provisioning), and ensuring performance…
Home, SafeHome: Smart Home Reliability with Visibility and Atomicity
Shegufta Bakht Ahsan, Rui Yang, Shadi A. Noghabi +1
Smart environments (homes, factories, hospitals, buildings) contain an increasing number of IoT devices, making them complex to manage. Today, in smart homes where users or trigger…
Asynchronous Federated Optimization
Cong Xie, Sanmi Koyejo, Indranil Gupta
Federated learning enables training on a massive number of edge devices. To improve flexibility and scalability, we propose a new asynchronous federated optimization algorithm. We…
Phocas: dimensional Byzantine-resilient stochastic gradient descent
Cong Xie, Oluwasanmi Koyejo, Indranil Gupta
We propose a novel robust aggregation rule for distributed synchronous Stochastic Gradient Descent~(SGD) under a general Byzantine failure model. The attackers can arbitrarily mani…
Generalized Byzantine-tolerant SGD
Cong Xie, Oluwasanmi Koyejo, Indranil Gupta
We propose three new robust aggregation rules for distributed synchronous Stochastic Gradient Descent~(SGD) under a general Byzantine failure model. The attackers can arbitrarily m…
Inferring Formal Properties of Production Key-Value Stores
Edgar Pek, Pranav Garg, Muntasir Raihan Rahman +3
Production distributed systems are challenging to formally verify, in particular when they are based on distributed protocols that are not rigorously described or fully understood.…