Ahmed Khurshid

1 papers · 2013–2013 · 1 conference · across top CS/AI conferences

Conferences

NSDI (1)

Top co-authors

Wenxuan Zhou (1) Matthew Caesar (1) P. Brighten Godfrey (1) Xuan Zou (1)

Papers

VeriFlow: Verifying Network-Wide Invariants in Real Time NSDI 2013