USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 5 results:
Filters: Author is Leonid Ryzhyk [Clear All Filters]
Building Scalable and Flexible Cluster Managers Using Declarative Programming. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :827--844.
.
2020. Correct by Construction Networks Using Stepwise Refinement. 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17). :683--698.
.
2017. User-Guided Device Driver Synthesis. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :661--676.
.
2014. What If You Could Actually Trust Your Kernel? 13th Workshop on Hot Topics in Operating Systems (HotOS XIII).
.
2011. Improved Device Driver Reliability Through Verification Reuse. Sixth Workshop on Hot Topics in System Dependability (HotDep 10).
.
2010.