7 papers
Automated Synthesis of Cloud Emulators
Archit Bhatnagar, Zhenning Yang, Sarah McClure +3
DevOps programming (e.g., using CLI/API scripts or IaC frameworks) is key to cloud infrastructure management. Unlike traditional programming tasks, DevOps program testing needs pro…
Incast-Free MoE Rate-Based Scheduling
Evyatar Cohen, Jose Yallouz, Alexander Shpiner +3
Mixture of Experts (MoE) architectures have become key to large language models; however, their typical round-robin (RR) scheduling introduces significant bottlenecks. In this pape…
Invariant Discovery for Networked Systems
Hongyu Hè, Alexander Krentsel, Sylvia Ratnasamy +1
Invariants, the relations expected to hold among measured signals of a network, underpin applications from verification to traffic generation, telemetry imputation, and input valid…
The Time is Here for Just-in-Time Systems: Challenges and Opportunities
Shu Liu, Alexander Krentsel, Shubham Agarwal +8
Core systems like key-value stores have historically taken years to build, and are designed to be general so as to amortize cost across deployments, paying a significant performanc…
CrossCheck: Input Validation for WAN Control Systems
Alexander Krentsel, Rishabh Iyer, Isaac Keslassy +4
We present CrossCheck, a system that validates inputs to the Software-Defined Networking (SDN) controller in a Wide Area Network (WAN). By detecting incorrect inputs - often stemmi…
Jut: A Framework for Just-in-Time Data Access
Silvery Fu, Siyuan Dong, Jamsheed Mistri +3
With the proliferation of sensor and personal devices, our physical spaces are now awash in potential data sources. In principle this data could serve a wide range of applications…
From Kubernetes to Knactor: A Data-Centric Rethink of Service Composition
Silvery Fu, Hong Zhang, Ryan Teoh +2
Microservices are increasingly used in modern applications, leading to a growing need for effective service composition solutions. However, we argue that traditional API-centric co…