Reality Is the Final Verifier: On Two Key Gaps in Agentic Software Engineering
Alexander Krentsel*, Shubham Agarwal*, Mert Cemri*, Shu Liu*, Sidharth Sankhe, Ziming Mao, Matei Zaharia, Ion Stoica.
Exoharness: An Agent Harness Architecture for Fully-Recursive Self-Improvement
Alexander Krentsel, Ankur Goyal, Martin Casado.
Open Source Project
[ GitHub | Website ]
Invariant Discovery for Networked Systems
Hongyu He, Alexander Krentsel, Sylvia Ratnasamy, Maria Apostolaki.
Under Submission
[ Arxiv ]
Transport It Your Way: Rethinking Networking Projects to Emphasize Design
Alexander Krentsel*, Tess Despres*, Sylvia Ratnasamy.
SIGCOMM '26: Workshop on AI for Networking Education (A4NE '26)
[ Paper | Workshop ]
Ludwig: Autonomous Multilingual Synthesis of Correct, Engaging Explainer Videos
Alexander Krentsel.
SIGCOMM '26: Workshop on AI for Networking Education (A4NE '26)
[ Paper | Workshop ]
Adaptive Failure Taxonomies as Feedback for LLM-Agent Improvement Procedures
Mert Cemri, Andrei Cojocaru, Melissa Pan, Shu Liu, Shubham Agarwal, Alexander Krentsel, Jay Tang, Kannan Ramchandran, Joseph E. Gonzalez, Matei Zaharia, Alexandros G. Dimakis, Ion Stoica.
ICML '26 Workshop: Failure Modes in Agentic AI
[ Workshop ]
Spilling the TE: Lessons from AI-driven evolution of Traffic Engineering
Rahul Bothra, Alexander Krentsel, Brighten Godfrey, Sylvia Ratnasamy.
CAIS '26 Workshop: AI Agents for Discovery in the Wild
[ Paper | Workshop ]
⭐ Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems
Shubham Agarwal*, Alexander Krentsel*, Shu Liu*, Mert Cemri*, Audrey Cheng, Rui Meng, Tomas Pfister, Chun-Liang Li, Sylvia Ratnasamy, Aditya Parameswaran, Matei Zaharia, Ion Stoica, Mohsen Lesani.
Under Submission
[ Arxiv ]
Not Too Soon for Just-in-Time Systems: Challenges and Opportunities
Shu Liu*, Alexander Krentsel*, Shubham Agarwal*, Mert Cemri*, Ziming Mao, Soujanya Ponnapalli, Alexandros G. Dimakis, Sylvia Ratnasamy, Aditya Parameswaran, Ion Stoica.
Under Submission, Conference paper
[ Arxiv ]
⭐ CrossCheck: Input Validation for WAN Control Systems
Alexander Krentsel, Bharath Modhipalli, Rishabh Iyer, Isaac Keslassy, Sylvia Ratnasamy, Anees Shaikh, Rob Shakir.
NSDI 2026, Renton, WA
[ Paper | Slides | Video ]
GATE: GPU-Accelerated Traffic Engineering for the WAN
Rahul Bothra, Alexander Krentsel, Saptarshi Mandal, Brighten Godfrey, Sylvia Ratnasamy, Rob Shakir, R. Srikant.
Under Submission, Conference paper
[ Paper ]
SkyDiscover: A Flexible Framework for AI-Driven Scientific and Algorithmic Discovery
Shu Liu*, Mert Cemri*, Shubham Agarwal*, Alexander Krentsel, et. al..
Open Source Project
[ GitHub | Blog Post | CAIS '26 Demo ]
⭐ TURBO: Utility-Aware Bandwidth Allocation for Cloud-Augmented Autonomous Control
Peter Schafhalter*, Alexander Krentsel*, Hongbo Wei, Joseph E. Gonzalez, Sylvia Ratnasamy, Scott Shenker, Ion Stoica.
NINeS 2026, Virtual
[ Paper | Slides | Video | Conference Program ]
⭐ Towards Accessible Model-Free Verification
Alexander Krentsel, Oliver Ye, Anthony Tafoya, Xuqian Ma, Sylvia Ratnasamy, Anees Shaikh.
HotNets 2025, College Park, MD
[ Paper | Slides | Conference Program ]
Barbarians at the Gate: How AI is Upending Systems Research
Audrey Cheng, Shu Liu, Melissa Pan, Zhifei Li, Bowen Wang, Alexander Krentsel, Tian Xia, Mert Cemri, Jongseok Park, Shuo Yang, Jeff Chen, Lakshya Agrawal, Aditya Desai, Jiarong Xing, Koushik Sen, Matei Zaharia, Ion Stoica.
Arxiv 2025, Under Submission, Conference paper
[ Arxiv ]
The Case for Validating Inputs in Software-Defined WANs
Alexander Krentsel, Rishabh Iyer, Isaac Keslassy, Sylvia Ratnasamy, Rob Shakir, Anees Shaikh.
HotNets 2024, Irvine, CA
[ Paper | Slides | Video | Conference Program ]
Managing Bandwidth: The Key to Cloud-Assisted Autonomous Driving
Alexander Krentsel*, Peter Schafhalter*, Joseph E. Gonzalez, Sylvia Ratnasamy, Scott Shenker, Ion Stoica.
[ Arxiv ]
⭐ A Decentralized SDN Architecture for the WAN
Alexander Krentsel, Nitika Saran, Bikash Koley, Subhasree Mandal, Ashok Narayanan, Sylvia Ratnasamy, Ali Al-Shabibi, Anees Shaikh, Rob Shakir, Ankit Singla, Hakim Weatherspoon.
SIGCOMM 2024, Sydney, Australia
[ Paper | Slides | Video | Poster | Patent 1 | Patent 2 | Conference Program ]
The Sky is the Limit: Cloud-Assisted Autonomous Driving via Service Tiers
Alexander Krentsel, Peter Schafhalter, Joseph E. Gonzalez, Sylvia Ratnasamy, Scott Shenker, Ion Stoica.
Compound AI Systems Workshop, Databricks Data + AI Summit 2024
[ Extended Abstract | Poster | Workshop Program ]
