| Barbarians at the gate: How ai is upending systems research A Cheng, S Liu, M Pan, Z Li, B Wang, A Krentsel, T Xia, M Cemri, J Park, ... arXiv preprint arXiv:2510.06189, 2025 | 68 | 2025 |
| A decentralized sdn architecture for the wan A Krentsel, N Saran, B Koley, S Mandal, A Narayanan, S Ratnasamy, ... Proceedings of the ACM SIGCOMM 2024 Conference, 938-953, 2024 | 29 | 2024 |
| Let the barbarians in: How ai can accelerate systems performance research A Cheng, S Liu, M Pan, Z Li, S Agarwal, M Cemri, B Wang, A Krentsel, ... arXiv preprint arXiv:2512.14806, 2025 | 24 | 2025 |
| Skydiscover: A flexible, adaptive framework for ai-driven scientific and algorithmic discovery S Liu, M Cemri, S Agarwal, A Krentsel, A Naren, Q Mang, Z Li, A Gupta, ... Proceedings of the ACM Conference on AI and Agentic Systems, 1223-1227, 2026 | 15 | 2026 |
| SkyDiscover: A flexible framework for AI-driven scientific and algorithmic discovery, 2026 S Liu, M Cemri, S Agarwal, A Krentsel, A Naren, Q Mang, Z Li, A Gupta, ... URL https://skydiscover-ai. github. io/blog. html 7, 24, 0 | 12 | |
| Barbarians at the gate: How ai is upending systems research, 2025 A Cheng, S Liu, M Pan, Z Li, B Wang, A Krentsel, T Xia, M Cemri, J Park, ... URL https://arxiv. org/abs/2510.06189 5 (4), 2025 | 11 | 2025 |
| Managing bandwidth: The key to cloud-assisted autonomous driving A Krentsel, P Schafhalter, JE Gonzalez, S Ratnasamy, S Shenker, I Stoica arXiv preprint arXiv:2410.16227, 2024 | 8 | 2024 |
| The case for validating inputs in software-defined wans A Krentsel, R Iyer, I Keslassy, S Ratnasamy, A Shaikh, R Shakir Proceedings of the 23rd ACM Workshop on Hot Topics in Networks, 246-254, 2024 | 7 | 2024 |
| Towards accessible model-free verification A Krentsel, O Ye, A Tafoya, X Ma, S Ratnasamy, A Shaikh Proceedings of the 24th ACM Workshop on Hot Topics in Networks, 210-217, 2025 | 6 | 2025 |
| The Time is Here for Just-in-Time Systems: Challenges and Opportunities S Liu, A Krentsel, S Agarwal, M Cemri, Z Mao, S Ponnapalli, AG Dimakis, ... arXiv preprint arXiv:2605.24096, 2026 | 5 | 2026 |
| Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems S Agarwal, A Krentsel, S Liu, M Cemri, A Cheng, R Meng, T Pfister, CL Li, ... arXiv preprint arXiv:2605.23109, 2026 | 4 | 2026 |
| {CrossCheck}: Input Validation for {WAN} Control Systems A Krentsel, R Iyer, I Keslassy, B Modhipalli, S Ratnasamy, A Shaikh, ... 23rd USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2026 | 4 | 2026 |
| Bandwidth allocation for cloud-augmented autonomous driving P Schafhalter, A Krentsel, JE Gonzalez, S Ratnasamy, S Shenker, I Stoica arXiv e-prints, arXiv: 2503.20127, 2025 | 4 | 2025 |
| Fantastic Adaptive Taxonomies and How to Use Them M Cemri, A Cojocaru, M Pan, S Liu, S Agarwal, A Krentsel, J Tang, ... arXiv preprint arXiv:2607.16387, 2026 | 2 | 2026 |
| GATE: GPU-Accelerated Traffic Engineering for the WAN R Bothra, A Krentsel, S Mandal, B Godfrey, S Ratnasamy, R Shakir, ... arXiv preprint arXiv:2605.01748, 2026 | 1 | 2026 |
| TURBO Control System for Utility-Aware Bandwidth Allocation P Schafhalter, A Krentsel, H Wei, JE Gonzalez, S Ratnasamy, S Shenker, ... Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2026 | 1 | 2026 |
| Distributed Software Defined Network Architecture R SHAKIR, S Ratnasamy, J Mudigonda, A Narayanan, A Krentsel US Patent App. 18/109,654, 2024 | 1 | 2024 |
| Reality Is the Final Verifier: On Two Key Gaps in Agentic Software Engineering A Krentsel, S Agarwal, M Cemri, S Liu, S Sankhe, Z Mao, M Zaharia, ... arXiv preprint arXiv:2609.12039, 2026 | | 2026 |
| Invariant Discovery for Networked Systems H Hè, A Krentsel, S Ratnasamy, M Apostolaki arXiv preprint arXiv:2607.22944, 2026 | | 2026 |
| Politics of the Apolitical in Post-Tarab Spaces A Krentsel | | 2025 |