Erez Zadok

Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, Erez Zadok: InterAspect: aspect-oriented instrumentation with GCC. Formal Methods in System Design 41(3): 295-320 (2012)

Michael A. Bender, Martin Farach-Colton, Rob Johnson, Russell Kraner, Bradley C. Kuszmaul, Dzejla Medjedovic, Pablo Montes, Pradeep Shetty, Richard P. Spillane, Erez Zadok: Don't Thrash: How to Cache Your Hash on Flash. PVLDB 5(11): 1627-1637 (2012)

Xiaowan Huang, Justin Seyster, Sean Callanan, Ketan Dixit, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Erez Zadok: Software monitoring with controllable overhead. STTT 14(3): 327-347 (2012)

Ezio Bartocci, Radu Grosu, Atul Karmarkar, Scott A. Smolka, Scott D. Stoller, Erez Zadok, Justin Seyster: Adaptive Runtime Verification. RV 2012: 168-182

Michael A. Bender, Martin Farach-Colton, Rob Johnson, Russell Kraner, Bradley C. Kuszmaul, Dzejla Medjedovic, Pablo Montes, Pradeep Shetty, Richard P. Spillane, Erez Zadok: Don't Thrash: How to Cache Your Hash on Flash. CoRR abs/1208.0290 (2012)

Richard P. Spillane, Pradeep Shetty, Erez Zadok, Sagar Dixit, Shrikar Archak: An efficient multi-tier tablet server storage architecture. SoCC 2011: 1

Zhichao Li, Radu Grosu, Koundinya Muppalla, Scott A. Smolka, Scott D. Stoller, Erez Zadok: Model discovery for energy-aware computing systems: An experimental evaluation. IGCC 2011: 1-6

Justin Seyster, Prabakar Radhakrishnan, Samriti Katoch, Abhinav Duggal, Scott D. Stoller, Erez Zadok: Redflag: A Framework for Analysis of Kernel-Level Concurrency. ICA3PP (1) 2011: 66-79

Scott D. Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu, Klaus Havelund, Scott A. Smolka, Erez Zadok: Runtime Verification with State Estimation. RV 2011: 193-207

Zhichao Li, Radu Grosu, Priya Sehgal, Scott A. Smolka, Scott D. Stoller, Erez Zadok: On the energy consumption and performance of systems software. SYSTOR 2011: 8

Priya Sehgal, Vasily Tarasov, Erez Zadok: Optimizing energy and performance for server-class file system workloads. TOS 6(3) (2010)

Priya Sehgal, Vasily Tarasov, Erez Zadok: Evaluating Performance and Energy in File System Server Workloads. FAST 2010: 253-266

Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, Erez Zadok: Aspect-Oriented Instrumentation with GCC. RV 2010: 405-420

Matthew T. Dougherty, Michael J. Folk, Erez Zadok, Herbert J. Bernstein, Frances C. Bernstein, Kevin W. Eliceiri, Werner Benger, Christoph Best: Unifying biological image formats with HDF5. Commun. ACM 52(10): 42-47 (2009)

Matthew T. Dougherty, Michael J. Folk, Erez Zadok, Herbert J. Bernstein, Frances C. Bernstein, Kevin W. Eliceiri, Werner Benger, Christoph Best: Unifying Biological Image Formats with HDF5. ACM Queue 7(9): 20 (2009)

Richard P. Spillane, Sachin Gaikwad, Manjunath Chinni, Erez Zadok, Charles P. Wright: Enabling Transactional File Access via Lightweight Kernel Extensions. FAST 2009: 29-42

Richard P. Spillane, Russell Sears, Chaitanya Yalamanchili, Sachin Gaikwad, Manjunath Chinni, Erez Zadok: Story Book: An Efficient Extensible Provenance Framework. Workshop on the Theory and Practice of Provenance 2009

Rachita Kothiyal, Vasily Tarasov, Priya Sehgal, Erez Zadok: Energy and performance evaluation of lossless file data compression on server systems. SYSTOR 2009: 4

Chaitanya Yalamanchili, Kiron Vijayasankar, Erez Zadok, Gopalan Sivathanu: DHIS: discriminating hierarchical storage. SYSTOR 2009: 9

Avishay Traeger, Erez Zadok, Nikolai Joukov, Charles P. Wright: A nine year study of file system and storage benchmarking. TOS 4(2) (2008)

