Leonid Ryzhyk

3 papers · 2014–2020 · 2 conferences · across top CS/AI conferences

Achievements

🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🌍 Conference Polyglot (2) 🏃 Academic Marathon (6) 🐝 Cross-Pollinator (3) 🌉 Interdisciplinary Bridge

Conferences

OSDI (2) NSDI (1)

Top co-authors

George Varghese (1) Arun Raghunath (1) João Loff (1) Jean-Baptiste Jeannin (1) Mona Vij (1) Marco Canini (1) Sangeetha Abdu Jyothi (1) Douglas B. Terry (1) Michael Stumm (1) Michael Gasch (1)

Keywords

combinatorial optimization (1) formal verification (1) software-defined networking (1) stepwise refinement (1) network verification (1) network controller (1) bug detection (1) cluster management (1) load balancing (1) declarative programming (1) software-defined network (1)

Papers

Building Scalable and Flexible Cluster Managers Using Declarative Programming OSDI 2020

Correct by Construction Networks Using Stepwise Refinement NSDI 2017

User-Guided Device Driver Synthesis OSDI 2014