| Title: |
CoGENT: Verifying High-Assurance File System Implementations |
| Article URLs: |
|
| Alternative Article URLs: |
|
| Authors: |
Sidney Amani |
|
| Alex Hixon |
|
| Zilin Chen |
|
| Christine Rizkallah |
|
| Peter Chubb |
|
| Liam O'Connor |
|
| Joel Beeren |
|
| Yutaka Nagashima |
|
| Japheth Lim |
|
| Thomas Sewell |
|
| Joseph Tuong |
|
| Gabriele Keller |
|
| Toby C. Murray |
|
| Gerwin Klein |
|
| Gernot Heiser |
|
| Sharing: |
Research produced artifacts
|
| Verification: |
Authors have
verified
information
|
| Artifact Evaluation Badge: |
none
|
| Artifact URLs: |
|
| Artifact Correspondence Email Addresses: |
|
| NSF Award Numbers: |
|
| DBLP Key: |
conf/asplos/AmaniHCRCOBNLST16
|
| Author Comments: |
|