FSL Publications

Books:

# Title (click for html version) Formats Published In Date Comments
1 Linux NFS and Automounter Administration BibTeX Sybex May 2001 See Book home page

Conference and Workshop Papers:

# Title (click for html version) Formats Published In Date Comments
1 Evaluating Performance and Energy in File System Server Workloads BibTeX Eighth USENIX Conference on File and Storage Technologies (FAST 2010) Feb 2010 to appear
2 The Visual Development of GCC Plug-ins PS PDF BibTeX Proceedings of the 2009 GCC Developers' Summit Jun 2009  
3 DHIS: Discriminating Hierarchical Storage PS PDF BibTeX The Israeli Experimental Systems Conference (ACM SYSTOR 2009) May 2009  
4 Energy and Performance Evaluation of Lossless File Data Compression on Server Systems PS PDF BibTeX The Israeli Experimental Systems Conference (ACM SYSTOR 2009) May 2009  
5 Story Book: An Efficient Extensible Provenance Framework PS PDF BibTeX 1st Workshop on the Theory and Practice of Provenance (TAPP 2009) Feb 2009  
6 Enabling Transactional File Access via Lightweight Kernel Extensions PS PDF BibTeX Seventh USENIX Conference on File and Storage Technologies (FAST 2009) Feb 2009  
7 Selective Versioning in a Secure Disk System PS PDF BibTeX 17th USENIX Security Symposium (USENIX Security '08) Jul 2008  
8 DARC: Dynamic Analysis of Root Causes of Latency Distributions PS PDF BibTeX International Conference on Measurement and Modeling of Computer Systems (SIGMETRICS 2008) Jun 2008 Source code and benchmark information.
9 GreenFS: Making Enterprise Computers Greener by Protecting Them Better PS PDF BibTeX Proceedings of the 3rd ACM SIGOPS/EuroSys European Conference on Computer Systems 2008 (EuroSys 2008) Apr 2008 Won Best Paper Award
10 Software Monitoring with Bounded Overhead BibTeX NSF Next Generation Software Workshop (NSF NGS 2008) held in conjunction with the 22st IEEE International Parallel and Distributed Processing Symposium (IPDPS 2008) Apr 2008  
11 PLEASE: Policy Language for the Easy Administration of SELinux BibTeX The Second Annual Computer Security Conference (CSC 2008) Apr 2008  
12 The layers are coming, the layers are coming BibTeX First Linux Storage and Filesystem Workshop, held in conjuction with the sixth USENIX Conference on File and Storage Technologies (FAST 2008) Feb 2008  
13 Exploiting Type-Awareness in a Self-Recovering Disk PS PDF BibTeX Third ACM International Workshop on Storage Security and Survivability (StorageSS 2007) held in conjunction with the 14th ACM CCS. Oct 2007  
14 Round-Trip Privacy with NFSv4 PS PDF BibTeX Third ACM International Workshop on Storage Security and Survivability (StorageSS 2007) held in conjunction with the 14th ACM CCS. Oct 2007 Source code and benchmark information.
15 RAIF: Redundant Array of Independent Filesystems PS PDF BibTeX IEEE Conference on Mass Storage Systems and Technologies (MSST 2007) Sep 2007  
16 Extending GCC with Modular GIMPLE Optimizations PS PDF BibTeX Proceedings of the 2007 GCC Developers' Summit Jul 2007  
17 Rapid File System Development Using ptrace PS PDF BibTeX Proceedings of the Workshop on Experimental Computer Science (EXPCS 2007), in conjunction with ACM FCRC Jun 2007  
18 Kernel Support for Stackable File Systems PS PDF BibTeX 2007 Ottawa Linux Symposium Jun 2007  
19 AutoFS - An Automounting File System for FreeBSD 6.x PS PDF BibTeX Proceedings of the 2007 BSDCan Technical BSD Conference May 2007  
20 Model Predictive Control for Memory Profiling PS PDF BibTeX NSF Next Generation Software Workshop (NSF NGS 2007) held in conjunction with the 21st IEEE International Parallel and Distributed Processing Symposium (IPDPS 2007) Mar 2007  
21 Making Linux Stacking-Friendly BibTeX First Linux Storage and Filesystem Workshop, held in conjuction with the fifth USENIX Conference on File and Storage Technologies (FAST 2007) Feb 2007  
22 Operating System Profiling via Latency Analysis PS PDF BibTeX Seventh USENIX Symposium on Operating Systems Design and Implementation (OSDI 2006) Nov 2006  
23 Type-Safe Disks PS PDF BibTeX Seventh USENIX Symposium on Operating Systems Design and Implementation (OSDI 2006) Nov 2006  
24 Secure Deletion Myths, Issues, and Solutions PS PDF BibTeX Second ACM International Workshop on Storage Security and Survivability (StorageSS 2006) held in conjunction with the 13th ACM CCS. Oct 2006  
25 Using Free Web Storage for Data Backup PS PDF BibTeX Second ACM International Workshop on Storage Security and Survivability (StorageSS 2006) held in conjunction with the 13th ACM CCS. Oct 2006  
26 UnionFS: User- and Community-oriented Development of a Unification Filesystem PS PDF BibTeX 2006 Ottawa Linux Symposium Jul 2006  
27 Compiler-Assisted Software Verification Using Plug-Ins PS PDF BibTeX NSF Next Generation Software Workshop (NSF NGS 2006) held in conjunction with the 20th IEEE International Parallel and Distributed Processing Symposium (IPDPS 2006) Apr 2006  
28 Runtime Verification for High-Confidence Systems: A Monte Carlo Approach PS PDF BibTeX Second Workshop on Model Based Testing (MBT 2006) held in conjunction with ETAPS 2006 Mar 2006  
29 Accurate and Efficient Replaying of File System Traces PS PDF BibTeX Fourth USENIX Conference on File and Storage Technologies (FAST 2005) Dec 2005  
30 Adding Secure Deletion to Your Favorite File System PS PDF BibTeX Third IEEE Security In Storage Workshop (SISW 2005) Dec 2005  
31 Ensuring Data Integrity in Storage: Techniques and Applications PS PDF BibTeX First ACM International Workshop on Storage Security and Survivability (StorageSS 2005) held in conjunction with the 12th ACM CCS. Nov 2005  
32 Kefence: An Electric Fence for Kernel Buffers PS PDF BibTeX First ACM International Workshop on Storage Security and Survivability (StorageSS 2005) held in conjunction with the 12th ACM CCS. Nov 2005 Won Best Short Paper Award.
33 Increasing Distributed Storage Survivability with a Stackable RAID-like File System PS PDF BibTeX First IEEE/ACM Workshop on Cluster Security, in conjunction with the Fifth IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGrid 2005) May 2005 Won Best Paper Award
34 Auto-pilot: A Platform for System Software Benchmarking PS PDF BibTeX Usenix Technical Conference, FREENIX Track Apr 2005  
35 Efficient and Safe Execution of User-Level Code in the Kernel PS PDF BibTeX NSF Next Generation Software Workshop, in conjunction with IPDPS 2005 Apr 2005  
36 I3FS: An In-Kernel Integrity Checker and Intrusion Detection File System PS PDF BibTeX Usenix Large Installation Systems Administration Conference (LISA 18) Nov 2004  
37 Avfs: An On-Access Anti-Virus File System PS PDF BibTeX 13th USENIX Security Symposium (Security 2004) Aug 2004  
38 A Versatile and User-Oriented Versioning File System PS PDF BibTeX Third USENIX Conference on File and Storage Technologies (FAST 2004) Apr 2004  
39 Tracefs: A File System to Trace Them All PS PDF BibTeX Third USENIX Conference on File and Storage Technologies (FAST 2004) Apr 2004  
40 Reducing Storage Management Costs via Informed User-Based Policies PS PDF BibTeX NASA/IEEE Conference on Mass Storage Systems and Technologies (MSST 2004) Apr 2004  
41 Cryptographic File Systems Performance: What You Don't Know Can Hurt You PS PDF BibTeX 2003 IEEE Security In Storage Workshop (SISW 2003) Oct 2003  
42 NCryptfs: A Secure and Convenient Cryptographic File System PS PDF BibTeX Slides Usenix Technical Conference, General Track Jun 2003  
43 Cosy: Develop in User-Land, Run in Kernel-Mode PS PDF BibTeX 9th Workshop in Hot Topics in Operating Systems (HotOS IX) May 2003  
44 High-Confidence Operating Systems PS PDF BibTeX Tenth ACM SIGOPS European Workshop Sep 2002  
45 Enhancing NFS Cross-Administrative Domain Access PS PDF BibTeX Usenix Technical Conference, FREENIX Track Jun 2002  
46 Overhauling Amd for the '00s: A Case Study of GNU Autotools PS PDF BibTeX Usenix Technical Conference, FREENIX Track Jun 2002  
47 MEF, Malicious Email Filter--A UNIX Mail Filter That Detects Malicious Windows Executables PS PDF BibTeX Usenix Technical Conference, FREENIX Track Jun 2001 Won Best Student Paper Award
48 Fast Indexing: Support for Size-Changing Algorithms in Stackable File System PS PDF BibTeX Usenix Technical Conference Jun 2001  
49 Data Mining Methods for Detection of New Malicious Executables PS PDF BibTeX IEEE Symposium on Security and Privacy May 2001  
50 Toward Cost-Sensitive Modeling for Intrusion Detection and Response PS PDF BibTeX Workshop on Intrusion Detection and Prevention, held as part of ACM CCS 2000 Nov 2000  
51 FiST: A Language for Stackable File Systems PS PDF BibTeX Usenix Technical Conference Jun 2000  
52 Extending File Systems Using Stackable Templates PS PDF BibTeX Usenix Technical Conference Jun 1999  
53 A Stackable File System Interface For Linux PS PDF BibTeX LinuxExpo 99 May 1999  
54 HLFSD: Delivering Email to your $HOME PS PDF BibTeX Usenix Systems Administration (LISA VII) Conference Nov 1993  
55 Discovery and Hot Replacement of Replicated Read-Only File Systems, with Application to Mobile Computing PS PDF BibTeX Usenix Summer Conference Jun 1992  

