Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Alexander Krentsel
Observed names:
Krentsel, Alex,
Krentsel, Alexander
Institutions:
Google (United States),
University of California, Santa Cruz,
University of California, Berkeley
Observed institutions:
Google (United States),
International Computer Science Institute,
University of California, Santa Cruz,
University of California, Berkeley
ORCID:
0009-0005-2728-1898
Observed ORCID:
0009-0005-2728-1898
OpenAlex ID:
A5106110610
TURBO: Utility-Aware Bandwidth Allocation for Cloud-Augmented Autonomous Control
2025
·
Schafhalter, Peter
, Krentsel, Alexander
, et al.
·
arXiv (Cornell University)
·
14
PDF
A Decentralized SDN Architecture for the WAN
2024
·
Alexander Krentsel
, Nitika Saran
, et al.
·
ACM SIGCOMM Conference (SIGCOMM)
·
12
SkyDiscover: A Flexible, Adaptive Framework for AI-Driven Scientific and Algorithmic Discovery
2026
·
Shu Liu
, Mert Cemri
, et al.
·
ACM Conference on AI and Agentic Systems (CAIS)
·
1
Barbarians at the Gate: How AI is Upending Systems Research
2025
·
Cheng, Audrey
, Liu, Shu
, et al.
·
arXiv (Cornell University)
·
1
PDF
The Case for Validating Inputs in Software-Defined WANs
2024
·
Alexander Krentsel
, Rishabh Iyer
, et al.
·
ACM Workshop on Hot Topics in Networks (HotNets)
·
1
Reality Is the Final Verifier: On Two Key Gaps in Agentic Software Engineering
2026
·
Krentsel, Alexander
, Agarwal, Shubham
, et al.
·
arXiv (Cornell University)
PDF
Invariant Discovery for Networked Systems
2026
·
Hè, Hongyu
, Krentsel, Alexander
, et al.
·
arXiv (Cornell University)
PDF
Fantastic Adaptive Taxonomies and How to Use Them
2026
·
Cemri, Mert
, Cojocaru, Andrei
, et al.
·
arXiv (Cornell University)
PDF
Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems
2026
·
Agarwal, Shubham
, Krentsel, Alexander
, et al.
·
arXiv (Cornell University)
PDF
The Time is Here for Just-in-Time Systems: Challenges and Opportunities
2026
·
Liu, Shu
, Krentsel, Alexander
, et al.
·
arXiv (Cornell University)
PDF
GATE: GPU-Accelerated Traffic Engineering for the WAN
2026
·
Bothra, Rahul
, Krentsel, Alexander
, et al.
·
arXiv (Cornell University)
PDF
CrossCheck: Input Validation for WAN Control Systems
2026
·
Krentsel, Alexander
, Iyer, Rishabh
, et al.
·
arXiv (Cornell University)
PDF
Let the Barbarians In: How AI Can Accelerate Systems Performance Research
2025
·
Cheng, Audrey
, Liu, Shu
, et al.
·
arXiv (Cornell University)
PDF
Towards Accessible Model-Free Verification
2025
·
Alexander Krentsel
, Oliver Ye
, et al.
·
ACM Workshop on Hot Topics in Networks (HotNets)
PDF
TURBO Control System for Utility-Aware Bandwidth Allocation
2025
·
Peter Schafhalter
, Alexander Krentsel
, et al.
·
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
Managing Bandwidth: The Key to Cloud-Assisted Autonomous Driving
2024
·
Krentsel, Alexander
, Schafhalter, Peter
, et al.
·
arXiv (Cornell University)
PDF
Show more works
View as search
Works count:
16
Citation count:
29
H-index:
2
I10-index:
2
Year
Topic
Type