Sean Callanan, David J. Dean, Michael Gorbovitski, Radu Grosu, Justin Seyster, Scott A. Smolka, Scott D. Stoller, Erez Zadok: Software monitoring with bounded overhead. IPDPS 2008: 1-8

Avishay Traeger, Ivan Deras, Erez Zadok: DARC: dynamic analysis of root causes of latency distributions. SIGMETRICS 2008: 277-288

Swaminathan Sundararaman, Gopalan Sivathanu, Erez Zadok: Selective Versioning in a Secure Disk System. USENIX Security Symposium 2008: 259-274

Charles P. Wright, Richard P. Spillane, Gopalan Sivathanu, Erez Zadok: Extending ACID semantics to the file system. TOS 3(2) (2007)

Richard P. Spillane, Charles P. Wright, Gopalan Sivathanu, Erez Zadok: Rapid file system development using ptrace. Experimental Computer Science 2007: 22

Sean Callanan, Radu Grosu, Justin Seyster, Scott A. Smolka, Erez Zadok: Model Predictive Control for Memory Profiling. IPDPS 2007: 1-7

Nikolai Joukov, Arun M. Krishnakumar, Chaitanya Patti, Abhishek Rai, Sunil Satnur, Avishay Traeger, Erez Zadok: RAIF: Redundant Array of Independent Filesystems. MSST 2007: 199-214

Avishay Traeger, Kumar Thangavelu, Erez Zadok: Round-trip privacy with nfsv4. StorageSS 2007: 1-6

Kiron Vijayasankar, Gopalan Sivathanu, Swaminathan Sundararaman, Erez Zadok: Exploiting type-awareness in a self-recovering disk. StorageSS 2007: 25-30

Sean Callanan, Radu Grosu, Abhishek Rai, Scott A. Smolka, Mike R. True, Erez Zadok: Runtime Verification for High-Confidence Systems: A Monte Carlo Approach. Electr. Notes Theor. Comput. Sci. 164(4): 41-52 (2006)

Charles P. Wright, Jay Dave, Puja Gupta, Harikesavan Krishnan, David P. Quigley, Erez Zadok, Mohammad Nayyer Zubair: Versatility and Unix semantics in namespace unification. TOS 2(1): 74-105 (2006)

Erez Zadok, Rakesh Iyer, Nikolai Joukov, Gopalan Sivathanu, Charles P. Wright: On incremental file system development. TOS 2(2): 161-196 (2006)

Sean Callanan, Radu Grosu, Xiaowan Huang, Scott A. Smolka, Erez Zadok: Compiler-assisted software verification using plug-ins. IPDPS 2006

Gopalan Sivathanu, Swaminathan Sundararaman, Erez Zadok: Type-Safe Disks. OSDI 2006: 15-28

Nikolai Joukov, Avishay Traeger, Rakesh Iyer, Charles P. Wright, Erez Zadok: Operating System Profiling via Latency Analysis. OSDI 2006: 89-102

Nikolai Joukov, Harry Papaxenopoulos, Erez Zadok: Secure deletion myths, issues, and solutions. StorageSS 2006: 61-66

Avishay Traeger, Nikolai Joukov, Josef Sipek, Erez Zadok: Using free web storage for data backup. StorageSS 2006: 73-78

Ethan L. Miller, Erez Zadok (Eds.): Proceedings of the 2006 ACM Workshop On Storage Security And Survivability, StorageSS 2006, Alexandria, VA, USA, October 30, 2006. ACM 2006, isbn 1-59593-552-5

Nikolai Joukov, Abhishek Rai, Erez Zadok: Increasing distributed storage survivability with a stackable RAID-like file system. CCGRID 2005: 82-89

Nikolai Joukov, Timothy Wong, Erez Zadok: Accurate and Efficient Replaying of File System Traces. FAST 2005

Erez Zadok, Sean Callanan, Abhishek Rai, Gopalan Sivathanu, Avishay Traeger: Efficient and Safe Execution of User-Level Code in the Kernel. IPDPS 2005

Nikolai Joukov, Erez Zadok: Adding Secure Deletion to Your Favorite File System. IEEE Security in Storage Workshop 2005: 63-70

