Alexander Krentsel

Orcid: 0009-0005-2728-1898

According to our database1, Alexander Krentsel authored at least 12 papers between 2024 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
The Time is Here for Just-in-Time Systems: Challenges and Opportunities.
CoRR, May, 2026

Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems.
CoRR, May, 2026

GATE: GPU-Accelerated Traffic Engineering for the WAN.
CoRR, May, 2026

CrossCheck: Input Validation for WAN Control Systems.
Proceedings of the 23rd USENIX Symposium on Networked Systems Design and Implementation, 2026

TURBO: Utility-Aware Bandwidth Allocation for Cloud-Augmented Autonomous Control.
Proceedings of the 1st New Ideas in Networked Systems, 2026

SkyDiscover: A Flexible, Adaptive Framework for AI-Driven Scientific and Algorithmic Discovery.
Proceedings of the ACM Conference on AI and Agentic Systems, 2026

2025
Let the Barbarians In: How AI Can Accelerate Systems Performance Research.
CoRR, December, 2025

Bandwidth Allocation for Cloud-Augmented Autonomous Driving.
CoRR, March, 2025

Towards Accessible Model-Free Verification.
Proceedings of the 24th ACM Workshop on Hot Topics in Networks, 2025

2024
Managing Bandwidth: The Key to Cloud-Assisted Autonomous Driving.
CoRR, 2024

A Decentralized SDN Architecture for the WAN.
Proceedings of the ACM SIGCOMM 2024 Conference, 2024

The Case for Validating Inputs in Software-Defined WANs.
Proceedings of the 23rd ACM Workshop on Hot Topics in Networks, 2024


  Loading...