Publications
Research in networked systems, programmable networks, and verification.
* Corresponding author
2026
- Revisiting Preemptive Buffer Management for Modern Datacenter Switch ChipsIEEE Transactions on Computers, 2026CCF A Bib
- Fast SMT-Based Fault Tolerance Verification for Wide Area NetworksIn Formal Methods, 2026CCF A Bib
- AccessRefinery: Fast Mining Concise Access Control Intents on Public CloudIn ACM FSE, 2026CCF A Bib
-
-