6 citations · 11 across the 5 of their papers we have counts for
6 papers
Jarvis: Large-scale Server Monitoring with Adaptive Near-data Processing
Atul Sandur, ChanHo Park, Stavros Volos +2
Rapid detection and mitigation of issues that impact performance and reliability is paramount for large-scale online services. For real-time detection of such issues, datacenter op…
A Scalable Algorithm for Decentralized Actor Termination Detection
Dan Plyukhin, Gul Agha
Automatic garbage collection (GC) prevents certain kinds of bugs and reduces programming overhead. GC techniques for sequential programs are based on reachability analysis. However…
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…
Scalable Termination Detection for Distributed Actor Systems
Dan Plyukhin, Gul Agha
Automatic garbage collection (GC) prevents certain kinds of bugs and reduces programming overhead. GC techniques for sequential programs are based on reachability analysis. However…
Costless: Optimizing Cost of Serverless Computing through Function Fusion and Placement
Tarek Elgamal, Atul Sandur, Klara Nahrstedt +1
Serverless computing has recently experienced significant adoption by several applications, especially Internet of Things (IoT) applications. In serverless computing, rather than d…
Parameterized Concurrent Multi-Party Session Types
Minas Charalambides, Peter Dinges, Gul Agha
Session types have been proposed as a means of statically verifying implementations of communication protocols. Although prior work has been successful in verifying some classes of…