USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 3 results:
Filters: Author is James Bornholt [Clear All Filters]
Nickel: A Framework for Design and Verification of Information Flow Control Systems. 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). :287--305.
.
2018. Push-Button Verification of File Systems via Crash Refinement. 2017 USENIX Annual Technical Conference (USENIX ATC 17).
.
2017. Push-Button Verification of File Systems via Crash Refinement. 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16). :1--16.
.
2016.