Specifying crash safety for storage systems

Specifying crash safety for storage systems

NSF (Awards CNS-1053143, CNS-1413920, and CCF- 1253229)

Bibliographic Details
Main Authors:	Chen, Haogang, Ziegler, Daniel (Daniel M.), Chlipala, Adam, Kaashoek, M. Frans, Kohler, Eddie, Zeldovich, Nickolai
Other Authors:	Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format:	Article
Language:	English
Published:	Association for Computing Machinery (ACM)/ USENIX 2021
Online Access:	https://hdl.handle.net/1721.1/129331

Similar Items

Using Crash Hoare logic for certifying the FSCQ file system
by: Chen, Haogang, et al.
Published: (2021)

Certifying a file system using crash hoare logic
by: Chajed, Tej, et al.
Published: (2019)

Verifying a high-performance crash-safe file system using a tree specification
by: Chen, Haogang, et al.
Published: (2021)

Verifying concurrent, crash-safe systems with Perennial
by: Chajed, Tej, et al.
Published: (2021)

Argosy: verifying layered storage systems with recovery refinement
by: Chajed, Tej, et al.
Published: (2021)

Certifying a crash-safe file system
by: Chen, Haogang
Published: (2017)

Software Fault Isolation with Api Integrity and Multi-Principal Modules
by: Mao, Yandong, et al.
Published: (2012)

Linux Kernel Vulnerabilities: State-of-the-Art Defenses and Open Problems
by: Chen, Haogang, et al.
Published: (2012)

Extracting and Optimizing Formally Verified Code for Systems Programming
by: Ioannidis, Eleftherios, et al.
Published: (2020)

Undefined behavior: what happened to my code?
by: Wang, Xi, et al.
Published: (2014)

Oort: User-Centric Cloud Storage with Global Queries
by: Chajed, Tej, et al.
Published: (2016)

Security bugs in embedded interpreters
by: Chen, Haogang, et al.
Published: (2014)

CPHASH: A cache-partitioned hash table
by: Metreveli, Zviad, et al.
Published: (2012)

Scalable Address Spaces Using Rcu Balanced Trees
by: Clements, Austin T., et al.
Published: (2012)

CPHash: A Cache-Partitioned Hash Table
by: Metreveli, Zviad, et al.
Published: (2011)

RadixVM: Scalable address spaces for multithreaded applications
by: Clements, Austin T., et al.
Published: (2014)

Retroactive auditing
by: Wang, Xi, et al.
Published: (2012)

Hare: a file system for non-cache-coherent multicores
by: Gruenwald, Charles, et al.
Published: (2016)

The scalable commutativity rule: designing scalable software for multicore processors
by: Clements, Austin T., et al.
Published: (2014)

Towards optimization-safe systems: analyzing the impact of undefined behavior
by: Wang, Xi, et al.
Published: (2014)

The K2 Architecture for Trustworthy Hardware Security Modules
by: Athalye, Anish, et al.
Published: (2023)

Grove: a Separation-Logic Library for Verifying Distributed Systems
by: Sharma, Upamanyu, et al.
Published: (2023)

Intrusion Recovery Using Selective Re-execution
by: Kim, Taesoo, et al.
Published: (2011)

Improving application security with data flow assertions
by: Yip, Alexander, et al.
Published: (2011)

VerSum: Verifiable Computations over Large Public Logs
by: van den Hooff, Jelle, et al.
Published: (2015)

Scaling a file system to many cores using an operation log
by: Bhat, Srivatsa S., et al.
Published: (2021)

Notary: a device for secure transaction approval
by: Athalye, Anish, et al.
Published: (2020)

A Software Approach to Unifying Multicore Caches
by: Boyd-Wickizer, Silas, et al.
Published: (2011)

OpLog: a library for scaling update-heavy data structures
by: Boyd-Wickizer, Silas, et al.
Published: (2014)

Modular Verification of Secure and Leakage-Free Systems: From Application Specification to Circuit-Level Implementation
by: Athalye, Anish, et al.
Published: (2024)

Position: GDPR Compliance by Construction
by: Schwarzkopf, Malte, et al.
Published: (2021)

Making information flow explicit in HiStar
by: Zeldovich, Nickolai, et al.
Published: (2012)

Programming Language Techniques for Modular Router Configurations
by: Kohler, Eddie, et al.
Published: (2023)

Processing Analytical Queries over Encrypted Data
by: Tu, Stephen Lyle, et al.
Published: (2014)

Position: GDPR Compliance by Construction
by: Schwarzkopf, Malte, et al.
Published: (2022)

Edna: Disguising and Revealing User Data in Web Applications
by: Tsai, Lillian, et al.
Published: (2023)

The safety performance of guardrail systems: review and analysis of crash tests data
by: Soltani, M., et al.
Published: (2013)

Separating Web Applications from User Data Storage with BSTORE
by: Chandra, Ramesh, et al.
Published: (2011)

Specifying and Proving Properties of Guardians for Distributed Systems
by: Hewitt, Carl, et al.
Published: (2004)

Specifying and Proving Properties of Guardians for Distributed Systems
by: Hewitt, Carl, et al.
Published: (2008)