| # |
Title (click for html version) |
Formats |
Published In |
Date |
Comments |
| 1 |
Guiding Simulations of Multi-Tier Storage Caches Using Knee Detection |
BibTeX | 31st International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS '23) |
Oct 2023 |
|
| 2 |
Persistent Memory Research in the Post-Optane Era |
BibTeX | 1st Workshop on Disruptive Memory Systems (DIMES '23) |
Oct 2023 |
|
| 3 |
Input and Output Coverage Needed in File System Testing |
PDF BibTeX | 15th ACM Workshop on Hot Topics in Storage and File Systems (HotStorage '23) |
Jul 2023 |
|
| 4 |
F3: Serving Files Efficiently in Serverless Computing |
PDF BibTeX | 16th ACM International Systems and Storage Conference (SYSTOR '23) |
Jun 2023 |
Won best paper award |
| 5 |
Predicting Network Buffer Capacity for BBR Fairness |
PDF BibTeX | Machine Learning for Systems Workshop Neurips 2022 |
Dec 2022 |
|
| 6 |
PC-Expo: A Metrics-Based Interactive Axes Reordering Method for Parallel Coordinate Displays |
PDF BibTeX | Proceedings of the IEEE Conference on Visualization and Visual Analytics (VIS 2022) |
Oct 2022 |
Official version here |
| 7 |
Metrics for Sustainability in Data Centers |
PDF BibTeX | Proceedings of the 1st Workshop on Sustainable Computer Systems Design and Implementation (HotCarbon'22) |
Jul 2022 |
|
| 8 |
SpecNFS: A Challenge Dataset Towards Extracting Formal Models from Natural Language Specifications |
PDF BibTeX | Proceedings of the 12th Language Resources and Evaluation Conference (LREC'22) |
Jun 2022 |
|
| 9 |
A Machine Learning Framework to Improve Storage System Performance |
PDF BibTeX | 13th ACM Workshop on Hot Topics in Storage (HotStorage '21) |
Jul 2021 |
|
| 10 |
Model-Checking Support for File System Development |
PDF BibTeX | 13th ACM Workshop on Hot Topics in Storage (HotStorage '21) |
Jul 2021 |
|
| 11 |
CNSBench: A Cloud Native Storage Benchmark Native Storage |
PDF BibTeX | 19th USENIX Conference on File and Storage Technologies (FAST 2021) |
Feb 2021 |
|
| 12 |
Desperately Seeking ... Optimal Multi-Tier Cache Configurations |
PDF BibTeX | 12th USENIX Workshop on Hot Topics in Storage (HotStorage '20) |
Jul 2020 |
|
| 13 |
The Case for Benchmarking Control Operations in Cloud Native Storage |
PDF BibTeX | 12th USENIX Workshop on Hot Topics in Storage (HotStorage '20) |
Jul 2020 |
|
| 14 |
Re-Animator: Versatile High-Fidelity Storage-System Tracing and Replaying |
PDF BibTeX | 13th ACM International Systems and Storage Conference (SYSTOR '20) |
Jun 2020 |
|
| 15 |
Supporting Transactions for Bulk NFSv4 Compounds |
PDF BibTeX | 13th ACM International Systems and Storage Conference (SYSTOR '20) |
Jun 2020 |
|
| 16 |
Smart Aging: Utilizing Low-Cost, Non-wearable and Secure Sensing Technologies to Support the Health and Wellbeing of Community Dwelling Older Adults |
BibTeX | Proceedings of the HIMSS 20 Preconference Session on Aging and Tech Forum: Addressing the Silver Tsunami |
Mar 2020 |
|
| 17 |
KMLib: Towards Machine Learning for Operating Systems |
PDF BibTeX | On-Device Intelligence Workshop, co-located with the MLSys Conference |
Mar 2020 |
Refereed abstract+poster |
| 18 |
Carver: Finding Important Parameters for Storage System Tuning |
PDF BibTeX | 18th USENIX Conference on File and Storage Technologies (FAST 2020) |
Feb 2020 |
|
| 19 |
Distribution Fitting and Performance Modeling for Storage Traces |
PDF BibTeX | 27th IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2019) |
Oct 2019 |
Won best paper award |
| 20 |
ICE: Interactive Configuration Explorer for High Dimensional Categorical Parameter Spaces |
PDF BibTeX | IEEE Conference on Visual Analytics Science and Technology (VAST 2019) |
Oct 2019 |
|
| 21 |
Graphs Are Not Enough: Using Interactive Visual Analytics in Storage Research |
PDF BibTeX | 11th USENIX Workshop on Hot Topics in Storage (HotStorage '19) |
Jul 2019 |
|
| 22 |
Kurma: Secure Geo-Distributed Multi-Cloud Storage Gateways |
PDF BibTeX | 12th ACM International Systems and Storage Conference (SYSTOR '19) |
Jun 2019 |
|
| 23 |
Towards Better Understanding of Black-box Auto-Tuning: A Comparative Analysis for Storage Systems |
PDF BibTeX | 2018 USENIX Annual Technical Conference (ATC 2018) |
Jul 2018 |
Data Set released as part of this paper. |
| 24 |
Multi-Tier Caching |
PDF BibTeX | U.S. Patent 9,959,279 |
May 2018 |
issued patent |
| 25 |
POSIX is Dead! Long Live... errr... What Exactly? |
PDF BibTeX | 9th USENIX Workshop on Hot Topics in Storage (HotStorge '17) |
Jul 2017 |
WACI track. |
| 26 |
On the Performance Variation in Modern Storage Stacks |
PDF BibTeX | 15th USENIX Conference on File and Storage Technologies (FAST 2017) |
Feb 2017 |
|
| 27 |
To FUSE or Not to FUSE: Performance of User-Space File Systems |
PDF BibTeX | 15th USENIX Conference on File and Storage Technologies (FAST 2017) |
Feb 2017 |
See sources related to paper |
| 28 |
vNFS: Maximizing NFS Performance with Compounds and Vectorized I/O |
PDF BibTeX | 15th USENIX Conference on File and Storage Technologies (FAST 2017) |
Feb 2017 |
Nominated for best paper award |
| 29 |
SeMiNAS: A Secure Middleware for Wide-Area Network-Attached Storage |
PDF BibTeX | ACM International Systems and Storage Conference (SYSTOR '16) |
Jun 2016 |
|
| 30 |
Multi-Tier Caching |
PDF BibTeX | U.S. Patent 9,355,109 |
May 2016 |
issued patent |
| 31 |
A Long-Term User-Centric Analysis of Deduplication Patterns |
PDF BibTeX | 32nd IEEE Conference on Mass Storage Systems and Technologies (MSST 2016) |
May 2016 |
|
| 32 |
Using Hints to Improve Inline Block-Layer Deduplication |
PDF BibTeX | 14th USENIX Conference on File and Storage Technologies (FAST 2016) |
Feb 2016 |
|
| 33 |
Parametric Optimization of Storage Systems |
PDF BibTeX | 7th USENIX Workshop in Hot Topics in Storage and File Systems (HotStorage 2015) |
Jul 2015 |
|
| 34 |
Terra Incognita: On the Practicality of User-Space File Systems |
PDF BibTeX | 7th USENIX Workshop in Hot Topics in Storage and File Systems (HotStorage 2015) |
Jul 2015 |
|
| 35 |
Newer Is Sometimes Better: An Evaluation of NFSv4.1 |
PDF BibTeX | International Conference on Measurement and Modeling of Computer Systems (SIGMETRICS 2015) |
Jun 2015 |
|
| 36 |
Linux NFSv4.1 Performance Under a Microscope |
PDF BibTeX | LISA 2014 |
Nov 2014 |
Extended Abstract |
| 37 |
Dmdedup: Device-mapper Deduplication Target |
PDF BibTeX | 2014 Ottawa Linux Symposium |
Jul 2014 |
|
| 38 |
On the Importance of Evaluating Storage Systems' $Costs |
PDF BibTeX | 6th USENIX Workshop in Hot Topics in Storage and File Systems (HotStorage 2014) |
Jun 2014 |
|
| 39 |
Improving I/O Performance using Virtual Disk Introspection |
PDF BibTeX | 5th USENIX Workshop in Hot Topics in Storage and File Systems (HotStorage 2013) |
Jun 2013 |
|
| 40 |
Building Workload-Independent Storage with VT-Trees |
PDF BibTeX | 11th USENIX Conference on File and Storage Technologies (FAST 2013) |
Feb 2013 |
|
| 41 |
Virtual Machine Workloads: The Case for New Benchmarks for NAS |
PDF BibTeX | 11th USENIX Conference on File and Storage Technologies (FAST 2013) |
Feb 2013 |
|
| 42 |
The Economics of Long-Term Digital Storage |
PDF BibTeX | The Memory of the World in the Digital age: Digitization and Preservation, United Nations Educational, Scientific and Cultural Organization (UNSESCO) |
Sep 2012 |
|
| 43 |
vATM: vSphere Adaptive Task Management |
PDF BibTeX | 7th International Workshop on Feedback Computing (FC'12) |
Sep 2012 |
|
| 44 |
Adaptive Runtime Verification |
PDF BibTeX | 3rd International Conference on Runtime Verification (RV 2012) |
Sep 2012 |
|
| 45 |
Don't Thrash: How to Cache Your Hash on Flash |
PDF BibTeX | 38th International Conference on Very Large Data Bases (VLDB '12) |
Aug 2012 |
|
| 46 |
Efficient I/O Scheduling with Accurately Estimated Disk Drive Latencies |
PS PDF BibTeX | 8th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT 2012) |
Jul 2012 |
|
| 47 |
Generating Realistic Datasets for Deduplication Analysis |
PS PDF BibTeX | 2012 USENIX Annual Technical Conference (ATC 2012) |
Jun 2012 |
|
| 48 |
Multi-Tier Caching |
PDF BibTeX | US Patent Application 13/159,039 |
Mar 2012 |
US Patent Application 13/159,039 publication |
| 49 |
Extracting Flexible, Replayable Models from Large Block Traces |
PS PDF BibTeX | Tenth USENIX Conference on File and Storage Technologies (FAST 2012) |
Feb 2012 |
|
| 50 |
Power Consumption in Enterprise-Scale Backup Storage Systems |
PDF BibTeX | Tenth USENIX Conference on File and Storage Technologies (FAST 2012) |
Feb 2012 |
|
| 51 |
An Efficient Multi-Tier Tablet Server Storage Architecture |
PS PDF BibTeX | 2nd ACM Symposium on Cloud Computing (SOCC'11) |
Oct 2011 |
|
| 52 |
Redflag: A framework for analysis of kernel-level concurrency |
PS PDF BibTeX | 11th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP'11) |
Oct 2011 |
|
| 53 |
Runtime verification with state estimation |
PS PDF BibTeX | 2nd International Conference on Runtime Verification (RV 2011) |
Sep 2011 |
Won Best Paper Award |
| 54 |
Systems and methods for detection of new malicious executables |
PDF BibTeX | U.S. Patent 7,979,907B2 |
Jul 2011 |
issued patent |
| Model Discovery for Energy-Aware Computing Systems: An Experimental Evaluation |
PS PDF BibTeX | 1st Workshop on Energy Consumption and Reliability of Storage Systems (ERSS'11) |
Jul 2011 |
|
| 56 |
Don't Thrash: How to Cache your Hash on Flash |
PS PDF BibTeX | 3rd USENIX Workshop in Hot Topics in Storage and File Systems (HotStorage 2011) |
Jun 2011 |
|
| 57 |
Benchmarking File System Benchmarking: It *IS* Rocket Science |
PS PDF BibTeX | 13th USENIX Workshop in Hot Topics in Operating Systems (HotOS XIII) |
May 2011 |
|
| 58 |
On the Energy Consumption and Performance of Systems Software |
PS PDF BibTeX | The 4th Israeli Experimental Systems Conference (ACM SYSTOR 2011) |
May 2011 |
|
| 59 |
Aspect-Oriented Instrumentation with GCC |
PS PDF BibTeX | 1st International Conference on Runtime Verification (RV 2010) |
Nov 2010 |
Released as open source. |
| 60 |
Exporting Kernel Page Caching for Efficient User-Level I/O |
PS PDF BibTeX | 26th IEEE Conference on Mass Storage Systems and Technologies (MSST 2010) |
May 2010 |
|
| 61 |
Towards a Secure and Efficient System for End-to-End Provenance |
PS PDF BibTeX | 2nd Workshop on the Theory and Practice of Provenance (TAPP 2010) |
Feb 2010 |
|
| 62 |
Evaluating Performance and Energy in File System Server Workloads |
PS PDF BibTeX | Eighth USENIX Conference on File and Storage Technologies (FAST 2010) |
Feb 2010 |
|
| 63 |
The Visual Development of GCC Plug-ins |
PS PDF BibTeX | Proceedings of the 2009 GCC Developers' Summit |
Jun 2009 |
|
| 64 |
DHIS: Discriminating Hierarchical Storage |
PS PDF BibTeX | The 2nd Israeli Experimental Systems Conference (ACM SYSTOR 2009) |
May 2009 |
|
| 65 |
Energy and Performance Evaluation of Lossless File Data Compression on Server Systems |
PS PDF BibTeX | The 2nd Israeli Experimental Systems Conference (ACM SYSTOR 2009) |
May 2009 |
|
| 66 |
Story Book: An Efficient Extensible Provenance Framework |
PS PDF BibTeX | 1st Workshop on the Theory and Practice of Provenance (TAPP 2009) |
Feb 2009 |
|
| 67 |
Enabling Transactional File Access via Lightweight Kernel Extensions |
PS PDF BibTeX | Seventh USENIX Conference on File and Storage Technologies (FAST 2009) |
Feb 2009 |
|
| 68 |
System and methods for detection of new malicious executables |
PDF BibTeX | U.S. Patent 7,487,544B2 |
Feb 2009 |
issued patent |
| 69 |
Selective Versioning in a Secure Disk System |
PS PDF BibTeX | 17th USENIX Security Symposium (USENIX Security '08) |
Jul 2008 |
|
| 70 |
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. |
| 71 |
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 |
| 72 |
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 |
|
| 73 |
PLEASE: Policy Language for the Easy Administration of SELinux |
BibTeX | The Second Annual Computer Security Conference (CSC 2008) |
Apr 2008 |
|
| 74 |
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 |
|
| 75 |
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 |
|
| 76 |
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. |
| 77 |
RAIF: Redundant Array of Independent Filesystems |
PS PDF BibTeX | IEEE Conference on Mass Storage Systems and Technologies (MSST 2007) |
Sep 2007 |
|
| 78 |
Extending GCC with Modular GIMPLE Optimizations |
PS PDF BibTeX | Proceedings of the 2007 GCC Developers' Summit |
Jul 2007 |
|
| 79 |
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 |
|
| 80 |
Kernel Support for Stackable File Systems |
PS PDF BibTeX | 2007 Ottawa Linux Symposium |
Jun 2007 |
|
| 81 |
AutoFS - An Automounting File System for FreeBSD 6.x |
PS PDF BibTeX | Proceedings of the 2007 BSDCan Technical BSD Conference |
May 2007 |
|
| 82 |
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 |
|
| 83 |
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 |
|
| 84 |
Operating System Profiling via Latency Analysis |
PS PDF BibTeX | Seventh USENIX Symposium on Operating Systems Design and Implementation (OSDI 2006) |
Nov 2006 |
|
| 85 |
Type-Safe Disks |
PS PDF BibTeX | Seventh USENIX Symposium on Operating Systems Design and Implementation (OSDI 2006) |
Nov 2006 |
|
| 86 |
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 |
|
| 87 |
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 |
|
| 88 |
UnionFS: User- and Community-oriented Development of a Unification Filesystem |
PS PDF BibTeX | 2006 Ottawa Linux Symposium |
Jul 2006 |
|
| 89 |
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 |
|
| 90 |
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 |
|
| 91 |
Accurate and Efficient Replaying of File System Traces |
PS PDF BibTeX | Fourth USENIX Conference on File and Storage Technologies (FAST 2005) |
Dec 2005 |
|
| 92 |
Adding Secure Deletion to Your Favorite File System |
PS PDF BibTeX | Third IEEE Security In Storage Workshop (SISW 2005) |
Dec 2005 |
|
| 93 |
Stackable File Systems and Methods Thereof |
PDF BibTeX | US Patent Application 10/862,212 |
Dec 2005 |
US Patent Application 10/862,212 publication |
| 94 |
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 |
|
| 95 |
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. |
| 96 |
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 |
| 97 |
Auto-pilot: A Platform for System Software Benchmarking |
PS PDF BibTeX | Usenix Technical Conference, FREENIX Track |
Apr 2005 |
|
| 98 |
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 |
|
| 99 |
I3FS: An In-Kernel Integrity Checker and Intrusion Detection File System |
PS PDF BibTeX | Usenix Large Installation Systems Administration Conference (LISA 18) |
Nov 2004 |
|
| 100 |
Avfs: An On-Access Anti-Virus File System |
PS PDF BibTeX | 13th USENIX Security Symposium (Security 2004) |
Aug 2004 |
|
| 101 |
A Versatile and User-Oriented Versioning File System |
PS PDF BibTeX | Third USENIX Conference on File and Storage Technologies (FAST 2004) |
Apr 2004 |
|
| 102 |
Tracefs: A File System to Trace Them All |
PS PDF BibTeX | Third USENIX Conference on File and Storage Technologies (FAST 2004) |
Apr 2004 |
|
| 103 |
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 |
|
| 104 |
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 |
|
| 105 |
NCryptfs: A Secure and Convenient Cryptographic File System |
PS PDF BibTeX Slides | Usenix Technical Conference, General Track |
Jun 2003 |
|
| 106 |
Cosy: Develop in User-Land, Run in Kernel-Mode |
PS PDF BibTeX | 9th Workshop in Hot Topics in Operating Systems (HotOS IX) |
May 2003 |
|
| 107 |
High-Confidence Operating Systems |
PS PDF BibTeX | Tenth ACM SIGOPS European Workshop |
Sep 2002 |
|
| 108 |
Enhancing NFS Cross-Administrative Domain Access |
PS PDF BibTeX | Usenix Technical Conference, FREENIX Track |
Jun 2002 |
|
| 109 |
Overhauling Amd for the '00s: A Case Study of GNU Autotools |
PS PDF BibTeX | Usenix Technical Conference, FREENIX Track |
Jun 2002 |
|
| 110 |
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 |
| 111 |
Fast Indexing: Support for Size-Changing Algorithms in Stackable File System |
PS PDF BibTeX | Usenix Technical Conference |
Jun 2001 |
|
| 112 |
Data Mining Methods for Detection of New Malicious Executables |
PS PDF BibTeX | IEEE Symposium on Security and Privacy |
May 2001 |
|
| 113 |
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 |
|
| 114 |
FiST: A Language for Stackable File Systems |
PS PDF BibTeX | Usenix Technical Conference |
Jun 2000 |
|
| 115 |
Extending File Systems Using Stackable Templates |
PS PDF BibTeX | Usenix Technical Conference |
Jun 1999 |
|
| 116 |
A Stackable File System Interface For Linux |
PS PDF BibTeX | LinuxExpo 99 |
May 1999 |
|
| 117 |
HLFSD: Delivering Email to your $HOME |
PS PDF BibTeX | Usenix Systems Administration (LISA VII) Conference |
Nov 1993 |
|
| 118 |
Discovery and Hot Replacement of Replicated Read-Only File Systems, with Application to Mobile Computing |
PS PDF BibTeX | Usenix Summer Conference |
Jun 1992 |
|
| # |
Title (click for html version) |
Formats |
Published In |
Date |
Comments |
| 1 |
Engaging Older Adults to Guide Low-Cost Non-Wearable Sensor Technology Development to Age in Place: Survey Findings |
BibTeX | Gerontology Society of America Annual Meeting (GSA 2023) |
Nov 2023 |
Accepted as a poster presentation, to appear |
| 2 |
Smart Aging: Engaging Older Adults to Guide Sensor Development to Support Aging in Place |
BibTeX | Gerontology Society of America Annual Meeting (GSA 2023) |
Nov 2023 |
Accepted as an oral presentation of a symposium abstract, to appear |
| 3 |
Guiding Simulations of Multi-Tier Storage Caches Using Knee Detection |
PDF BibTeX | Stony Brook U. CS TechReport FSL-23-01 |
Jul 2023 |
|
| 4 |
The Case for Model Checking Emerging File Systems |
BibTeX | Non-archival poster presentation in the 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI '23) |
Jul 2023 |
|
| 5 |
Verifiable Sustainability in Data Centers |
BibTeX | https://arxiv.org/abs/2307.11993 |
Jul 2023 |
|
| 6 |
Using Bash notebooks for Systems Education (User Meeting 23) |
BibTeX | Trovi experiment artifact on Chameleon Cloud |
May 2023 |
|
| 7 |
Using Machine Learning to Improve Operating Systems' I/O Subsystems |
PDF BibTeX | Stony Brook U. CS TechReport FSL-22-03 |
Dec 2022 |
Ph.D. Dissertation Defense |
| 8 |
Using Machine Learning to Improve Operating Systems' I/O Subsystems |
PDF BibTeX | Stony Brook U. CS TechReport FSL-22-02 |
Jun 2022 |
Ph.D. Dissertation Proposal |
| 9 |
Model-Checking Support for File System Development |
PDF BibTeX | Stony Brook U. CS TechReport FSL-22-01 |
Jan 2022 |
Ph.D. Research Proficiency Exam (RPE) |
| 10 |
KML: Using Machine Learning to Improve Storage Systems |
PDF BibTeX | Stony Brook U. CS TechReport FSL-21-02 |
Nov 2021 |
Source code |
| 11 |
SpecNFS: A Challenge Dataset Towards Extracting Formal Models from Natural Language Specifications |
BibTeX | Non-archival poster presentation in the Workshop on Natural Language Processing for Programming in the ACL 2021 conference" |
Aug 2021 |
SpecNFS dataset |
| 12 |
Accelerating Multi-Tier Cache Evaluations with Intelligent MRC Point Selection |
PDF BibTeX | Stony Brook U. CS TechReport FSL-21-01 |
Jan 2021 |
Ph.D. Research Proficiency Exam (RPE) |
| 13 |
Supporting Transactions for Bulk NFSv4 Compounds |
PDF BibTeX | Stony Brook U. CS TechReport FSL-20-02 |
Dec 2020 |
Ph.D. Research Proficiency Exam (RPE) |
| 14 |
CNSBench: A Cloud Native Storage Benchmark |
PDF BibTeX | Stony Brook U. CS TechReport FSL-20-01 |
Dec 2020 |
Ph.D. Research Proficiency Exam (RPE) |
| 15 |
Re-Animator: Versatile High-Fidelity System-Call Tracing and Replaying |
PDF BibTeX | Stony Brook U. CS TechReport FSL-19-02 |
May 2019 |
Ph.D. Research Proficiency Exam (RPE) |
| 16 |
Data Storage Research Vision 2025: Report on NSF Visioning Workshop |
PDF BibTeX | ACM Digital Library |
Feb 2019 |
Workshop report, held on May 30 to June 1, 2018. |
| 17 |
A Practical Auto-Tuning Framework for Storage Systems |
PDF BibTeX | Stony Brook U. CS TechReport FSL-19-01 |
Jan 2019 |
Ph.D. Dissertation Defense |
| 18 |
A Practical, Real-Time Auto-Tuning Framework for Storage Systems |
PDF BibTeX | Stony Brook U. CS TechReport FSL-18-01 |
Apr 2018 |
Ph.D. Dissertation Proposal |
| 19 |
Kurma: Efficient and Secure Multi-Cloud Storage Gateways for Network-Attached Storage |
PDF BibTeX | Stony Brook U. CS TechReport FSL-17-01 |
Apr 2017 |
Ph.D. Dissertation |
| 20 |
To FUSE or not to FUSE? Analysis and Performance Characterization of User-Space File Systems |
PDF BibTeX | Stony Brook U. CS TechReport FSL-16-02 |
Dec 2016 |
M.S. Thesis |
| 21 |
Parametric Optimization of Storage Systems |
PDF BibTeX | Stony Brook U. CS TechReport FSL-16-01 |
Jan 2016 |
Ph.D. Research Proficiency Exam (RPE) |
| 22 |
Design and Implementation of an Open-Source Deduplication Platform for Research |
PDF BibTeX | Stony Brook U. CS TechReport FSL-15-03 |
Dec 2015 |
Ph.D. Research Proficiency Exam (RPE) |
| 23 |
KURMA: Geo-Distributed Secure Middlewares for Cloud-Backed Network Attached Storage |
PDF BibTeX | Stony Brook U. CS TechReport FSL-15-02 |
Nov 2015 |
Ph.D. Dissertation Proposal |
| 24 |
Finding the Right Balance: Security vs. Performance with Network Storage Systems |
PDF BibTeX | Stony Brook U. CS TechReport FSL-15-01 |
May 2015 |
M.S. Thesis |
| 25 |
Evaluation of Nilfs2 for Shingled Magnetic Recording (SMR) Disks |
PDF BibTeX | Stony Brook U. CS TechReport FSL-14-03 |
Sep 2014 |
|
| 26 |
Linux NFSv4.1 Performance Under a Microscope |
PDF BibTeX | Stony Brook U. CS TechReport FSL-14-02 |
Aug 2014 |
|
| 27 |
GreenDM: A Versatile Tiering Hybrid Drive for the Trade-Off Evaluation of Performance, Energy, and Endurance |
PDF BibTeX | Stony Brook U. CS TechReport FSL-14-01 |
May 2014 |
Ph.D. Dissertation |
| 28 |
Cpuidle from user space |
PDF BibTeX | Stony Brook U. CS TechReport FSL-13-05 |
Dec 2013 |
|
| 29 |
Multi-dimensional Workload Analysis and Synthesis for Modern Storage Systems |
PDF BibTeX | Stony Brook U. CS TechReport FSL-13-04 |
Dec 2013 |
Ph.D. Dissertation |
| 30 |
System-Aware Resource Scheduling for Performance, Energy, and Reliability in Tiered Storage Systems |
BibTeX | Stony Brook U. CS TechReport FSL-13-03 |
May 2013 |
Ph.D. Dissertation Proposal |
| 31 |
Multi-dimensional Workload Analysis and Synthesis for Modern Storage Systems |
PDF BibTeX | Stony Brook U. CS TechReport FSL-13-02 |
Apr 2013 |
Ph.D. Dissertation Proposal |
| 32 |
GreenDM: A Versatile Hybrid Drive for Energy and Performance |
BibTeX | Stony Brook U. CS TechReport FSL-13-01 |
Apr 2013 |
Ph.D. Research Proficiency Exam (RPE) |
| 33 |
Runtime Verification of Kernel-Level Concurrency Using Compiler-Based Instrumentation |
PS PDF BibTeX | Stony Brook U. CS TechReport FSL-12-05 |
Dec 2012 |
Ph.D. Dissertation |
| 34 |
Unifying File Systems and Databases Efficiently |
BibTeX | Stony Brook U. CS TechReport FSL-12-06 |
Sep 2012 |
|
| 35 |
A Context Aware Block Layer: The Case for Block Layer Deduplication |
PDF BibTeX | Stony Brook U. CS TechReport FSL-12-04 |
May 2012 |
M.S. Thesis |
| 36 |
From Tuples to Files: a Fast Transactional System Store and File System |
PDF BibTeX | Stony Brook U. CS TechReport FSL-12-03 |
May 2012 |
M.S. Thesis |
| 37 |
Efficient, Scalable, and Versatile Application and System Transaction Management for Direct Storage Layers |
PDF BibTeX | Stony Brook U. CS TechReport FSL-12-02 |
Jan 2012 |
Ph.D. Dissertation |
| 38 |
Runtime Verification of Kernel-Level Concurrency Using Compiler-Based Instrumentation |
PS PDF BibTeX | Stony Brook U. CS TechReport FSL-12-01 |
Jan 2012 |
Ph.D. Dissertation Proposal |
| 39 |
Stopping Data Races Using Redflag |
PS PDF BibTeX | Stony Brook U. CS TechReport FSL-10-02 |
May 2010 |
M.S. Thesis |
| 40 |
Optimizing Energy and Performance for Server-Class File System Workloads |
PS PDF BibTeX | Stony Brook U. CS TechReport FSL-10-01 |
May 2010 |
M.S. Thesis |
| 41 |
Flexible Debugging with Controllable Overhead |
PS PDF BibTeX | Stony Brook U. CS TechReport FSL-09-01 |
Aug 2009 |
Ph.D. Thesis
|
| 42 |
SAMT Performace Proof |
PS PDF BibTeX | Stony Brook U. CS TechReport FSL-09-03 |
Jun 2009 |
|
| 43 |
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 |
| 44 |
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 |
| 45 |
Protecting Control Files With File System Transactions |
PS PDF BibTeX | Stony Brook U. CS TechReport FSL-08-05 |
Aug 2008 |
|
| 46 |
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 |
| 47 |
Techniques for Visualizing Software Execution |
PS PDF BibTeX | Stony Brook U. CS TechReport FSL-08-03 |
Mar 2008 |
Ph.D. Research Proficiency Exam (RPE) |
| 48 |
Remote Debugging with Controllable Overhead |
PS PDF BibTeX | Stony Brook U. CS TechReport FSL-08-02 |
Mar 2008 |
Ph.D. Thesis Proposal |
| 49 |
End-to-End Abstractions for Application-Aware Storage |
PS PDF BibTeX | Stony Brook U. CS TechReport FSL-08-01 |
Mar 2008 |
Ph.D. Thesis |
| 50 |
PLEASE: Policy Language for Easy Administration of SELinux |
PS PDF BibTeX | Stony Brook U. CS TechReport FSL-07-02 |
May 2007 |
M.S. Thesis |
| 51 |
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 |
| 52 |
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. |
| 53 |
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 |
| 54 |
Latency as a Viable Metric for OS Profiling |
BibTeX | Stony Brook U. CS TechReport FSL-06-03 |
Apr 2006 |
|
| 55 |
Rapid File System Development Using ptrace |
BibTeX | Stony Brook U. CS TechReport FSL-06-02 |
Jan 2006 |
|
| 56 |
Extending ACID Semantics to the File System |
BibTeX | Stony Brook U. CS TechReport FSL-06-01 |
Jan 2006 |
|
| 57 |
A Versatile Persistent Caching Framework for File Systems |
PS PDF BibTeX | Stony Brook U. CS TechReport FSL-05-05 |
Dec 2005 |
|
| 58 |
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). |
| 59 |
Storage Virtualization with a Stackable File System |
PDF BibTeX | Stony Brook U. CS TechReport FSL-05-03 |
Dec 2005 |
M.S. Thesis |
| 60 |
Runtime Verification for High-Confidence OS Kernels: A Monte Carlo Approach |
BibTeX | Stony Brook U. CS TechReport FSL-05-02 |
Nov 2005 |
|
| 61 |
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) |
| 62 |
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 |
| 63 |
Versatility and Unix Semantics in a Fan-Out Unification File System |
PS PDF BibTeX | Stony Brook U. CS TechReport FSL-04-01b |
Oct 2004 |
|
| 64 |
Versatile File System Tracing with Tracefs |
PS PDF BibTeX | Stony Brook U. CS TechReport FSL-04-05 |
Aug 2004 |
M.S. Thesis |
| 65 |
Enhancing File System Integrity Through Checksums |
PS PDF BibTeX | Stony Brook U. CS TechReport FSL-04-04 |
May 2004 |
|
| 66 |
NFS File Handle Security |
PS PDF BibTeX | Stony Brook U. CS TechReport FSL-04-03 |
May 2004 |
|
| 67 |
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) |
| 68 |
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 |
| 69 |
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. |
| 70 |
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 |
| 71 |
Reducing Storage Management Costs via Informed User-Based Policies |
PS PDF BibTeX | Stony Brook U. CS TechReport FSL-03-01 |
Mar 2003 |
|
| 72 |
Improving Application Performance Through System Call Composition |
PS PDF BibTeX | Stony Brook U. CS TechReport FSL-02-01 |
Jun 2002 |
|
| 73 |
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 |
|
| 74 |
FiST: A System for Stackable File System Code Generation |
PS PDF BibTeX | Columbia University |
May 2001 |
Ph.D. Dissertation |
| 75 |
Performance of Size-Changing Algorithms in Stackable File Systems |
PDF BibTeX | Columbia U. CS TechReport CUCS-023-00 |
Dec 2000 |
|
| 76 |
Toward cost-sensitive modeling for intrusion detection |
PDF BibTeX | Columbia U. CS TechReport CUCS-002-00 |
Feb 2000 |
|
| 77 |
Stackable File Systems As a Security Tool |
PS PDF BibTeX | Columbia U. CS TechReport CUCS-036-99 |
Dec 1999 |
|
| 78 |
Usenetfs: A Stackable File System for Large Article Directories |
PS PDF BibTeX | Columbia U. CS TechReport CUCS-022-98 |
Jul 1998 |
|
| 79 |
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. |
| 80 |
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 |
| 81 |
FiST: A File System Component Compiler |
PS PDF BibTeX | Columbia University |
Apr 1997 |
Ph.D. Thesis Proposal |
| 82 |
PGMAKE: A Portable Distributed Make System |
PS PDF BibTeX | Columbia U. CS TechReport CUCS-035-94 |
Jul 1994 |
See PGmake home page |