@inproceedings {258844, author = {Lalith Suresh and Jo{\~a}o Loff and Faria Kalim and Sangeetha Abdu Jyothi and Nina Narodytska and Leonid Ryzhyk and Sahan Gamage and Brian Oki and Pranshu Jain and Michael Gasch}, title = {Building Scalable and Flexible Cluster Managers Using Declarative Programming}, booktitle = {14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)}, year = {2020}, isbn = {978-1-939133-19-9}, pages = {827--844}, url = {https://www.usenix.org/conference/osdi20/presentation/suresh}, publisher = {USENIX Association}, month = nov } @inproceedings {201568, author = {Leonid Ryzhyk and Nikolaj Bj{\o}rner and Marco Canini and Jean-Baptiste Jeannin and Cole Schlesinger and Douglas B. Terry and George Varghese}, title = {Correct by Construction Networks Using Stepwise Refinement}, booktitle = {14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17)}, year = {2017}, isbn = {978-1-931971-37-9}, address = {Boston, MA}, pages = {683--698}, url = {https://www.usenix.org/conference/nsdi17/technical-sessions/presentation/ryzhyk}, publisher = {USENIX Association}, month = mar } @inproceedings {186225, author = {Leonid Ryzhyk and Adam Walker and John Keys and Alexander Legg and Arun Raghunath and Michael Stumm and Mona Vij}, title = {{User-Guided} Device Driver Synthesis}, booktitle = {11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14)}, year = {2014}, isbn = { 978-1-931971-16-4}, address = {Broomfield, CO}, pages = {661--676}, url = {https://www.usenix.org/conference/osdi14/technical-sessions/presentation/ryzhyk}, publisher = {USENIX Association}, month = oct } @inproceedings {266880, author = {Gernot Heiser and Leonid Ryzhyk and Michael von Tessin and Aleksander Budzynowski}, title = {What If You Could Actually Trust Your Kernel?}, booktitle = {13th Workshop on Hot Topics in Operating Systems (HotOS XIII)}, year = {2011}, address = {Napa, CA}, url = {https://www.usenix.org/conference/hotosxiii/what-if-you-could-actually-trust-your-kernel}, publisher = {USENIX Association}, month = may } @inproceedings {267171, author = {Leonid Ryzhyk and NICTA and University of New South Wales and John Keys and Balachandra Mirla and Arun Raghunath and Mona Vij and Gernot Heiser}, title = {Improved Device Driver Reliability Through Verification Reuse}, booktitle = {Sixth Workshop on Hot Topics in System Dependability (HotDep 10)}, year = {2010}, address = {Vancouver, BC}, url = {https://www.usenix.org/conference/hotdep10/improved-device-driver-reliability-through-verification-reuse}, publisher = {USENIX Association}, month = oct }