| # |
Title (click for html version) |
Formats |
Published In |
Date |
Comments |
| 1 |
Extracting Flexible, Replayable Models from Large Block Traces |
PS PDF BibTeX | Tenth USENIX Conference on File and Storage Technologies (FAST 2012) |
Feb 2012 |
|
| 2 |
Power Consumption in Enterprise-Scale Backup Storage Systems |
PDF BibTeX | Tenth USENIX Conference on File and Storage Technologies (FAST 2012) |
Feb 2012 |
|
| 3 |
An Efficient Multi-Tier Tablet Server Storage Architecture |
PS PDF BibTeX | 2nd ACM Symposium on Cloud Computing (SOCC'11)", |
Oct 2011 |
|
| 4 |
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 |
|
| 5 |
Runtime verification with state estimation |
PS PDF BibTeX | 2nd International Conference on Runtime Verification (RV 2011) |
Sep 2011 |
Won Best Paper Award |
| 6 |
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 |
|
| 7 |
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 |
|
| 8 |
Benchmarking File System Benchmarking: It *IS* Rocket Science |
PS PDF BibTeX | 13th USENIX Workshop in Hot Topics in Operating Systems (HotOS XIII) |
May 2011 |
|
| 9 |
On the Energy Consumption and Performance of Systems Software |
PS PDF BibTeX | The 4th Israeli Experimental Systems Conference (ACM SYSTOR 2011) |
May 2011 |
|
| 10 |
Aspect-Oriented Instrumentation with GCC |
PS PDF BibTeX | 1st International Conference on Runtime Verification (RV 2010) |
Nov 2010 |
|
| 11 |
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 |
|
| 12 |
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 |
|
| 13 |
Evaluating Performance and Energy in File System Server Workloads |
PS PDF BibTeX | Eighth USENIX Conference on File and Storage Technologies (FAST 2010) |
Feb 2010 |
|
| 14 |
The Visual Development of GCC Plug-ins |
PS PDF BibTeX | Proceedings of the 2009 GCC Developers' Summit |
Jun 2009 |
|
| 15 |
DHIS: Discriminating Hierarchical Storage |
PS PDF BibTeX | The 2nd Israeli Experimental Systems Conference (ACM SYSTOR 2009) |
May 2009 |
|
| 16 |
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 |
|
| 17 |
Story Book: An Efficient Extensible Provenance Framework |
PS PDF BibTeX | 1st Workshop on the Theory and Practice of Provenance (TAPP 2009) |
Feb 2009 |
|
| 18 |
Enabling Transactional File Access via Lightweight Kernel Extensions |
PS PDF BibTeX | Seventh USENIX Conference on File and Storage Technologies (FAST 2009) |
Feb 2009 |
|
| 19 |
Selective Versioning in a Secure Disk System |
PS PDF BibTeX | 17th USENIX Security Symposium (USENIX Security '08) |
Jul 2008 |
|
| 20 |
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. |
| 21 |
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 |
| 22 |
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 |
|
| 23 |
PLEASE: Policy Language for the Easy Administration of SELinux |
BibTeX | The Second Annual Computer Security Conference (CSC 2008) |
Apr 2008 |
|
| 24 |
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 |
|
| 25 |
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 |
|
| 26 |
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. |
| 27 |
RAIF: Redundant Array of Independent Filesystems |
PS PDF BibTeX | IEEE Conference on Mass Storage Systems and Technologies (MSST 2007) |
Sep 2007 |
|
| 28 |
Extending GCC with Modular GIMPLE Optimizations |
PS PDF BibTeX | Proceedings of the 2007 GCC Developers' Summit |
Jul 2007 |
|
| 29 |
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 |
|
| 30 |
Kernel Support for Stackable File Systems |
PS PDF BibTeX | 2007 Ottawa Linux Symposium |
Jun 2007 |
|
| 31 |
AutoFS - An Automounting File System for FreeBSD 6.x |
PS PDF BibTeX | Proceedings of the 2007 BSDCan Technical BSD Conference |
May 2007 |
|
| 32 |
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 |
|
| 33 |
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 |
|
| 34 |
Operating System Profiling via Latency Analysis |
PS PDF BibTeX | Seventh USENIX Symposium on Operating Systems Design and Implementation (OSDI 2006) |
Nov 2006 |
|
| 35 |
Type-Safe Disks |
PS PDF BibTeX | Seventh USENIX Symposium on Operating Systems Design and Implementation (OSDI 2006) |
Nov 2006 |
|
| 36 |
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 |
|
| 37 |
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 |
|
| 38 |
UnionFS: User- and Community-oriented Development of a Unification Filesystem |
PS PDF BibTeX | 2006 Ottawa Linux Symposium |
Jul 2006 |
|
| 39 |
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 |
|
| 40 |
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 |
|
| 41 |
Accurate and Efficient Replaying of File System Traces |
PS PDF BibTeX | Fourth USENIX Conference on File and Storage Technologies (FAST 2005) |
Dec 2005 |
|
| 42 |
Adding Secure Deletion to Your Favorite File System |
PS PDF BibTeX | Third IEEE Security In Storage Workshop (SISW 2005) |
Dec 2005 |
|
| 43 |
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 |
|
| 44 |
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. |
| 45 |
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 |
| 46 |
Auto-pilot: A Platform for System Software Benchmarking |
PS PDF BibTeX | Usenix Technical Conference, FREENIX Track |
Apr 2005 |
|
| 47 |
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 |
|
| 48 |
I3FS: An In-Kernel Integrity Checker and Intrusion Detection File System |
PS PDF BibTeX | Usenix Large Installation Systems Administration Conference (LISA 18) |
Nov 2004 |
|
| 49 |
Avfs: An On-Access Anti-Virus File System |
PS PDF BibTeX | 13th USENIX Security Symposium (Security 2004) |
Aug 2004 |
|
| 50 |
A Versatile and User-Oriented Versioning File System |
PS PDF BibTeX | Third USENIX Conference on File and Storage Technologies (FAST 2004) |
Apr 2004 |
|
| 51 |
Tracefs: A File System to Trace Them All |
PS PDF BibTeX | Third USENIX Conference on File and Storage Technologies (FAST 2004) |
Apr 2004 |
|
| 52 |
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 |
|
| 53 |
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 |
|
| 54 |
NCryptfs: A Secure and Convenient Cryptographic File System |
PS PDF BibTeX Slides | Usenix Technical Conference, General Track |
Jun 2003 |
|
| 55 |
Cosy: Develop in User-Land, Run in Kernel-Mode |
PS PDF BibTeX | 9th Workshop in Hot Topics in Operating Systems (HotOS IX) |
May 2003 |
|
| 56 |
High-Confidence Operating Systems |
PS PDF BibTeX | Tenth ACM SIGOPS European Workshop |
Sep 2002 |
|
| 57 |
Enhancing NFS Cross-Administrative Domain Access |
PS PDF BibTeX | Usenix Technical Conference, FREENIX Track |
Jun 2002 |
|
| 58 |
Overhauling Amd for the '00s: A Case Study of GNU Autotools |
PS PDF BibTeX | Usenix Technical Conference, FREENIX Track |
Jun 2002 |
|
| 59 |
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 |
| 60 |
Fast Indexing: Support for Size-Changing Algorithms in Stackable File System |
PS PDF BibTeX | Usenix Technical Conference |
Jun 2001 |
|
| 61 |
Data Mining Methods for Detection of New Malicious Executables |
PS PDF BibTeX | IEEE Symposium on Security and Privacy |
May 2001 |
|
| 62 |
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 |
|
| 63 |
FiST: A Language for Stackable File Systems |
PS PDF BibTeX | Usenix Technical Conference |
Jun 2000 |
|
| 64 |
Extending File Systems Using Stackable Templates |
PS PDF BibTeX | Usenix Technical Conference |
Jun 1999 |
|
| 65 |
A Stackable File System Interface For Linux |
PS PDF BibTeX | LinuxExpo 99 |
May 1999 |
|
| 66 |
HLFSD: Delivering Email to your $HOME |
PS PDF BibTeX | Usenix Systems Administration (LISA VII) Conference |
Nov 1993 |
|
| 67 |
Discovery and Hot Replacement of Replicated Read-Only File Systems, with Application to Mobile Computing |
PS PDF BibTeX | Usenix Summer Conference |
Jun 1992 |
|