Gopalan Sivathanu, Charles P. Wright, Erez Zadok: Ensuring data integrity in storage: techniques and applications. StorageSS 2005: 26-36

Nikolai Joukov, Aditya Kashyap, Gopalan Sivathanu, Erez Zadok: An electric fence for kernel buffers. StorageSS 2005: 37-43

Charles P. Wright, Nikolai Joukov, Devaki Kulkarni, Yevgeniy Miretskiy, Erez Zadok: Auto-pilot: A Platform for System Software Benchmarking. USENIX Annual Technical Conference, FREENIX Track 2005: 175-188

Kiran-Kumar Muniswamy-Reddy, Charles P. Wright, Andrew Himmer, Erez Zadok: A Versatile and User-Oriented Versioning File System. FAST 2004: 115-128

Akshat Aranya, Charles P. Wright, Erez Zadok: Tracefs: A File System to Trace Them All. FAST 2004: 129-145

Swapnil Patil, Anand Kashyap, Gopalan Sivathanu, Erez Zadok: I³FS: An In-Kernel Integrity Checker and Intrusion Detection File System. LISA 2004: 67-78

Erez Zadok, Jeffrey Osborn, Ariye Shater, Charles P. Wright, Kiran-Kumar Muniswamy-Reddy, Jason Nieh: Reducing Storage Management Costs via Informed User-Based Policies. MSST 2004: 193-197

Yevgeniy Miretskiy, Abhijith Das, Charles P. Wright, Erez Zadok: Avfs: An On-Access Anti-Virus File System. USENIX Security Symposium 2004: 73-88

Amit Purohit, Charles P. Wright, Joseph Spadavecchia, Erez Zadok: Cosy: Develop in User-Land, Run in Kernel-Mode. HotOS 2003: 109-114

Charles P. Wright, Jay Dave, Erez Zadok: Cryptographic File Systems Performance: What You Don't Know Can Hurt You. IEEE Security in Storage Workshop 2003: 47-61

Charles P. Wright, Michael C. Martino, Erez Zadok: NCryptfs: A Secure and Convenient Cryptographic File System. USENIX Annual Technical Conference, General Track 2003: 197-210

Wenke Lee, Wei Fan, Matthew Miller, Salvatore J. Stolfo, Erez Zadok: Toward Cost-Sensitive Modeling for Intrusion Detection and Response. Journal of Computer Security 10(1/2): 5-22 (2002)

Radu Grosu, Erez Zadok, Scott A. Smolka, Rance Cleaveland, Yanhong A. Liu: High-confidence operating systems. ACM SIGOPS European Workshop 2002: 205-208

Joseph Spadavecchia, Erez Zadok: Enhancing NFS Cross-Administrative Domain Access. USENIX Annual Technical Conference, FREENIX Track 2002: 181-194

Erez Zadok: Overhauling Amd for the '00s: A Case Study of GNU Autotools. USENIX Annual Technical Conference, FREENIX Track 2002: 287-297

Matthew G. Schultz, Eleazar Eskin, Erez Zadok, Salvatore J. Stolfo: Data Mining Methods for Detection of New Malicious Executables. IEEE Symposium on Security and Privacy 2001: 38-49

Matthew G. Schultz, Eleazar Eskin, Erez Zadok, Manasi Bhattacharyya, Salvatore J. Stolfo: MEF: Malicious Email Filter - A UNIX Mail Filter That Detects Malicious Windows Executables. USENIX Annual Technical Conference, FREENIX Track 2001: 245-252

Erez Zadok, Johan M. Andersen, Ion Badulescu, Jason Nieh: Fast Indexing: Support for Size-Changing Algorithms in Stackable File Systems. USENIX Annual Technical Conference, General Track 2001: 289-304

Erez Zadok, Jason Nieh: FiST: A Language for Stackable File Systems. USENIX Annual Technical Conference, General Track 2000: 55-70

Erez Zadok, Ion Badulescu, Alex Shender: Extending File Systems Using Stackable Templates. USENIX Annual Technical Conference, General Track 1999: 57-70

Erez Zadok, Alexander Dupuy: HLFSD: Delivering Email to Your $HOME. LISA 1993

Erez Zadok, Dan Duchamp: Discovery and Hot Replacement of Replicated Read-Only File Systems, with Application to Mobile Computing. USENIX Summer 1993: 69-86