Matthew Caesar

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

Achievements

🏃 Academic Marathon (7) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐝 Cross-Pollinator (13) 🏆 Keyword Champion (2)

Conferences

NSDI (4)

Top co-authors

Wenxuan Zhou (3) P. Brighten Godfrey (2) Jason Croft (2) Brighten Godfrey (1) Ahmed Khurshid (1) Kuan-Yen Chou (1) Bingzhe Liu (1) Xuan Zou (1) Dong Jin (1) Santhosh Prabhu (1)

Keywords

network configuration (2) model checking (1) network verification (1) software defined networking (1) policy enforcement (1) symbolic partitioning (1) policy verification (1) equivalence partitioning (1) explicit-state exploration (1) formal verification (1) partial order reduction (1)

Papers

Plankton: Scalable network configuration verification through model checking NSDI 2020

Automatically Correcting Networks with NEAt NSDI 2018

Enforcing Customizable Consistency Properties in Software-Defined Networks NSDI 2015

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