most citedCompiling Stateful Network Properties for Runtime Verification

1 citations · 1 across the 1 of their papers we have counts for

collaborators

5 papers

cs.DC20242 cited

Workload Intelligence: Punching Holes Through the Cloud Abstraction

Lexiang Huang, Anjaly Parayil, Jue Zhang +13

Today, cloud workloads are essentially opaque to the cloud platform. Typically, the only information the platform receives is the virtual machine (VM) type and possibly a decoratio…

cs.SE2024

Exploring LLM-based Agents for Root Cause Analysis

Devjeet Roy, Xuchao Zhang, Rashi Bhave +4

The growing complexity of cloud based software systems has resulted in incident management becoming an integral part of the software development lifecycle. Root cause analysis (RCA…

cs.DC2024

Junctiond: Extending FaaS Runtimes with Kernel-Bypass

Enrique Saurez, Joshua Fried, Gohar Irfan Chaudhry +5

This report explores the use of kernel-bypass networking in FaaS runtimes and demonstrates how using Junction, a novel kernel-bypass system, as the backend for executing components…

cs.CL20232 cited

PACE-LM: Prompting and Augmentation for Calibrated Confidence Estimation with GPT-4 in Cloud Incident Root Cause Analysis

Dylan Zhang, Xuchao Zhang, Chetan Bansal +3

Major cloud providers have employed advanced AI-based solutions like large language models to aid humans in identifying the root causes of cloud incidents. Despite the growing prev…

cs.NI20161 cited

Compiling Stateful Network Properties for Runtime Verification

Tim Nelson, Nicholas DeMarinis, Timothy Adam Hoff +2

Networks are difficult to configure correctly, and tricky to debug. These problems are accentuated by temporal and stateful behavior. Static verification, while useful, is ineffect…