Work

Specifying and Checking File System Crash-Consistency Models

Year: 2016

Type: article

Source: ACM SIGARCH Computer Architecture News

DOI: 10.1145/2980024.2872406

Authors: James Bornholt, Antoine Kaufmann, Jialin Li, Arvind Krishnamurthy, Emina Torlak, Xi Wang

Institution: University of Washington

Language: English

Topic: Distributed systems and fault tolerance

Subfield: Computer Networks and Communications

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: National Science Foundation, VMware, Defense Advanced Research Projects Agency

Awards: SHF: Medium: A Code-Centric Approach to Specifying, Checking, and Discovering Shared-Memory Communication, G3785592558, G4713059963

OpenAlex ID: W4246974801

FWCI: 0.289

Cites: 61

Cited by: 10

Related to: 10