BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
file system
Google file system

Tag #file system

139 papers:

ECOOPECOOP-2018-NtzikPSG #concurrent #specification
A Concurrent Specification of POSIX File Systems (GN, PdRP, JS, PG), p. 28.
VMCAIVMCAI-2018-Najafzadeh0E #co-evolution #design #verification
Co-Design and Verification of an Available File System (MN, MS0, PE), pp. 358–381.
ASPLOSASPLOS-2016-AmaniHCRCOBNLST #implementation #named #verification
CoGENT: Verifying High-Assurance File System Implementations (SA, AH, ZC, CR, PC, LO, JB, YN, JL, TS, JT, GK, TCM, GK, GH), pp. 175–188.
ASPLOSASPLOS-2016-BornholtKLKTW #modelling #specification
Specifying and Checking File System Crash-Consistency Models (JB, AK, JL, AK, ET, XW0), pp. 83–98.
SEKESEKE-2015-ChangB #object-oriented #optimisation
Optimizing of an Object-Oriented File System (OOFS) (LHC, SB), pp. 208–212.
OOPSLAOOPSLA-2015-NtzikG #reasoning
Reasoning about the POSIX file system: local update and global pathnames (GN, PG), pp. 201–220.
SACSAC-2015-InacioDBNM #operating system #parallel #parametricity #performance
Performance impact of operating systems’ caching parameters on parallel file systems (ECI, MARD, FZB, POAN, DDJdM), pp. 2066–2068.
SACSAC-2015-LeeRH #memory management #performance
Performance implications of cache flushes for non-volatile memory file systems (KL, SR, HH), pp. 2069–2071.
SOSPSOSP-2015-ChenZCCKZ #hoare #logic #using
Using Crash Hoare logic for certifying the FSCQ file system (HC, DZ, TC, AC, MFK, NZ), pp. 18–37.
SOSPSOSP-2015-MinKLSK #correctness #debugging #semantics
Cross-checking semantic correctness: the case of finding file system bugs (CM, SK, BL, CS, TK), pp. 361–377.
SOSPSOSP-2015-RidgeSTGMS #named #specification #testing
SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems (TR, DS, TT, AG, AM, PS), pp. 38–53.
SOSPSOSP-2015-TsaiZRJZP #how
How to get more value from your file system directory cache (CcT, YZ, JR, YJ, TZ, DEP), pp. 441–456.
CHICHI-2014-MasseyTTW #question #what
PIM and personality: what do our personal file systems say about us? (CM, ST, CT, SW), pp. 3695–3704.
SACSAC-2014-LeeJB #design #memory management #named #similarity
DTFS: exploiting the similarity of data versions to design a write-efficient file system in phase-change memory (EL, JEJ, HB), pp. 1535–1540.
OSDIOSDI-2014-LuZDAAA #physics
Physical Disentanglement in a Container-Based File System (LL, YZ, TD, SAK, ACAD, RHAD), pp. 81–96.
OSDIOSDI-2014-PillaiCAAAA #complexity
All File Systems Are Not Created Equal: On the Complexity of Crafting Crash-Consistent Applications (TSP, VC, RA, SAK, ACAD, RHAD), pp. 433–448.
PDPPDP-2014-HuaWR #distributed #throughput
Enhancing Throughput of Hadoop Distributed File System for Interaction-Intensive Tasks (XH, HW, SR), pp. 508–511.
PDPPDP-2014-TsujitaYHSNI #parallel #performance #thread
Multithreaded Two-Phase I/O: Improving Collective MPI-IO Performance on a Lustre File System (YT, KY, AH, MS, MN, YI), pp. 232–235.
ESOPESOP-2014-GardnerNW #reasoning
Local Reasoning for the POSIX File System (PG, GN, AW), pp. 169–188.
VLDBVLDB-2013-OvsiannikovRRSRK
A The Quantcast File System (MO, SR, DR, PS, SR, JK), pp. 1092–1101.
SACSAC-2013-Oikawa #in memory #memory management
Integrating memory management with a file system on a non-volatile main memory system (SO), pp. 1589–1594.
ASPLOSASPLOS-2013-SilbersteinFKW #named
GPUfs: integrating a file system with GPUs (MS, BF, IK, EW), pp. 485–498.
HPDCHPDC-2013-RajachandrasekarMMP
A 1 PB/s file system to checkpoint three million MPI tasks (RR, AM, KM, DKP), pp. 143–154.
PLOSPLOS-2013-KellerMAOCRKH #exclamation #verification
File systems deserve verification too! (GK, TCM, SA, LO, ZC, LR, GK, GH), p. 7.
PLOSPLOS-2013-SunFBG #agile #automation #generative #tool support
Annotation for automation: rapid generation of file system tools (KJS, DF, ADB, AG), p. 6.
SOSPSOSP-2013-MashtizadehBHM #replication
Replication, history, and grafting in the Ori file system (AJM, AB, YFH, DM), pp. 151–166.
PDPPDP-2012-Kunkel0 #architecture #functional #hardware #modelling #named #parallel #representation
IOPm — Modeling the I/O Path with a Functional Representation of Parallel File System and Hardware Architecture (JMK, TL), pp. 554–561.
DACDAC-2011-HsuCHKD #reliability
A version-based strategy for reliability enhancement of flash file systems (PHH, YHC, PCH, TWK, DHCD), pp. 29–34.
HPDCHPDC-2011-SongYCS #layout #parallel
A cost-intelligent application-specific data layout scheme for parallel file systems (HS, YY, YC, XHS), pp. 37–48.
PDPPDP-2011-KassickBN #configuration management #parallel
Dynamic I/O Reconfiguration for a NFS-Based Parallel File System (RK, FZB, POAN), pp. 11–18.
DocEngDocEng-2010-MullerRB
A file-type sensitive, auto-versioning file system (AM, SR, UMB), pp. 271–274.
SACSAC-2010-HassanB #distributed #using
Semi-join computation on distributed file systems using map-reduce-merge model (MAHH, MB), pp. 406–413.
SACSAC-2010-RajgarhiaG #performance
Performance and extension of user space file systems (AR, AG), pp. 206–213.
SACSAC-2010-RyuLYS #clustering
Flash-aware cluster allocation method based on filename extension for FAT file system (SR, CL, SY, SS), pp. 502–509.
HPDCHPDC-2010-XuF #data transformation #framework #named
GatorShare: a file system framework for high-throughput data management (JX, RJOF), pp. 776–786.
FMFM-2009-SchierlSHR #memory management #specification
Abstract Specification of the UBIFS File System for Flash Memory (AS, GS, DH, WR), pp. 190–206.
PLDIPLDI-2009-Rubio-GonzalezGLAA #analysis #fault
Error propagation analysis for file systems (CRG, HSG, BL, RHAD, ACAD), pp. 270–280.
SACSAC-2009-DohLMKCLN #embedded #metadata #performance
Impact of NVRAM write cache for file system metadata on I/O performance in embedded systems (IHD, HJL, YJM, EK, JC, DL, SHN), pp. 1658–1663.
DATEDATE-2009-MylavarapuCSLG #named
FSAF: File system aware flash translation layer for NAND Flash Memories (SKM, SC, AS, JL, TG), pp. 399–404.
HPDCHPDC-2009-DickensL #library #named #performance
Y-lib: a user level library to increase the performance of MPI-IO in a lustre file system environment (PMD, JL), pp. 31–38.
VMCAIVMCAI-2009-GallowayLMS #linux #model checking
Model-Checking the Linux Virtual File System (AG, GL, JTM, RS), pp. 74–88.
VLDBVLDB-2008-KwonBG #distributed #fault tolerance #using
Fault-tolerant stream processing using a distributed, replicated file system (YK, MB, AGG), pp. 574–585.
KDDKDD-2008-FormanR #classification #scalability
Scaling up text classification for large file systems (GF, SR), pp. 239–246.
SEKESEKE-2008-HittleG #fault #injection #testing #using
Fault Injection Testing of User-space File Systems Using Traditional and Aspect-based Techniques (JH, SG), pp. 873–876.
SACSAC-2008-LeeHCHS
Secure deletion for NAND flash file system (JL, JH, YC, JH, SYS), pp. 1710–1714.
SACSAC-2008-ParkLLP #architecture #hybrid #memory management #named #ram #scalability
PFFS: a scalable flash memory file system for the hybrid architecture of phase-change RAM and NAND flash (YP, SHL, CL, KHP), pp. 1498–1503.
SACSAC-2008-RochaO08a #agile #development #embedded
An environment for the rapid development of embedded file systems (FRdlR, RSdO), pp. 694–699.
HPDCHPDC-2008-XiaFJTW #approach #correlation #evaluation #mining #named #novel #optimisation #performance
FARMER: a novel approach to file access correlation mining and evaluation reference model for optimizing peta-scale file system performance (PX, DF, HJ, LT, FW), pp. 185–196.
OSDIOSDI-2008-AnandSKPAAAB
Avoiding File System Micromanagement with Range Writes (AA, SS, AK, FIP, AA, ACAD, RHAD, SB), pp. 161–176.
OSDIOSDI-2008-GunawiRAA #declarative #named
SQCK: A Declarative File System Checker (HSG, AR, ACAD, RHAD), pp. 131–146.
PDPPDP-2008-BerguaCCSC #data transfer #grid #parallel
Comparing Grid Data Transfer Technologies in the Expand Parallel File System (BB, FGC, AC, LMS, JC), pp. 110–114.
SACSAC-2007-ChiangH #adaptation #performance
Improving the performance of log-structured file systems with adaptive block rearrangement (MLC, JSH), pp. 1136–1140.
SACSAC-2007-SongP
Providing context-awareness to virtual file system (YS, DP), pp. 1199–1200.
SACSAC-2007-UppuluriSJ #grid #named
RemoteFS: accessing remote file systems for desktop grid computing (PU, SS, UJ), pp. 1203–1204.
HPDCHPDC-2007-HildebrandH #named #parallel #scalability
Direct-pNFS: scalable, transparent, and versatile access to parallel file systems (DH, PH), pp. 199–208.
SOSPSOSP-2007-FrostMKRHMZ #dependence
Generalized file system dependencies (CF, MM, EK, AdlR, SH, AM, LZ), pp. 307–320.
SOSPSOSP-2007-GunawiPKAA #reliability
Improving file system reliability with I/O shepherding (HSG, VP, SK, ACAD, RHAD), pp. 293–306.
MSRMSR-2006-SigonneauR #automation #component #logic #multi #re-engineering
Software engineering applications of logic file system: application to automated multi-criteria indexation of software components (BS, OR), pp. 87–93.
ICSEICSE-2006-PadioleauSR #information management #logic #named
LISFS: a logical information system as a file system (YP, BS, OR), pp. 803–806.
SACSAC-2006-PisupatiB #framework #network
File system framework for organizing sensor networks (BP, GB), pp. 935–936.
SACSAC-2006-WuKC #memory management #performance
Efficient initialization and crash recovery for log-based file systems over flash memory (CHW, TWK, LPC), pp. 896–900.
HPDCHPDC-2006-LopesM #clustering #parallel
Cooperative Caching in the pCFS parallel Cluster File System (PAL, PDM), pp. 347–348.
OSDIOSDI-2006-DouceurH #distributed
Distributed Directory Service in the Farsite File System (JRD, JH), pp. 321–334.
OSDIOSDI-2006-WeilBMLM #distributed #named #scalability
Ceph: A Scalable, High-Performance Distributed File System (SAW, SAB, ELM, DDEL, CM), pp. 307–320.
HTHT-2005-BhagwatP #semantics #using
Searching a file system using inferred semantic links (DB, NP), pp. 85–87.
HPDCHPDC-2005-Wang #distributed #towards #version control #workflow
Towards a workflow-aware distributed versioning file system for metacomputing systems (YW0), pp. 314–315.
HPDCHPDC-2005-ZhaoCF #grid
Supporting application-tailored grid file system sessions with WSRF-based services (MZ, VC, RJOF), pp. 24–33.
PDPPDP-2005-CalderonCCPS #fault tolerance #implementation #parallel #using
A Fault Tolerant MPI-IO Implementation using the Expand Parallel File System (AC, FGC, JC, JMP, LMS), pp. 274–281.
SOSPSOSP-2005-NightingaleCF #distributed #execution
Speculative execution in a distributed file system (EBN, PMC, JF), pp. 191–205.
SOSPSOSP-2005-PrabhakaranBAGAA
IRON file systems (VP, LNB, NA, HSG, ACAD, RHAD), pp. 206–220.
HPDCHPDC-2004-ZhaoZF #distributed #grid #virtual machine
Distributed File System Support for Virtual Machines in Grid Computing (MZ, JZ, RJOF), pp. 202–211.
OSDIOSDI-2004-NightingaleF #energy #flexibility
Energy-Efficiency and Storage Flexibility in the Blue File System (EBN, JF), pp. 363–378.
OSDIOSDI-2004-YangTEM #fault #model checking #using
Using Model Checking to Find Serious File System Errors (JY, PT, DRE, MM), pp. 273–288.
PDPPDP-2003-GarciaCCPF #fault tolerance #parallel
A Parallel and Fault Tolerant File System Based on NFS Servers (FG, AC, JC, JMP, JF), p. 83–?.
SOSPSOSP-2003-GhemawatGL
The Google file system (SG, HG, STL), pp. 29–43.
SOSPSOSP-2003-KaminskySMK #authentication #distributed
Decentralized user authentication in a global file system (MK, GS, DM, MFK), pp. 60–73.
SIGMODSIGMOD-2002-BhattacharyaMBNHS #consistency #coordination #database
Coordinating backup/recovery and data consistency between database and file systems (SB, CM, KB, IN, HIH, MS), pp. 500–511.
OSDIOSDI-2002-MuthitacharoenMGC #named #peer-to-peer
Ivy: A Read/Write Peer-to-Peer File System (AM, RM, TMG, BC), pp. 31–44.
OSDIOSDI-2002-SaitoKKM #replication
Taming Aggressive Replication in the Pangaea Wide-Area File System (YS, CTK, MK, MM), pp. 15–30.
HPDCHPDC-2001-FigueiredoKF #distributed #grid
The PUNCH Virtual File System: Seamless Access to Decentralized Storage Services in a Computational Grid (RJOF, NHK, JABF), p. 334–?.
SOSPSOSP-2001-MuthitacharoenCM #network
A Low-Bandwidth Network File System (AM, BC, DM), pp. 174–187.
FSEFSE-2000-YamamotoMI #cumulative #metric #version control
Accumulative versioning file system Moraine and its application to metrics environment MAME (TY, MM, KI), pp. 80–87.
OSDIOSDI-2000-FuKM #distributed #performance
Fast and Secure Distributed Read-Only File System (KF, MFK, DM), pp. 181–196.
ICLPCL-2000-FerreR #concept analysis
A File System Based on Concept Analysis (SF, OR), pp. 1033–1047.
ASEASE-1999-Pecheur #clustering #modelling #verification
Advanced Modelling and Verification Techniques Applied to a Cluster File System (CP), pp. 119–126.
SACSAC-1999-HuizingaA #mobile
Mobile File System Support with Virtual Device Drivers (DMH, CA), pp. 373–381.
SACSAC-1999-SegarraA #mobile #named #using
MFS: A Mobile File System Using Generic System Services (MTS, FA), pp. 419–420.
OSDIOSDI-1999-GopalM
Integrating Content-Based Access Mechanisms with Hierarchical File Systems (BG, UM), pp. 265–278.
OSDIOSDI-1999-GronvallWP #design #distributed #multi
The Design of a Multicast-Based Distributed File System (BG, AW, SP), pp. 251–264.
OSDIOSDI-1999-HutchinsonMFHHKO #logic #physics
Logical vs. Physical File System Backup (NCH, SM, MF, GH, DH, SK, SWO), pp. 239–249.
OSDIOSDI-1999-WangAP #programmable
Virtual Log Based File Systems for a Programmable Disk (RYW, TEA, DAP), pp. 29–43.
SOSPSOSP-1999-MazieresKKW #security
Separating key management from file system security (DM, MK, MFK, EW), pp. 124–139.
SOSPSOSP-1999-SantryFHVCO
Deciding when to forget in the Elephant file system (DSS, MJF, NCH, ACV, RWC, JO), pp. 110–123.
SOSPSOSP-1999-Vogels
File system usage in Windows NT 4.0 (WV), pp. 93–109.
CIKMCIKM-1997-LeeSWSKF #evaluation
Experimental Evaluation of PFS Continuous Media File System (WL, DS, DW, JS, DRKH, MF), pp. 246–253.
PDPPDP-1997-CarballeiraCPMA #distributed #parallel
Cache coherence in parallel and distributed file systems (FGC, JC, FP, PdM, LA), pp. 60–65.
SOSPSOSP-1997-NeefeWRCA #adaptation #performance
Improving the Performance of Log-Structured File Systems with Adaptive Methods (JMN, DSR, AMC, RYW, TEA), pp. 238–251.
SOSPSOSP-1997-ThekkathML #distributed #named #scalability
Frangipani: A Scalable Distributed File System (CAT, TM, EKL), pp. 224–237.
HPDCHPDC-1996-LigonR #distributed #implementation #parallel #performance
Implementation and Performance of a Parallel File System for High Performance Distributed Applications (WBLI, RBR), pp. 471–480.
SIGMODSIGMOD-1995-Team95b #named
SHORE: Combining the Best Features of OODBMS and File Systems, p. 486.
SOSPSOSP-1995-AndersonDNPRW #network
Serverless Network File Systems (TEA, MD, JMN, DAP, DSR, RYW), pp. 109–126.
VLDBVLDB-1994-GehaniJR #database #interface #named #object-oriented
OdeFS: A File System Interface to an Object-Oriented Database (NHG, HVJ, WDR), pp. 249–260.
OOPSLAOOPSLA-1994-KarpovichGF #approach #object-oriented #performance
Extensible File Systems (ELFS): An Object-Oriented Approach to High Performance File I/O (JFK, ASG, JCF), pp. 191–204.
SEKESEKE-1993-CheeEW #named #version control
VCFS: A File System for Transparent Version Control (CLC, SSE, CKW), pp. 248–251.
SIGIRSIGIR-1993-RoseMOPSW #implementation #interface
Content Awareness in a File System Interface: Implementing the “Pile” Metaphor for Organizing Information (DER, RM, TO, DBP, GS, YYW), pp. 260–269.
HPDCHPDC-1993-BiswasRTK #analysis #distributed #performance
Performance Analysis of Distributed File Systems with Non-Volatile Caches (PB, KKR, DFT, CMK), pp. 252–262.
SOSPSOSP-1993-HartmanO #network
The Zebra Striped Network File System (JHH, JKO), pp. 29–43.
SOSPSOSP-1993-JongeKH #approach #logic
The Logical Disk: A New Approach to Improving File Systems (WdJ, MFK, WCH), pp. 15–28.
SOSPSOSP-1993-KhalidiN
Extensible File Systems in Spring (YYAK, MNN), pp. 1–14.
SOSPSOSP-WIP-1991-GuyHPP92
The Ficus Replicated File System (RGG, JSH, TWPJ, GJP), p. 26.
ASPLOSASPLOS-1992-BakerADOS #memory management #performance #reliability
Non-Volatile Memory for Fast, Reliable File Systems (MB, SA, ED, JKO, MIS), pp. 10–22.
ASPLOSASPLOS-1992-BurrowsJLM #online
On-Line Data Compression in a Log-Structured File System (MB, CJ, BWL, TM), pp. 2–9.
ISMMIWMM-1992-HeckW #implementation
An Implementation of an Applicative File System (BCH, DSW), pp. 248–263.
ASPLOSASPLOS-1991-CateG #integration
Integration of Compression and Caching for a Two-Level File System (VC, TRG), pp. 200–211.
SOSPSOSP-1991-BakerHKSO #distributed #metric
Measurements of a Distributed File System (MB, JHH, MDK, KS, JKO), pp. 198–212.
SOSPSOSP-1991-GiffordJSO #semantics
Semantic File Systems (DKG, PJ, MAS, JO), pp. 16–25.
SOSPSOSP-1991-KistlerS
Disconnected Operation in the Coda File System (JJK, MS), pp. 213–225.
SOSPSOSP-1991-LiskovGGJSW #replication
Replication in the Harp File System (BL, SG, RG, PJ, LS, MW), pp. 226–238.
SOSPSOSP-1991-MullerP #design #multi #performance
A High Performance Multi-Structured File System Design (KM, JP), pp. 56–67.
SOSPSOSP-1991-RanganV #design #video
Designing File Systems for Digital Video and Audio (PVR, HMV), pp. 81–94.
SOSPSOSP-1991-RosenblumO #design #implementation
The Design and Implementation of a Log-Structured File System (MR, JKO), pp. 1–15.
VLDBVLDB-1990-SeltzerS #transaction
Transaction Support in Read Optimizied and Write Optimized File Systems (MIS, MS), pp. 174–185.
ECOOPECOOP-1989-MadanyCRL
A Class Hierarchy for Building Stream-Oriented File Systems (PM, RHC, VFR, DEL), pp. 311–328.
SOSPSOSP-1989-EdwardsM
Exploiting Read-Mostly Workloads in The FileNet File System (DAE, MSM), pp. 58–70.
SOSPSOSP-1987-Hagmann #commit #using
Reimplementing the Cedar File System Using Logging and Group Commit (RBH), pp. 155–162.
SOSPSOSP-1987-HowardKMNSSW #distributed #performance
Scale and Performance in a Distributed File System (JHH, MLK, SGM, DAN, MS, RNS, MJW), pp. 1–2.
SOSPSOSP-1987-NelsonWO #network
Caching in the Sprite Network File System (MNN, BBW, JKO), pp. 3–4.
DACDAC-1985-SmtihD #approach #independence
The VIVID system approach to technology independence: the matster technology file system (PS, SWD), pp. 76–81.
SOSPSOSP-1985-OusterhoutCHKKT #analysis
A Trace-Driven Analysis of the UNIX 4.2 BSD File System (JKO, HDC, DH, JAK, MDK, JGT), pp. 15–24.
SOSPSOSP-1985-SatyanarayananHNSSW #design #distributed
The ITC Distributed File System: Principles and Design (MS, JHH, DAN, RNS, AZS, MJW), pp. 35–50.
SOSPSOSP-1985-SchroederGN
A Caching File System For a Programmer’s Workstation (MDS, DKG, RMN), pp. 25–34.
SIGIRSIGIR-1983-Somers #analysis #recommendation #user interface
The User View of File Management: Recommendations for a User Interface Based in an Analysis of UNIX File System Use (PS), p. 161.
SOSPSOSP-1983-ReidK #source code
A File System Supporting Cooperation between Programs (LGR, PLK), pp. 20–19.
SOSPSOSP-1981-FridrichO
The Felix File System (MF, WJO), pp. 37–44.
SOSPSOSP-1979-SwinehartMB #distributed #named
WFS: A Simple Shared File System for a Distributed Environment (DCS, GM, DB), pp. 9–17.
ICSEICSE-1978-AlmesR
An Extensible File System for Hydra (GTA, GGR), pp. 288–294.
SOSPSOSP-1977-Powell
The DEMOS File System (MLP), pp. 33–42.
SIGIRSIGIR-1971-WangL #design #evaluation #trade-off
Quantitative Evaluation of Design Tradeoffs in File Systems (CPW, VYL), pp. 155–162.
DACDAC-1967-BeretvasLT #automation #design
A general purpose design automation file system (TB, CHL, LRT).

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.