Sotabase

Career

· Lacework

Publications (7)

This Paper Is Included in the Proceedings of the 12th Usenix Symposium on Operating Systems Design and Implementation (osdi '16). Push-button Verification of File Systems via Crash Refinement Push-button Verification of File Systems via Crash Refinement
125
cited
Hyperkernel: Push-Button Verification of an OS Kernel
Symposium on Operating Systems Principles · 2017
117
cited
Nickel: A Framework for Design and Verification of Information Flow Control Systems
USENIX Symposium on Operating Systems Design and Implementation · 2018
53
cited
Enabling Space Elasticity in Storage Systems
Annual Haifa Experimental Systems Conference · 2016
5
cited
Harmonium: Elastic Cloud Storage via File Motifs
USENIX Workshop on Hot Topics in Cloud Computing · 2014
3
cited
A note on verifying information flow control systems with Nickel
2019
Push-Button Verification of Systems Software
2020
Sotabase