conftrace_

Jed Liu

2 papers · 2014–2021 · 1 conference · across top CS/AI conferences

Achievements

Jump to papers ↓

🏃 Academic Marathon (7) 🧭 Keyword Pioneer 🐝 Cross-Pollinator (13)

Conferences

NSDI (2)

Top co-authors

Nate Foster (1) Ruzica Piskac (1) Carmelo Cascone (1) Eric Hayden Campbell (1) Tom Magrino (1) Andrew C. Myers (1) William T. Hallahan (1) Hossein Hojjat (1) Owen Arden (1) Robert Soulé (1)

Keywords

program synthesis (1) software-defined networking (1) control plane (1) data plane (1) counterexample guided inductive synthesis (1) inductive synthesis (1) network heterogeneity (1) counter-example guided (1) control plane synthesis (1)

Papers

Avenir: Managing Data Plane Diversity with Control Plane Synthesis NSDI 2021 Warranties for Faster Strong Consistency NSDI 2014