USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 2 results:
Filters: Author is Arun Raghunath [Clear All Filters]
User-Guided Device Driver Synthesis. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :661--676.
.
2014. Improved Device Driver Reliability Through Verification Reuse. Sixth Workshop on Hot Topics in System Dependability (HotDep 10).
.
2010.