conftrace_

Douglas B. Terry

2 papers · 2014–2017 · 2 conferences · across top CS/AI conferences

Achievements

Jump to papers ↓

🧭 Keyword Pioneer 🌍 Conference Polyglot (2) 🐝 Cross-Pollinator (3) 🐣 Hot Topic Early Bird

Conferences

NSDI (1) OSDI (1)

Top co-authors

George Varghese (1) Jean-Baptiste Jeannin (1) Marco Canini (1) Masoud Saeida Ardekani (1) Nikolaj Bjørner (1) Cole Schlesinger (1) Leonid Ryzhyk (1)

Keywords

formal verification (1) software-defined networking (1) stepwise refinement (1) network verification (1) network controller (1) bug detection (1) software-defined network (1)

Papers

Correct by Construction Networks Using Stepwise Refinement NSDI 2017 A Self-Configurable Geo-Replicated Cloud Storage System OSDI 2014