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