
- Using Free Web Storage for Data Backup Avishay Traeger, Nikolai Joukov, Josef Sipek, and Erez Zadok
- DARC: Dynamic Analysis of Root Causes of Latency Distributions
- NCryptfs: A Secure and Convenient Cryptographic File System Charles P. Wright, Michael C. Martino, and Erez Zadok
- Kernel Support for Stackable File Systems Josef Sipek, Yiannis Pericleous, and Erez Zadok
- SAMT: Analysis of Amortized Insertion, Update, Delete, Point Query, and Range Query
- Secure Deletion Myths, Issues, and Solutions # Nikolai Joukov, Harry Papaxenopoulos, and Erez Zadok
- Efficient and Safe Execution of User-Level Code in the Kernel Erez Zadok, Sean Callanan, Abhishek Rai, Gopalan Sivathanu, and Avishay Traeger
- On the Role of Static Analysis in Operating System Checking and Runtime Verification
- Page 1 of 4 Graduate Academic Dishonesty
- Evaluation of the Throughput, Delay, Drop and Fairness Characteristics of Ethernet LAN Project Report by
- Virtual Private Network Policy CS Department Virtual Private Network (VPN) Policy
- Tracefs: A File System to Trace Them All Akshat Aranya, Charles P. Wright, and Erez Zadok
- Techniques for Visualizing Software Execution A Research Proficiency Exam Presented
- Towards a Secure and Efficient System for EndtoEnd Provenance Appears in the Proceedings of the Second USENIX Workshop on Theory and Practice of Provenance (TaPP 2010)
- Operating System Profiling via Latency Analysis Nikolai Joukov1
- Enabling Transactional File Access via Lightweight Kernel Extensions Appears in the Proceedings of the 7th USENIX Conference on File and Storage Technologies (FAST '09)
- A Nine Year Study of File System and Storage Benchmarking
- Energy and Performance Evaluation of Lossless File Data Compression on Server Systems
- Extending ACID Semantics to the File System CHARLES P. WRIGHT
- Computer Science Department State University of New York at Stony Brook
- Cryptographic File Systems Performance: What You Don't Know Can Charles P. Wright, Jay Dave, and Erez Zadok
- Improving Application Performance Through System Call Composition Amit Purohit, Joseph Spadavecchia, Charles Wright, and Erez Zadok
- Data Mining Methods for Detection of New Malicious Executables Matthew G. Schultz, Eleazar Eskin, Erez Zadok, and Salvatore J. Stolfo
- Password Policy CS Department Password Policy
- On Incremental File System Development EREZ ZADOK, RAKESH IYER, NIKOLAI JOUKOV, GOPALAN SIVATHANU, AND
- A System for Improving Application Performance Through System Call Composition
- Stackable File Systems as a Security Tool Computer Science Department, Columbia University
- Kernel Support for Stackable File Systems Josef Sipek, Yiannis Pericleous, and Erez Zadok
- Extending GCC with Modular GIMPLE Optimizations Sean Callanan, Daniel J. Dean, and Erez Zadok
- The Visual Development of GCC Plug-ins with GDE Daniel J. Dean
- Energy and Performance Evaluation of Lossless File Data Compression on Server Systems
- Reducing Storage Management Costs via Informed UserBased Policies Erez Zadok, Jeffrey Osborn, Ariye Shater, Charles Wright, and KiranKumar MuniswamyReddy
- Remote Debugging with Controllable Overhead A Thesis Proposal Presented
- A Stackable File System Interface For Linux Erez Zadok and Ion Badulescu
- Accurate and Efficient Replaying of File System Traces Nikolai Joukov, Timothy Wong, and Erez Zadok
- Secure Deletion Myths, Issues, and Solutions Nikolai Joukov, Harry Papaxenopoulos, and Erez Zadok
- Adding Secure Deletion to Your Favorite File System Nikolai Joukov and Erez Zadok
- Increasing Distributed Storage Survivability with a Stackable RAIDlike File System
- The Autopilot Benchmarking Suite For version 2.1, 25 July 2005
- Discovery and Hot Replacement of Replicated ReadOnly File Systems,
- Analyzing Root Causes of Latency Distributions A Dissertation Presented
- Versatility and Unix Semantics in Namespace Unification
- File System Extensibility and Reliability Using an inKernel Database
- Optimizing Energy and Performance for ServerClass File System Workloads
- Operating System Profiling via Latency Analysis Nikolai Joukov 1 , Avishay Traeger 1 , Rakesh Iyer 1 , Charles P. Wright 1,2 , and Erez Zadok 1
- A Stackable File System Interface For Linux Erez Zadok and Ion Badulescu
- Round-Trip Privacy with NFSv4 Avishay Traeger, Kumar Thangavelu, and Erez Zadok
- Cosy: Develop in UserLand, Run in KernelMode Amit Purohit, Charles P. Wright, Joseph Spadavecchia, and Erez Zadok
- The Design and Implementation of Elastic Quotas: A System for Flexible File System Management
- Evaluating Performance and Energy in File System Server Workloads Priya Sehgal, Vasily Tarasov, and Erez Zadok
- Start of Semester Meeting Fall 2010 Computer Science Department
- Enhancing NFS Cross-Administrative Domain Access Joseph Spadavecchia and Erez Zadok
- GRADUATE STUDENT HANDBOOK Department of Computer Science
- Remote Access Policy CS Department Remote Access Policy
- Router Security Policy CS Department Router Security Policy
- Amutils (4.4BSD Automounter Utilities) For version 6.2a3, 27 November 2006
- Software Tools for Technology Transfer Software Monitoring with Controllable Overhead
- MEF: Malicious Email Filter A UNIX Mail Filter that Detects Malicious Windows Executables
- Versatile, Portable, and Efficient File System A Dissertation Presented
- DARC: Dynamic Analysis of Root Causes of Latency Distributions
- Improving Application Performance Through System Call Composition Amit Purohit, Joseph Spadavecchia, Charles Wright, and Erez Zadok
- Auto-pilot: A Platform for System Software Benchmarking Charles P. Wright, Nikolai Joukov, Devaki Kulkarni, Yevgeniy Miretskiy, and Erez Zadok
- Remote Debugging with Controllable Overhead A Thesis Proposal Presented
- Rapid File System Development Using ptrace Richard P. Spillane, Charles P. Wright, Gopalan Sivathanu, and Erez Zadok
- Kefence: An Electric Fence for Kernel Buffers # Nikolai Joukov, Aditya Kashyap, Gopalan Sivathanu, and Erez Zadok
- Toward CostSensitive Modeling for Intrusion Detection and Computer Science Department
- TypeSafe Disks Gopalan Sivathanu, Swaminathan Sundararaman, and Erez Zadok
- Reducing Storage Management Costs via Informed UserBased Policies Erez Zadok, Jeffrey Osborn, Ariye Shater, Charles Wright, and KiranKumar MuniswamyReddy
- GRADUATE STUDENT HANDBOOK Department of Computer Science
- Using Free Web Storage for Data Backup # Avishay Traeger, Nikolai Joukov, Josef Sipek, and Erez Zadok
- Energy and Performance Evaluation of Lossless File Data Compression on Computer Systems
- Versatile File System Tracing with Tracefs A Thesis Presented
- NCryptfs: A Secure and Convenient Cryptographic File System Charles P. Wright, Michael C. Martino, and Erez Zadok
- Static Discovery and Remediation of Code-Embedded Resource Dependencies
- A Nine Year Study of File System and Storage Benchmarking
- A Versatile Persistent Caching Framework for File Systems Gopalan Sivathanu and Erez Zadok
- A Versatile Persistent Caching Framework for File Systems Gopalan Sivathanu and Erez Zadok
- GreenFS: Making Enterprise Computers Greener by Protecting Them Better
- Towards a Secure and Efficient System for End-to-End Provenance Appears in the Proceedings of the Second USENIX Workshop on Theory and Practice of Provenance (TaPP 2010)
- Selective Versioning in a Secure Disk System Appears in the Proceedings of the 17th USENIX Security Symposium
- Rapid File System Development Using ptrace Richard P. Spillane, Charles P. Wright, Gopalan Sivathanu, and Erez Zadok
- Type-Safe Disks Gopalan Sivathanu, Swaminathan Sundararaman, and Erez Zadok
- Unionfs: User-and Community-Oriented Development of a Unification File System
- Compiler-Assisted Software Verification Using Plug-Ins Sean Callanan, Radu Grosu, Xiaowan Huang, Scott A. Smolka, and Erez Zadok
- Runtime Verification for High-Confidence Systems: A Monte Carlo Approach
- Avfs: An On-Access Anti-Virus File System Yevgeniy Miretskiy, Abhijith Das, Charles P. Wright, and Erez Zadok
- Cosy: Develop in User-Land, Run in Kernel-Mode Amit Purohit, Charles P. Wright, Joseph Spadavecchia, and Erez Zadok
- FiST: A Language for Stackable File Systems Erez Zadok and Jason Nieh
- HLFSD: Delivering Email to Your $HOME Erez Zadok, Computer Science Department, Columbia University
- Discovery and Hot Replacement of Replicated Read-Only File Systems,
- 0 Gopalan Sivathanu et al. Dear TOS editors and reviewers,
- Extending ACID Semantics to the File System CHARLES P. WRIGHT
- Am-utils (4.4BSD Automounter Utilities) For version 6.2a3, 27 November 2006
- Stopping Data Races Using Redflag A Thesis Presented
- Optimizing Energy and Performance for Server-Class File System Workloads
- The Visual Development of GCC Plug-ins with GDE A Thesis Presented
- Techniques for Visualizing Software Execution A Research Proficiency Exam Presented
- End-to-End Abstractions for Application-Aware Storage
- PLEASE: Policy Language for Easy Administration of A Thesis Presented
- A Nine Year Study of File System and Storage Benchmarking
- Versatile, Portable, and Efficient File System A Dissertation Presented
- Extending ACID Semantics to the File System A Dissertation Presented
- Versatility and Unix Semantics in a Fan-Out Unification File System Charles P. Wright, Jay Dave, Puja Gupta, Harikesavan Krishnan,
- Versatile File System Tracing with Tracefs A Thesis Presented
- Operating System Support for Extensible Secure File Systems A RESEARCH PROFICIENCY EXAM PRESENTED
- A System for Improving Application Performance Through System Call Composition
- Discovery and Hot Replacement of Replicated Read-Only File Systems,
- PGMAKE: A Portable Distributed Make System Andrew Lih and Erez Zadok
- FSprof: An In-Kernel File System Operations Profiler Nikolai Joukov, Charles P. Wright, and Erez Zadok
- NATIONAL SCIENCE FOUNDATION (NSF) SCHOLARSHIP FOR SERVICE APPLICATION FORM Stony Brook University
- Page 1 of 2 SAGAR DIXIT
- Account Types and Application Policy CS Department Account Types and Application Policy
- DMZ Lab Security Policy CS Department DMZ Lab Security Policy
- Guidelines on User Security Awareness CS Department Guidelines on User Security Awareness
- Information Sensitivity Policy CS Department Information Sensitivity Policy
- Internet Server Security Policy CS Department Internet Server Security Policy
- Risk Assessment Policy CS Department Risk Assessment Policy
- Student Name:______________________________________ ID#____________________
- Student Name:______________________________________ ID#____________________
- Student Name:__________________________________ ID#____________________
- Student Name :__________________________________________ ID#____________________
- GRADUATE STUDENT HANDBOOK Department of Computer Science
- GRADUATE STUDENT HANDBOOK Spring 2006 Edition
- Improving Movie Gross Prediction Through News Analysis Wenbin Zhang and Steven Skiena
- Trading Strategies To Exploit Blog and News Sentiment Wenbin Zhang and Steven Skiena
- Eager Sharing Protocol Implementation for GEMS Vasily Tarasov
- Flexible Debugging with Controllable A Dissertation Presented
- Enhancing NFS CrossAdministrative Domain Access Joseph Spadavecchia and Erez Zadok
- Versatility and Unix Semantics in a FanOut Unification File System Charles P. Wright, Jay Dave, Puja Gupta, Harikesavan Krishnan,
- Fast Indexing: Support for Size-Changing Algorithms in Stackable File Systems
- Fast Indexing: Support for Size-Changing Algorithms in Stackable File Systems
- I 3 FS: An InKernel Integrity Checker and Intrusion Detection File System Swapnil Patil, Anand Kashyap, Gopalan Sivathanu, and Erez Zadok
- Autopilot: A Platform for System Software Benchmarking Charles P. Wright, Nikolai Joukov, Devaki Kulkarni, Yevgeniy Miretskiy, and Erez Zadok
- Overhauling Amd for the '00s: A Case Study of GNU Autotools Stony Brook University
- GRADUATE STUDENT HANDBOOK Fall 2006 Edition
- Stackable File Systems as a Security Tool Computer Science Department, Columbia University
- The Visual Development of GCC Plugins with GDE A Thesis Presented
- Efficient and Safe Execution of UserLevel Code in the Kernel Erez Zadok, Sean Callanan, Abhishek Rai, Gopalan Sivathanu, and Avishay Traeger
- PLEASE: Policy Language for Easy Administration of A Thesis Presented
- Stopping Data Races Using Redflag A Thesis Presented
- Exploiting Type-Awareness in a Self-Recovering Disk Kiron Vijayasankar, Gopalan Sivathanu, Swaminathan Sundararaman, and Erez Zadok
- Cryptographic File Systems Performance: What You Don't Know Can Charles P. Wright, Jay Dave, and Erez Zadok
- Versatility and Unix Semantics in Namespace Unification
- Overhauling Amd for the '00s: A Case Study of GNU Autotools Stony Brook University
- Host Security Policy CS Department Host Security Policy
- Story Book: An Efficient Extensible Provenance Framework Appears in the Proceedings of the 1st USENIX Workshop on Theory and Practice of Provenance
- Data Mining Methods for Detection of New Malicious Executables Matthew G. Schultz, Eleazar Eskin, Erez Zadok, and Salvatore J. Stolfo
- AutoFS -An Automounting File System for FreeBSD 6.x Adam David Alan Martin, and Erez Zadok
- Analyzing Root Causes of Latency Distributions A Dissertation Presented
- Unionfs: User and CommunityOriented Development of a Unification File System
- HLFSD: Delivering Email to Your $HOME Erez Zadok, Computer Science Department, Columbia University
- RAIF: Redundant Array of Independent Filesystems Nikolai Joukov 1,2 , Arun M. Krishnakumar 1 , Chaitanya Patti 1 , Abhishek Rai 1 ,
- The Visual Development of GCC Plugins with GDE Daniel J. Dean
- Student Name:_______________________________________ ID#____________________
- Increasing Distributed Storage Survivability with a Stackable RAID-like File System
- Internet DMZ Equipment Policy CS Department Internet DMZ Equipment Policy
- The Wisdom of Bookies? Sentiment Analysis vs. the NFL Point Spread Yancheng Hong
- Flexible Debugging with Controllable A Dissertation Presented
- Ensuring Data Integrity in Storage: Techniques and Applications
- FiST: A System for Stackable FileSystem Code Generation Submitted in partial fulfillment of the
- Runtime Verification for HighConfidence Systems: A Monte Carlo Approach
- Extending ACID Semantics to the File System A Dissertation Presented
- Tracefs: A File System to Trace Them All Akshat Aranya, Charles P. Wright, and Erez Zadok
- Toward Cost-Sensitive Modeling for Intrusion Detection and Computer Science Department
- The Task of the Referee Alan Jay Smith
- Cryptfs Gzipfs Cache Source
- Effectiveness of ECN and RED Based Congestion Detection
- ; LOGIN : OctOber 2008 cONfereNce repOrts 113 enough alone" and only react when basic objectives are not
- DHIS: Discriminating Hierarchical Storage Appears in the Proceedings of the Israeli Experimental Systems Conference (ACM SYSTOR '09)
- 38 ; LOGIN : vOL. 35, NO. 1 e R ez z a d o k , va S i ly ta R a S ov, a n d
- Enabling Transactional File Access via Lightweight Kernel Extensions Appears in the Proceedings of the 7th USENIX Conference on File and Storage Technologies (FAST '09)
- A Nine Year Study of File System and Storage Benchmarking
- Evaluating Performance and Energy in File System Server Workloads Priya Sehgal, Vasily Tarasov, and Erez Zadok
- Model Predictive Control for Memory Profiling Sean Callanan, Radu Grosu, Justin Seyster, Scott A. Smolka, and Erez Zadok #
- EndtoEnd Abstractions for ApplicationAware Storage
- Exploiting TypeAwareness in a SelfRecovering Disk # Kiron Vijayasankar, Gopalan Sivathanu, Swaminathan Sundararaman, and Erez Zadok
- SAMT: Analysis of Amortized Insertion, Update, Delete, Point Query, and Range Query
- Lab Anti-Virus Policy CS Department Lab Anti-Virus Policy
- Energy and Performance Evaluation of Lossless File Data Compression on Computer Systems
- NFS File Handle Security Avishay Traeger, Abhishek Rai, Charles P. Wright, and Erez Zadok
- GreenFS: Making Enterprise Computers Greener by Protecting Them Better
- Fast Indexing: Support for SizeChanging Algorithms in Stackable File Systems
- On the Role of Static Analysis in Operating System Checking and Runtime Verification
- Extending GCC with Modular GIMPLE Optimizations Sean Callanan, Daniel J. Dean, and Erez Zadok
- DHIS: Discriminating Hierarchical Storage Appears in the Proceedings of the Israeli Experimental Systems Conference (ACM SYSTOR '09)
- Ensuring Data Integrity in Storage: Techniques and Applications #
- Undergraduate Policies P/NC policy for CSE/ISE courses
- Server Security Policy CS Department Server Security Policy
- Guidelines on Anti-Virus Process CS Department Guidelines on Anti-Virus Process
- Avfs: An OnAccess AntiVirus File System Yevgeniy Miretskiy, Abhijith Das, Charles P. Wright, and Erez Zadok
- Accurate and Efficient Replaying of File System Traces Nikolai Joukov, Timothy Wong, and Erez Zadok
- A File System Component Compiler ezk@cs.columbia.edu
- RoundTrip Privacy with NFSv4 # Avishay Traeger, Kumar Thangavelu, and Erez Zadok
- RAIF: Redundant Array of Independent Filesystems Nikolai Joukov1,2
- Model Predictive Control for Memory Profiling Sean Callanan, Radu Grosu, Justin Seyster, Scott A. Smolka, and Erez Zadok
- LETTER OF RECOMMENDATION FOR ADMISSION NSF Scholarship for Students Program
- On Incremental File System Development EREZ ZADOK, RAKESH IYER, NIKOLAI JOUKOV, GOPALAN SIVATHANU, AND
- Student Name:______________________________________ ID#____________________
- Student Name:______________________________________ ID#____________________
- The Auto-pilot Benchmarking Suite For version 2.1, 25 July 2005
- Story Book: An Efficient Extensible Provenance Framework Appears in the Proceedings of the 1st USENIX Workshop on Theory and Practice of Provenance
- A Versatile and UserOriented Versioning File System KiranKumar MuniswamyReddy, Charles P. Wright, Andrew Himmer, and Erez Zadok
- FiST: A Language for Stackable File Systems Erez Zadok and Jason Nieh
- Enhancing File System Integrity Through Checksums Gopalan Sivathanu, Charles P. Wright, and Erez Zadok
- Software Tools for Technology Transfer Software Monitoring with Controllable Overhead
- How do I benefit from Computer Science Department Stony Brook University 2010
- Adding Secure Deletion to Your Favorite File System Nikolai Joukov and Erez Zadok
- NFS File Handle Security Avishay Traeger, Abhishek Rai, Charles P. Wright, and Erez Zadok
- Kefence: An Electric Fence for Kernel Buffers Nikolai Joukov, Aditya Kashyap, Gopalan Sivathanu, and Erez Zadok
- A Versatile and UserOriented Versioning File System A THESIS PRESENTED
- CompilerAssisted Software Verification Using PlugIns Sean Callanan, Radu Grosu, Xiaowan Huang, Scott A. Smolka, and Erez Zadok
- Operating System Support for Extensible Secure File Systems A RESEARCH PROFICIENCY EXAM PRESENTED
- Extending File Systems Using Stackable Templates Erez Zadok, Ion Badulescu, and Alex Shender
- Selective Versioning in a Secure Disk System Appears in the Proceedings of the 17th USENIX Security Symposium
- Attachment 1 Scholarship for Service Program
- Wireless Communication Policy CS Department Wireless Communication Policy
- Awards Faculty Year Academy of Teaching-Scholars Eugene Stark 2000
- File System Extensibility and Reliability Using an in-Kernel Database
- Enhancing File System Integrity Through Checksums Gopalan Sivathanu, Charles P. Wright, and Erez Zadok
- Aspect-Oriented Instrumentation with GCC Appears in the Proceedings of the First International Conference on
- Redflag: A Framework for Analysis of Kernel-Level Concurrency
- Start of Semester Meeting Fall 2011 Computer Science Department
- An Efficient Multi-Tier Tablet Server Storage Architecture Richard P. Spillane
- Don't Thrash: How to Cache your Hash on Flash Michael A. Bender
- An Efficient Multi-Tier Tablet Server Storage Architecture Appears in the proceedings of the 2nd ACM Symposium on Cloud Computing (SOCC 2011)
- Exporting Kernel Page Caching for Efficient User-Level I/O
- Richard P. Spillane necro351@gmail.com; 518-768-1417; 42 Whitney Ave., Syosset, NY, 11791 Stony Brook University Comp.Sci.: 4.0
- Model Discovery for Energy-Aware Computing Systems: An Experimental Evaluation
- Benchmarking File System Benchmarking: It *IS* Rocket Science Appears in the proceedings of the 13th USENIX Workshop in Hot Topics in Operating Systems (HotOS XIII)
- On the Energy Consumption and Performance of Systems Software
- Richard P. Spillane I love computer science. I have since I was in high school, when I wrote a C compiler on OS
- On the Energy Consumption and Performance of Systems Software
- Redflag: A Framework for Analysis of KernelLevel Concurrency
- Exporting Kernel Page Caching for Efficient UserLevel I/O
- An Efficient MultiTier Tablet Server Storage Architecture Appears in the proceedings of the 2nd ACM Symposium on Cloud Computing (SOCC 2011)
- Runtime Verification with State Estimation Appears in the proceedings of the 2nd International Conference on Runtime Verification
- Benchmarking File System Benchmarking: It *IS* Rocket Science Appears in the proceedings of the 13th USENIX Workshop in Hot Topics in Operating Systems (HotOS XIII)
- AspectOriented Instrumentation with GCC Appears in the Proceedings of the First International Conference on
- Model Discovery for EnergyAware Computing Systems: An Experimental Evaluation
- Runtime Verification with State Estimation Appears in the proceedings of the 2nd International Conference on Runtime Verification
- Research Proficiency Examination Overall Evaluation Form1
- Runtime Verification of KernelLevel Concurrency Using CompilerBased Instrumentation
- Extracting Flexible, Replayable Models from Large Block Traces Appears in the tenth USENIX Conference on File and Storage Technologies (FAST 2012)
- Power Consumption in Enterprise-Scale Backup Storage Systems Appears in the tenth USENIX Conference on File and Storage Technologies (FAST 2012)
- Runtime Verification of Kernel-Level Concurrency Using Compiler-Based Instrumentation