Jed Liu

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

Achievements

🏃 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