Biblio

Export 5 results:
Filters: Author is Leonid Ryzhyk  [Clear All Filters]
2020
Suresh L, Loff J, Kalim F, Jyothi SAbdu, Narodytska N, Ryzhyk L, Gamage S, Oki B, Jain P, Gasch M.  2020.  Building Scalable and Flexible Cluster Managers Using Declarative Programming. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :827--844.
2017
Ryzhyk L, Bjørner N, Canini M, Jeannin J-B, Schlesinger C, Terry DB, Varghese G.  2017.  Correct by Construction Networks Using Stepwise Refinement. 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17). :683--698.
2014
Ryzhyk L, Walker A, Keys J, Legg A, Raghunath A, Stumm M, Vij M.  2014.  User-Guided Device Driver Synthesis. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :661--676.
2011
Heiser G, Ryzhyk L, von Tessin M, Budzynowski A.  2011.  What If You Could Actually Trust Your Kernel? 13th Workshop on Hot Topics in Operating Systems (HotOS XIII).
2010
Ryzhyk L, NICTA, Wales Uof New Sou, Keys J, Mirla B, Raghunath A, Vij M, Heiser G.  2010.  Improved Device Driver Reliability Through Verification Reuse. Sixth Workshop on Hot Topics in System Dependability (HotDep 10).