Performance Verification and Synthesis
Using nondeterministic models, program verification, and synthesis to design resource-allocation controllers with provable performance guarantees.
Venkat Arun
Assistant Professor, Computer Science · UT Austin
Blog / Category
Research
Technical ideas, research notes, and works in progress.
"Solving" Congestion Control
A systematic approach to congestion control based on nondeterministic network models and automated reasoning.