Towards Safer Heuristics With XPlain

P Karimi, S Pirelli, SKR Kakarla, R Beckett… - Proceedings of the 23rd …, 2024 - dl.acm.org
Many problems that cloud operators solve are computationally expensive, and operators
often use heuristic algorithms (that are faster and scale better than optimal) to solve them …

Towards provably performant congestion control

A Agarwal, V Arun, D Ray, R Martins… - 21st USENIX Symposium …, 2024 - usenix.org
We seek to ease the design of congestion control algorithms (CCAs) that provably perform
well under diverse network scenarios including, cellular links, policers, token bucket filters …

A novel priority based scheduler for asymmetric multi-core edge computing

RPS Hada, A Srivastava - International Conference on Web Engineering, 2023 - Springer
Asymmetric multi-core processors require careful assignment of tasks to the appropriate
cores. Most of the edge computing devices are operated on Linux. However, the current …

Verifying the Performance of Network Control Algorithms

V Arun - 2023 - dspace.mit.edu
As networked systems become critical infrastructure, their design must reflect their new
societal role. Today, we build systems with hundreds of heuristics but often do not …

3rd International Workshop on Big Data driven Edge Cloud Services (BECS 2023)–Preface

IY Ko, M Mrissa, JM Murillo, A Srivastava - … Alicante, Spain, June 6–9, 2023 …, 2024 - Springer
To harness the full potential of edge-cloud environments, it becomes imperative to establish
novel paradigms and methodologies within the realm of web engineering. These advances …

Finding adversarial inputs for heuristics using multi-level optimization

P Namyar, B Arzani, R Beckett, S Segarra… - … USENIX Symposium on …, 2024 - usenix.org
Production systems use heuristics because they are faster or scale better than their optimal
counterparts. Yet, practitioners are often unaware of the performance gap between a …

[PDF][PDF] Designing Provably Performant Networked Systems

V Arun - people.csail.mit.edu
My research is in the design, implementation, and analysis of networked systems. My work
spans internet congestion control, video streaming, privacy-preserving computation …