Concepedia

File System Semantics

File System Semantics is a formal specification of the behavioral and consistency properties governing file operations, namespace resolution, and data visibility within a file system, distinguishing it from general storage interfaces by precisely defining the meaning and ordering of reads, writes, and metadata updates across clients and system states.

97

Publications

4.6K

Citations

295

Authors

94

Institutions

Publications per year

2017–2026

13

Parents

Publications

97

Semantic file systems

David K. Gifford, Pierre Jouvelot, Mark A. Sheldon et al. · 1991 · 384 citations

, , +13

A file system for continuous media

David P. Anderson, Yoshitomo Osawa, Ramesh Govindan · ACM Transactions on Computer Systems · 1992 · 243 citations · Full text

, , +15

Using Crash Hoare logic for certifying the FSCQ file system

Haogang Chen, Daniel Ziegler, Tej Chajed et al. · 2015 · 200 citations · Full text

, , +17

Semantically-Smart Disk Systems

Muthian Sivathanu · Minds at UW (University of Wisconsin) · 2003 · 167 citations · Full text

, , +15

Analysis and evolution of journaling file systems

Vijayan Prabhakaran, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau · USENIX Annual Technical Conference · 2005 · 155 citations

, , +13

1–5 of 97

Authors

295

  1. EZ
    Erez Zadok

    Stony Brook University, United States

    6 publications · 331 citations

    6

    h-index

  2. AC
    Andrea C. Arpaci-Dusseau

    University of Wisconsin–Madison, United States

    5 publications · 267 citations

    5

    h-index

  3. RH
    Remzi H. Arpaci-Dusseau

    University of Wisconsin–Madison, United States

    5 publications · 267 citations

    5

    h-index

  4. MF
    M. Frans Kaashoek

    Massachusetts Institute of Technology, United States

    4 publications · 323 citations

    4

    h-index

  5. MS
    Muthian Sivathanu

    University of Wisconsin–Madison, United States

    4 publications · 263 citations

    4

    h-index

1–5 of 295

Institutions

94

  1. University of Wisconsin–Madison

    Madison, United States

    6 h-index

    22 publications

    1.1K citations

  2. Stony Brook University

    Stony Brook, United States

    5 h-index

    20 publications

    1.2K citations

  3. Microsoft (United States)

    Redmond, United States

    5 h-index

    27 publications

    2.3K citations

  4. Massachusetts Institute of Technology

    Cambridge, United States

    4 h-index

    7 publications

    1.3K citations

  5. Carnegie Mellon University

    Pittsburgh, United States

    4 h-index

    11 publications

    337 citations

  6. Google (United States)

    Mountain View, United States

    4 h-index

    4 publications

    169 citations

  7. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    3 h-index

    9 publications

    284 citations

  8. Los Alamos National Laboratory

    Los Alamos, United States

    3 h-index

    4 publications

    98 citations

1–8 of 94

Venues

  1. ACM Transactions on Storage

    TOS · 3 publications · 142 citations

    3

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 2 publications · 41 citations

    2

    h-index

  3. Communications of the ACM

    2 publications · 27 citations

    2

    h-index

  4. USENIX Annual Technical Conference

    Conference · 2 publications · 172 citations

    2

    h-index

  5. ACM Transactions on Computer Systems

    TOCS · 2 publications · 299 citations

    2

    h-index

1–5