Scholar
Alexander Krentsel
Google Scholar ID: XGqu0FoAAAAJ
UC Berkeley / Google
networking
systems
formal methods
control
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
14
H-index
2
i10-index
1
Publications
7
Co-authors
0
Publications
10 items
Reality Is the Final Verifier: On Two Key Gaps in Agentic Software Engineering
2026
Cited
0
Invariant Discovery for Networked Systems
2026
Cited
0
Fantastic Adaptive Taxonomies and How to Use Them
2026
Cited
0
The Time is Here for Just-in-Time Systems: Challenges and Opportunities
2026
Cited
0
Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems
2026
Cited
0
GATE: GPU-Accelerated Traffic Engineering for the WAN
2026
Cited
0
CrossCheck: Input Validation for WAN Control Systems
2026
Cited
0
Let the Barbarians In: How AI Can Accelerate Systems Performance Research
2025
Cited
0
Load more