Journal and Magazine Articles:

# Title (click for html version) Formats Published In Date Comments
1 Unifying Biological Image Formats with HDF5 BibTeX Communications of the ACM Oct 2009  
2 Notes on a Nine Year Study of File System and Storage Benchmarking BibTeX Byte and Switch Jul 2009  
3 End-to-End Abstractions for Application-Aware Storage PS PDF BibTeX   Feb 2009 Under Review
4 Findings from the First Annual Storage and File Systems Benchmarking Workshop PDF BibTeX ;login: The USENIX Magazine Oct 2008  
5 A Nine Year Study of File System and Storage Benchmarking PS PDF BibTeX ACM Transactions on Storage (TOS) May 2008 Online data appendix
6 Extending ACID Semantics to the File System PS PDF BibTeX ACM Transactions on Storage (TOS) Jun 2007  
7 On Incremental File System Development PS PDF BibTeX ACM Transactions on Storage (TOS) May 2006  
8 Versatility and Unix Semantics in Namespace Unification PS PDF BibTeX ACM Transactions on Storage (TOS) Feb 2006  
9 Unionfs: Bringing File Systems Together BibTeX Linux Journal Dec 2004  
10 Using the Amd Automounter BibTeX Linux Journal Oct 2003  
11 Writing Stackable Filesystems BibTeX Linux Journal May 2003 Software described in article
12 Toward Cost-Sensitive Modeling for Intrusion Detection and Response PS PDF BibTeX Journal of Computer Security Jan 2002 Expanded version of CCS 2000 paper

Manuals:

# Title (click for html version) Formats Published In Date Comments
1 The Auto-pilot Benchmarking Suite User Manual PS PDF BibTeX   Jul 2005 See an all-in-one version.
2 Am-utils 6.1 (4.4 BSD Automounter Utilities) User Manual PS PDF BibTeX   Aug 2003 See a frames version and an all-in-one version.

Technical Reports:

# Title (click for html version) Formats Published In Date Comments
1 Flexible Debugging with Controllable Overhead PS PDF BibTeX Stony Brook U. CS TechReport FSL-09-01 Aug 2009 Ph.D. Thesis
2 SAMT Preformace Proof PS PDF BibTeX Stony Brook U. CS TechReport FSL-09-03 Jun 2009  
3 The Visual Development of GCC Plug-ins with GDE, PS PDF BibTeX Stony Brook U. CS TechReport FSL-09-04 Apr 2009 M.S. Thesis
4 Energy and Performance Evaluation of Lossless File Data Compression on Computer Systems PS PDF BibTeX Stony Brook U. CS TechReport FSL-09-02 Apr 2009 M.S. Thesis
5 Protecting Control Files With File System Transactions PS PDF BibTeX Stony Brook U. CS TechReport FSL-08-05 Aug 2008  
6 Analyzing Root Causes of Latency Distributions PS PDF BibTeX Stony Brook U. CS TechReport FSL-08-04 Jul 2008 Ph.D. Thesis
Source code and benchmark information
7 Techniques for Visualizing Software Execution PS PDF BibTeX Stony Brook U. CS TechReport FSL-08-03 Mar 2008 Ph.D. Research Proficiency Exam (RPE)
8 Remote Debugging with Controllable Overhead PS PDF BibTeX Stony Brook U. CS TechReport FSL-08-02 Mar 2008 Ph.D. Thesis Proposal
9 End-to-End Abstractions for Application-Aware Storage PS PDF BibTeX Stony Brook U. CS TechReport FSL-08-01 Mar 2008 Ph.D. Thesis
10 PLEASE: Policy Language for Easy Administration of SELinux PS PDF BibTeX Stony Brook U. CS TechReport FSL-07-02 May 2007 M.S. Thesis
11 A Nine Year Study of File System and Storage Benchmarking PS PDF BibTeX Stony Brook U. CS TechReport FSL-07-01 May 2007 Online data appendix
12 Versatile, Portable, and Efficient File System Profiling PS PDF BibTeX Stony Brook U. CS TechReport FSL-06-05 Dec 2006 Ph.D. Thesis: an expanded version of our OSDI 2006 paper.
13 Extending ACID Semantics to the File System via ptrace PS PDF BibTeX Stony Brook U. CS TechReport FSL-06-04 May 2006 Ph.D. Thesis
14 Latency as a Viable Metric for OS Profiling BibTeX Stony Brook U. CS TechReport FSL-06-03 Apr 2006  
15 Rapid File System Development Using ptrace BibTeX Stony Brook U. CS TechReport FSL-06-02 Jan 2006  
16 Extending ACID Semantics to the File System BibTeX Stony Brook U. CS TechReport FSL-06-01 Jan 2006  
17 A Versatile Persistent Caching Framework for File Systems PS PDF BibTeX Stony Brook U. CS TechReport FSL-05-05 Dec 2005  
18 Benchmarking File System Benchmarks BibTeX Stony Brook U. CS TechReport FSL-05-04 Dec 2005 Kernel Config and Slowfs Source Code used in this paper. Presented as a FAST 2005 BOF session (where you can find PDFs of slide presentations).
19 Storage Virtualization with a Stackable File System BibTeX Stony Brook U. CS TechReport FSL-05-03 Dec 2005 M.S. Thesis
20 Runtime Verification for High-Confidence OS Kernels: A Monte Carlo Approach BibTeX Stony Brook U. CS TechReport FSL-05-02 Nov 2005  
21 On the Role of Static Analysis in Operating System Checking and Runtime Verification PS PDF BibTeX Stony Brook U. CS TechReport FSL-05-01 May 2005 Ph.D. Research Proficiency Exam (RPE)
22 File System Extensibility and Reliability Using an in-Kernel Database PS PDF BibTeX Stony Brook U. CS TechReport FSL-04-06 Dec 2004 M.S. Thesis
23 Versatility and Unix Semantics in a Fan-Out Unification File System PS PDF BibTeX Stony Brook U. CS TechReport FSL-04-01b Oct 2004  
24 Versatile File System Tracing with Tracefs PS PDF BibTeX Stony Brook U. CS TechReport FSL-04-05 Aug 2004 M.S. Thesis
25 Enhancing File System Integrity Through Checksums PS PDF BibTeX Stony Brook U. CS TechReport FSL-04-04 May 2004  
26 NFS File Handle Security PS PDF BibTeX Stony Brook U. CS TechReport FSL-04-03 May 2004  
27 Operating System Support for Extensible Secure File Systems PS PDF BibTeX Stony Brook U. CS TechReport FSL-04-02 May 2004 Ph.D. Research Proficiency Exam (RPE)
28 Versionfs: A Versatile and User-Oriented Versioning File System PS PDF BibTeX Stony Brook U. CS TechReport FSL-03-03 Dec 2003 M.S. Thesis
29 Cryptographic File Systems Performance: What You Don't Know Can Hurt You PS PDF BibTeX Stony Brook U. CS TechReport FSL-03-02 Aug 2003 Slightly expanded version of SISW'03 paper with same title.
30 A System for Improving Application Performance Through System Call Composition PS PDF BibTeX Stony Brook U. CS TechReport FSL-03-03 Jun 2003 M.S. Thesis
31 Reducing Storage Management Costs via Informed User-Based Policies PS PDF BibTeX Stony Brook U. CS TechReport FSL-03-01 Mar 2003  
32 Improving Application Performance Through System Call Composition PS PDF BibTeX Stony Brook U. CS TechReport FSL-02-01 Jun 2002  
33 The Design and Implementation of Elastic Quotas: A System for Flexible File System Management PS PDF BibTeX Columbia U. CS TechReport CUCS-014-02 Jun 2002  
34 FiST: A System for Stackable File System Code Generation PS PDF BibTeX Columbia University May 2001 Ph.D. Dissertation
35 Stackable File Systems As a Security Tool PS PDF BibTeX Columbia U. CS TechReport CUCS-036-99 Dec 1999  
36 Usenetfs: A Stackable File System for Large Article Directories PS PDF BibTeX Columbia U. CS TechReport CUCS-022-98 Jul 1998  
37 Cryptfs: A Stackable Vnode Level Encryption File System PS PDF BibTeX Columbia U. CS TechReport CUCS-021-98 Jun 1998 This tech-report had been cited more than 15 times before the new version of the work was published -- NCryptfs.
38 Discovery and Hot Replacement of Replicated Read-Only File Systems, with Application to Mobile Computing PS PDF BibTeX Columbia University Oct 1997 M.S. Thesis
39 FiST: A File System Component Compiler PS PDF BibTeX Columbia University Apr 1997 Ph.D. Thesis Proposal
40 PGMAKE: A Portable Distributed Make System PS PDF BibTeX Columbia U. CS TechReport CUCS-035-94 Jul 1994 See PGmake home page

Works In Progress:

# Title (click for html version) Formats Published In Date Comments
1 Fast Indexing: Support for Size-Changing Algorithms in Stackable File System PS PDF BibTeX   Oct 2001 Expanded version of Usenix 2001 paper


(Last updated: Sat Nov 7 13:05:11 EST 2009)