`Erez Zadok
`Phone: +1 631 632 8461 (office)
`Computer Science Department
`Fax: +1 631 632 8243
`349 New Computer Science
`Timezone: US/Eastern
`Stony Brook University
`Email: ezk@cs.stonybrook.edu
`Stony Brook, NY 11794-2424
`Web: http://www.cs.sunysb.edu/˜ezk
`
`RESEARCH INTERESTS
`
`Operating systems with a special focus on file systems, storage, clouds, hardware/architecture,
`encryption, security, benchmarking, performance analysis and optimization, energy efficiency,
`and system administration.
`
`EDUCATION
`
`May 2001
`
`Ph.D., Computer Science, Columbia University, New York, NY,
`FiST: A System for Stackable File-System Code Generation.
`
`Sep 1997 M.Phil., Computer Science, Columbia University, New York, NY
`
`Oct 1994 M.S., Computer Science, Columbia University, New York, NY
`Discovery and Hot Replacement of Replicated Read-Only File Systems, with Application to
`Mobile Computing
`
`May 1991 B.S., Computer Science, Columbia University, New York, NY
`
`May 1982 Certified Technician, Electrical Engineering, Holtz College, Israel
`
`PROFESSIONAL EXPERIENCE
`
`Jan 2016–present
`
`Professor, Computer Science Department, Stony Brook University
`
`Jan 2007–2015
`
`Associate Professor, Computer Science Department, Stony Brook University
`
`Jan 2001–Jan 2007 Assistant Professor, Computer Science Department, Stony Brook University
`
`2013–present
`
`Director, Smart Energy Technologies (SET) Faculty Cluster, Stony Brook University
`
`2016–present
`
`Technical Expert; Sterne, Kessler, Goldstein & Fox, P.L.L.C.
`
`2015–present
`
`Technical Expert; Wilmer Cutler Pickering Hale and Dorr LLP. (WilmerHale)
`
`2015–present
`
`Technical Expert; Ropes & Gray, LLP.
`
`2014–2015
`
`Technical Expert; Foley & Lardner, LLP.
`
`2014–present
`
`Technical Expert; Latham & Watkins, LLP.
`
`2014–present
`
`Technical Expert; Keker & Van Nest, LLP.
`
`2013–present
`
`Managing Member; Zadoks Consulting, LLP.
`
`2013–2014
`
`Technical Expert; Sterne, Kessler, Goldstein & Fox, P.L.L.C.
`
`2013
`
`2012–2015
`
`2012–2013
`
`Technical Expert; Akin, Gump, Strauss, Hauer & Feld, LLP.
`
`Technical Expert; Susman Godfrey, LLP.
`
`Technical Expert; Fish Richardson, LLP.
`
`1
`
`Apple 1004
`U.S. Pat. 8,504,746
`
`
`
`2010–2011
`
`Technical Expert; Sughrue Mion, LLP.
`
`2010
`
`Technical Expert; One LLP.
`
`2009–2010
`
`Consultant; CTERA Networks, Inc.
`
`2009–present
`
`Consultant; Packet General Networks, Inc.
`
`2006–2007
`
`Technical Expert; Hennigan, Bennett, and Dorman, LLP.
`
`1991–2000
`
`Graduate Research Assistant, Computer Science Department, Columbia University
`
`1999–2000
`
`Director of Software Development, HydraWEB Technologies, Inc.
`
`1994–1998
`
`Project Leader, HydraWEB Technologies, Inc.
`
`1990–1998
`
`Consultant, SOS Corporation
`
`1997
`
`Manager of Computing Facilities, Computer Science Department, Columbia Univer-
`sity
`
`1991–1998
`
`Technical Staff Member, Computer Science Department, Columbia University
`
`1989–1991
`
`Assistant Lab Manager, Academic Information Systems, Columbia University
`
`1987–1989
`
`Student Consultant, Academic Information Systems, Columbia University
`
`1984–1986
`
`National Army Service, Israeli Air Force, Israel
`
`1982–1984
`
`Programmer, Commodore Israel, Tel-Aviv, Israel
`
`1981–1984
`
`Computer Lab Manager, Holtz College, Tel-Aviv, Israel
`
`PERSONAL
`
`Born December 4, 1964, Tel-Aviv, Israel.
`
`Married, one child.
`
`Citizenships: U.S.A and Israel
`
`Fluent in English and Hebrew
`
`Member: ACM, IEEE, IEEE Computer Society, USENIX
`
`Affiliate: Storage Systems Research Center (SSRC), Jack Baskin School of Engineering, University of
`California, Santa Cruz, California.
`
`Member: The I/O Traces, Tools and Analysis (IOTTA) Technical Work Group (TWG), part of the the
`Storage Networking Industry Association (SNIA).
`
`FUNDING
`
`Mar 2016 – ...
`
`Early Detection of User-impersonating Attackers using Multilayer Tripwires, U.S.
`Office of Naval Research (ONR). $586,215, 3 years2. Co-PI with Nick Niki-
`forakis.
`
`Jun 2016 - ...
`
`EAGER: Elastic Multi-layer Memcached Tiers NSF. $257,165, 2 years. Co-PI
`with Anshul Gandhi.
`
`2016
`
`EMC Corporation. Deduplication research, $25,000, Single PI.
`
`2
`
`
`
`2015
`
`Feb 2015
`
`Sep 2014 – ...
`
`Jan 2014 – ...
`
`EMC Corporation. Deduplication research, $25,000, Single PI.
`
`Student Travel Support for the 13th USENIX Conference on File and Storage Tech-
`nologies (FAST 2015). NSF. $20,000, 1 year. Sole PI.
`
`Adaptive Runtime Verification and Recovery for Mission-Critical Software. U.S.
`Air Force Office of Scientific Research (AFOSR). $620,861, 3 years. Co-PI with
`Scott A. Smolka and Scott D. Stoller. (Collaboration with NASA JPL.)
`
`Smarter Electric Grid Research, Innovation, Development, Demonstration, De-
`ployment Center (SGRID3). Brookhaven Science Associates LLC (BNL), $236,397,
`1 year. Lead-PI with one other Stony Brook Co-PI.
`
`2014
`
`EMC Corporation. Deduplication research, $25,000, Single PI.
`
`Jun 2013 – ...
`
`Jan 2013 – ...
`
`Sep 2013 – ...
`
`2013
`
`Sep 2012 – ...
`
`2012-2013
`
`2011
`
`2010
`
`Nov 2010 – ...
`
`CSR: Medium: Collaborative Research: Workload-Aware Storage Architectures
`for Optimal Performance and Energy Efficiency. NSF. $513,900 (SBU share, total
`budget $1,000,000), 3 years. Lead-PI with one other Stony Brook Co-PI, and two
`more institutions (Harvard U. and Harvey Mudd College).
`
`BIGDATA: Small: DCM: Collaborative Research: An efficient, versatile, scalable,
`and portable storage system for scientific data containers. NSF. $444,267 (SBU
`share, total budget $746,290), 3 years. Lead-PI with two other Stony Brook Co-
`PIs, and two more institutions (Brandeis U. and Louisiana State U.).
`
`CRI-CI-ADDO-EN: National File System Trace Repository. NSF. $37,018 (SBU
`share, total budget $167,817), 3 years. Co-PI with lead institution Harvey Mudd
`College.
`
`Western Digital Research award. Shingled Magnetic Recording Disks Benchmark-
`ing, $50,000, Single PI.
`
`NFS4Sec: An Extensible Security Layer for Network Storage. NSF. $486,783, 3
`years. Lead-PI with one other Co-PI.
`
`Server-Class Performance vs. Energy Optimizations. Government of Israel (GoI),
`Mission to the USA. $47,152, 1 year. Lead PI with one other Co-PI.
`
`NetApp Research award. Dedup Workload Modeling, Synthetic Datasets, and
`Scalable Benchmarking, $40,000, Single PI.
`
`NetApp Research award. A Study of Network Storage Benefits using FLASH Hard-
`ware with Indexing Workloads, $40,000, Single PI.
`
`Long Island Smart Energy Corridor. Department of Energy (DOE), LIPA, and
`New York State. Collaboration between Stony Brook University, SUNY Farming-
`dale, and LIPA. $2,822,638, Co-PI.
`
`Sep 2009 – Aug 2013
`
`Collaborative Proposal: Performance- and Energy-Aware HEC Storage Stacks.
`NSF. $652,000, 3 years. Co-PI with Geoff Kuenning (Harvey Mudd College)
`
`Sep 2009 – Aug 2013
`
`Collaborative Proposal: Secure Provenance in High End Computing Systems.
`NSF. $564,972, 3 years. Co-PI with Radu Sion. Collaborative project with Patrick
`McDaniel (Penn State U.) and Marianne Winslett (UIUC).
`
`Apr 2009 – Nov 2012
`
`Survivable Software. U.S. Air Force Office of Scientific Research (AFOSR).
`
`3
`
`
`
`$881,691, 39 months. Co-PI with Scott A. Smolka, Radu Grosu, Scott D. Stoller,
`and Klaus Havelund (NASA JPL).
`
`Feb 2010
`
`Student Travel Support for the First USENIX Workshop on Sustainable Informa-
`tion Technology (SustainIT 2010). NSF. $10,000, 1 year. Lead PI.
`
`Aug 2006 – August 2010 File System Tracing, Replaying, Profiling, and Analysis on HEC Systems. NSF.
`$760,252, 3 years. Lead PI with Klaus Mueller (Stony Brook) and Ethan Miller
`(UC Santa Cruz).
`
`2009
`
`2008
`
`2008
`
`Sep 2007 – ...
`
`Network Appliance Research award. Power use in Storage Servers. $30,000 Sin-
`gle PI.
`
`The Impact of Storage Software and Aging on Power Consumption, IBM Faculty
`award (IBM T.J. Watson Labs). $20,000, one year. Single PI.
`
`Network Appliance Equipment gift. A Study of User File Access Patterns. $91,083
`Single PI.
`
`Center for Information Protection: A Multi-University Industry/University Col-
`laborative Research Center. NSF. $250,147, 5 years. Co-PI with R. Sekar (PI),
`Tzi-Cker Chiueh, Scott Stoller, and Radu Sion.
`
`Sep 2006 – Aug 2009
`
`CT-ISG: N3S: Networked Secure Searchable Storage with Privacy and Correct-
`ness Assurances. NSF. $300,000, 3 years. Co-PI with Radu Sion.
`
`Aug 2006 – Aug 2010
`
`File System Tracing, Replaying, Profiling, and Analysis on HEC Systems. NSF.
`$760,252, 3 years. Lead PI with Klaus Mueller (Stony Brook) and Ethan Miller
`(UC Santa Cruz).
`
`Jul 2006
`
`End-to-End File Server Security, IBM Faculty award (IBM Haifa Research
`Labs). $20,000, one year. Single PI.
`
`Jun 2006 – Aug 2010
`
`CSR—PDOS: Support for Atomic Sequences of File System Operations. NSF.
`$561,727, 3 years. Lead PI with Margo Seltzer (Harvard University).
`
`Jan 2006 – Dec 2006
`
`Secure File Systems, NY State “Millennium” award, $204,528, one year. Co-PI
`with R. Sekar (PI), Tzi-Cker Chiueh, CR Ramakrishnan, Radu Sion, and Scott D.
`Stoller.
`
`Jul 2005 – Aug 2010
`
`CSR—AES: Runtime-Monitoring and Model Checking for High-Confidence Sys-
`tems Software. NSF. $830,000, 4 years. Lead PI with Radu Grosu, Y. Annie Liu,
`Scott Smolka, and Scott D. Stoller.
`
`Sep 2005 – Aug 2004
`
`I/UCRC: A Plan for Developing a Multi-University Industry/University Collabo-
`rative Research Center on Cyber Security. NSF. $9,987, one year. Co-PI with R.
`Sekar, Radu Sion Scott D. Stoller, and Tzi-Cker Chiueh.
`
`Sep 2004 – Aug 2009
`
`Federal Cyber Service: Scholarship for Service (SFS). NSF. $2,459,061, 4 years.
`Co-PI with R. Sekar, Scott D. Stoller, I. V. Ramakrishnan, and Tzi-Cker Chiueh.
`
`Sep 2003 – Aug 2008
`
`A Layered Approach to Securing Network File Systems. NSF Trusted Computing
`Program (TC). $400,000, 3 years. Single PI.
`
`Sep 2003 – Aug 2005
`
`Collaborative Research: Capacity Expansion in Information Assurance. NSF Col-
`laborative Research Proposal (CAP). $199,883, 2 years. Co-PI with R. Sekar, Scott
`D. Stoller, and I. V. Ramakrishnan.
`
`4
`
`
`
`Sep 2002 – Aug 2007
`
`CAREER: An In-Kernel Runtime Execution Environment for User-Level Pro-
`grams. NSF Next Generation Software Program (NGS). $400,000, 5 years. Single
`PI.
`
`Jan 2003 – Dec 2003
`
`Assessing the Technological Basis for Enterprise Protection, NIJ (CyberScience
`Lab) CSL. $90,563, one year. Co-PI with R. Sekar, Tzi-cker Chiueh, and Scott D.
`Stoller.
`
`Sep 2002 – May 2003
`
`New York State Strategic Partnership for Industrial Resurgence (SPIR), with
`Packet General Networks. S3: Secure Shared Storage. $94,581. Single PI.
`
`May 2002 – Aug 2002 New York State Strategic Partnership for Industrial Resurgence (SPIR), with
`Packet General Networks. A Secure and Scalable Network Appliance. $55,676.
`Single PI.
`
`Apr 2003
`
`Microsoft Tablet PC Seed Award. $4,169. Single PI.
`
`2002
`
`2001
`
`2001
`
`AWARDS
`
`HP/Intel IA-64/IPF Second Generation Equipment gift. Linux Application Perfor-
`mance and File System Security. $131,529. Single PI.
`
`HP/Intel IA-64/IPF Equipment gift. Linux Network Scalability and File System
`Reliability. $22,490. Single PI.
`
`Red Hat University software award.
`
`Sep 2011 Best Paper Award. S. D. Stoller and E. Bartocci and J. Seyster and R. Grosu and K. Havelund
`and S. A. Smolka and E. Zadok. Runtime verification with state estimation. In proceedings of
`the 2nd International Conference on Runtime Verification (RV’11).
`
`Dec 2009 LISTnet’s “Top 20 techies of Long Island” award.
`
`Aug 2008 Service Award (for 2006–2008), Stony Brook University, Computer Science Department
`
`2008
`
`IBM Faculty award (IBM T.J. Watson Labs)
`
`2007–2008 Chancellor’s Award for Excellence in Teaching, State University of New York (SUNY).
`
`2007–2008 President’s Award for Excellence in Teaching, Stony Brook University.
`
`Aug 2006 Research Excellence Award (for 2005–2006), Stony Brook University, Computer Science De-
`partment
`
`Jul 2006
`
`IBM Faculty award (IBM Haifa Research Labs)
`
`Nov 2005 Best Short Paper Award. N. Joukov, A. Kashyap, G. Sivathanu, E. Zadok. Kefence: An Electric
`Fence for Kernel Buffers. In proceedings of the first ACM International Workshop on Storage
`Security and Survivability (StorageSS 2005), “The Paradigm Shift to Info-Centric Protection,”
`held in conjunction with the 12th ACM Conference on Computer and Communications Security
`(CCS 2005).
`
`May 2005 Best Paper Award. N. Joukov, A. Rai, and E. Zadok. Increasing Distributed Storage Survivabil-
`ity with a Stackable RAID-like File System. In proceedings of the 2005 IEEE/ACM Workshop
`on Cluster Security, in conjunction with the Fifth IEEE/ACM International Symposium on Clus-
`ter Computing and the Grid (CCGrid).
`
`5
`
`
`
`Aug 2004 Graduate Teaching and Research Award (for 2003–2004), Stony Brook University, Computer
`Science Department
`
`May 2003 Promising Inventor Award, The State University of New York, Research Foundation
`
`Sep 2002 NSF CAREER award, National Science Foundation
`
`Jun 2001
`
`Best Student Paper. M. G. Schultz, E. Eskin, E. Zadok, M. Bhattacharyya, and S. J. Stolfo. MEF:
`Malicious Email Filter — A UNIX Mail Filter that Detects Malicious Windows Executables.
`In Proceedings of the Annual USENIX Technical Conference, FreeNIX Track, pages 245–252,
`JUNE 2001.
`
`Jun 2000 Usenix Student Stipend award
`
`Jun 1999 Usenix Student Stipend award
`
`1991
`
`1991
`
`Dean’s List
`
`NCR Best Undergraduate Research Award
`
`1989–1990 Gussman Scholar
`
`1988–1989 National Dean’s List
`
`1988–1989 Scheuer Foundation Presidential Scholar
`
`1988
`
`Dean’s List
`
`PUBLICATIONS
`
`Books
`
`E. Zadok. Linux NFS and Automounter Administration. Sybex, Inc., May 2001.
`
`Journal and Magazine Articles
`
`V. Tarasov, E. Zadok, and S. Shepler. Filebench: A flexible framework for file system benchmarking.
`;login: The USENIX Magazine, 41(1):6–12, March 2016.
`
`Z. Li, M. Chen, A. Mukker, and E. Zadok. On the Trade-Offs among Performance, Energy, and
`Endurance in a Versatile Hybrid Drive. ACM Transactions on Storage (TOS), 11(3), July 2015.
`
`M. Chen, D. Hildebrand, G. Kuenning, S. Shankaranarayana, Bharat Singh, and E. Zadok. Is NFSv4.1
`ready for prime time? ;login: The USENIX Magazine, 40(3):6–12, June 2015.
`
`Zhiyuan Zhang, Kevin T. McDonnell, Erez Zadok, and Klaus Mueller. Visual correlation analysis
`of numerical and categorical data on the correlation map. IEEE Transactions on Visualization and
`Computer Graphics (TVCG), 21(2), February 2015.
`
`Michael A. Bender, Martin Farach-Colton, Rob Johnson, Russell Kraner, Bradley C. Kuszmaul, Dze-
`jla Medjedovic, Pablo Montes, Pradeep Shetty, Richard P. Spillane, and Erez Zadok. Don’t thrash:
`How to cache your hash on flash. PVLDB, 5(11):1627–1637, August 2012.
`
`J. Seyster, K. Dixit, X. Huang, R. Grosu, K. Havelund, S. A. Smolka, S. D. Stoller, and E. Zadok.
`InterAspect: Aspect-oriented instrumentation with GCC. Formal Methods in System Design, August
`2012.
`
`X. Huang, J. Seyster, S. Callanan, K. Dixit, R. Grosu, S. A. Smolka, S. D. Stoller, and E. Zadok. Soft-
`ware monitoring with controllable overhead. International Journal on Software Tools for Technology
`Transfer (STTT), 14(3):327–347, 2012.
`
`6
`
`
`
`P. Sehgal, V. Tarasov, and E. Zadok. Optimizing Energy and Performance for Server-Class File System
`Workloads. ACM Transactions on Storage (TOS), 6(3), September 2010.
`
`E. Zadok, V. Tarasov, and P. Sehgal. The case for specialized file systems, or, fighting file system
`obesity. ;login: The USENIX Magazine, 35(1):38–40, February 2010.
`
`M. T. Dougherty, M. J. Folk, E. Zadok, H. J. Bernstein, F. C. Bernstein, K. W. Eliceiri, W. Benger,
`and C. Best. Unifying biological image formats with hdf5. Communications of the ACM (CACM),
`52(10):42–47, October 2009.
`
`A. Traeger and E. Zadok. Notes on a nine year study of file system and storage benchmarking. Byte
`and Switch, July 2009. www.byteandswitch.com/storage/storage-management/notes-on-a-nine-year-
`study-of-file-system-and-storage-benchmarking.php.
`
`A. Traeger, E. Zadok, E. L. Miller, and D. D. E. Long. Findings from the first annual storage and file
`systems benchmarking workshop. ;login: The USENIX Magazine, 33(5):113–117, October 2008.
`
`A. Traeger, N. Joukov, C. P. Wright, and E. Zadok. A Nine Year Study of File System and Storage
`Benchmarking. ACM Transactions on Storage (TOS), 4(2):25–80, May 2008.
`
`C. P. Wright, R. Spillane, G. Sivathanu, and E. Zadok. Extending ACID Semantics to the File System.
`ACM Transactions on Storage (TOS), 3(2):1–42, June 2007.
`
`E. Zadok, R. Iyer, N. Joukov, G. Sivathanu, and C. P. Wright. On incremental file system development.
`ACM Transactions on Storage (TOS), 2(2):161–196, May 2006.
`
`C. P. Wright, J. Dave, P. Gupta, H. Krishnan, D. P. Quigley, E. Zadok, and M. N. Zubair. Versatility and
`unix semantics in namespace unification. ACM Transactions on Storage (TOS), 2(1):1–32, February
`2006.
`
`C. P. Wright and E. Zadok. Unionfs: Bringing File Systems Together. Linux Journal, 2004(128):24–
`29, December 2004.
`
`E. Zadok. Using the Amd Automounter. Linux Journal, 10(114):52–55, October 2003.
`
`E. Zadok. Writing Stackable File Systems. Linux Journal, 05(109):22–25, May 2003.
`
`W. Lee, W. Fan, M. Miller, S. Stolfo, and E. Zadok. Toward cost-sensitive modeling for intrusion
`detection and response. Journal of Computer Security, 10(1–2):5–22, January 2002.
`
`Refereed Conference Papers
`
`M. Chen, A. Vasudevan, K. Wang, and E. Zadok. SeMiNAS: A Secure Middleware for Wide-Area
`Network-Attached Storage. In Proceedings of the 9th ACM International Systems and Storage Con-
`ference (ACM SYSTOR ’16), Haifa, Israel, June 2016. ACM.
`
`S. Archak, S. Dixit, R.P. Spillane, and E. Zadok. Multi-tier caching, May 2016. US Patent 9,355,109.
`
`S. Mandal, G. Kuenning, D. Ok, V. Shastry, P. Shilane, S. Zhen, V. Tarasov, and E. Zadok. A long-
`term user-centric analysis of deduplication patterns. In Proceedings of the 14th USENIX Conference
`on File and Storage Technologies (FAST), Santa Clara, CA, February 2016. USENIX Association.
`
`E. Zadok and A. Arora and Z. Cao and A. Chaganti and A. Chaudhary and S. Mandal. Parametric
`Optimization of Storage Systems. In HotStorage ’15: Proceedings of the 7th USENIX Workshop on
`Hot Topics in Storage, Santa Clara, CA, July 2015.
`
`7
`
`
`
`V. Tarasov, A. Gupta, K. Sourav, S. Trehan, and E. Zadok. Terra incognita: On the practicality of
`user-space file systems. In HotStorage ’15: Proceedings of the 7th USENIX Workshop on Hot Topics
`in Storage, Santa Clara, CA, July 2015.
`
`M. Chen, D. Hildebrand, G. Kuenning, S. Shankaranarayana, B. Singh, and E. Zadok. Newer Is Some-
`times Better: An Evaluation of NFSv4.1. In Proceedings of the 2015 ACM International Conference
`on Measurement and Modeling of Computer Systems (SIGMETRICS 2015), Portland, OR, June 2015.
`ACM.
`
`M. Chen, D. Hildebrand, G. Kuenning, S. Shankaranarayana, V. Tarasov, A. Vasudevan, E. Zadok, and
`K. Zakirova. Linux NFSv4.1 Performance Under a Microscope. In Proceedings of USENIX LISA.
`USENIX Association, November 2014. Extended Abstract.
`
`V. Tarasov, D. Jain, G. Kuenning, S. Mandal, K. Palanisami, P. Shilane, and S. Trehan. Dmdedup:
`Device-mapper deduplication target. In Proceedings of the Linux Symposium, pages 83–95, Ottawa,
`Canada, July 2014.
`
`Z. Li, A. Mukker, and E. Zadok. On the Importance of Evaluating Storage Systems’ $Costs. In Pro-
`ceedings of the 6th USENIX Conference on Hot Topics in Storage and File Systems, HotStorage’14,
`2014.
`
`Vasily Tarasov, Deepak Jain, Dean Hildebrand, Renu Tewari, Geoff Kuenning, and Erez Zadok. Im-
`proving I/O performance using virtual disk introspection. In Proceedings of the USENIX Workshop
`on Hot Topics in Storage and File Systems (HotStorage), June 2013.
`
`Vasily Tarasov, Dean Hildebrand, Geoff Kuenning, and Erez Zadok. Virtual machine workloads: The
`case for new benchmarks for NAS. In Proceedings of the USENIX Conference on File and Storage
`Technologies (FAST), San Jose, CA, February 2013. USENIX Association.
`
`Pradeep J. Shetty, Richard P. Spillane, Ravikant R. Malpani, Binesh Andrews, , Justin Seyster, and
`Erez Zadok. Building Workload-Independent Storage with VT-Trees. In Proceedings of the USENIX
`Conference on File and Storage Technologies (FAST), San Jose, CA, February 2013. USENIX Asso-
`ciation.
`
`Z. Li, A. Desai, C. Bhatt, and E. Zadok. vATM: vSphere Adaptive Task Management. In In Proceed-
`ings of the Seventh International Workshop on Feedback Computing (FC’12), September 2012.
`
`David S. H. Rosenthal, Daniel C. Rosenthal, Ethan L. Miller, Ian F. Adams, Mark W. Storer, and
`Erez Zadok. The economics of long-term digital storage. In The Memory of the World in the Digital
`age: Digitization and Preservation. United Nations Educational, Scientific and Cultural Organization
`(UNESCO), September 2012.
`
`E. Bartocci, R. Grosu, A. Karmarkar, S. A. Smolka, S. D. Stoller, E. Zadok, and J. Seyster. Adaptive
`runtime verification. In Proc. 3rd International Conference on Runtime Verification (RV’12), Istanbul,
`Turkey, September 2012.
`
`M. A. Bender, M. Farach-Colton, R. Johnson, , R. Kraner, B. C. Kuszmaul, D. Medjedovic, P. Montes,
`P. Shetty, R. P. Spillane, and E. Zadok. Don’t thrash: How to cache your hash on flash. In Proceedings
`of the 38th International Conference on Very Large Data Bases (VLDB ’12), Istanbul, Turkey, August
`2012. Morgan Kaufmann.
`
`Vasily Tarasov, Gyumin Sim, Anna Povzner, and Erez Zadok. Efficient I/O scheduling with accurately
`estimated disk drive latencies. In In Proceedings of the 8th Annual Workshop on Operating Systems
`Platforms for Embedded Real-Time Applications (OSPERT’12), 2012.
`
`8
`
`
`
`V. Tarasov, A. Mudrankit, W. Buik, P. Shilane, G. Kuenning, and E. Zadok. Generating realistic
`datasets for deduplication analysis.
`In Proceedings of the Annual USENIX Technical Conference,
`Boston, MA, June 2012. USENIX Association.
`
`Z. Li, K. M. Greenan, A. W. Leung, and E. Zadok. Power Consumption in Enterprise-Scale Backup
`Storage Systems. In Proceedings of the Tenth USENIX Conference on File and Storage Technologies
`(FAST ’12), San Jose, CA, February 2012. USENIX Association.
`
`V. Tarasov, K. S. Kumar, J. Ma, D. Hildebrand, A. Povzner, G. Kuenning, and E. Zadok. Extracting
`flexible, replayable models from large block traces. In Proceedings of the Tenth USENIX Conference
`on File and Storage Technologies (FAST ’12), San Jose, CA, February 2012. USENIX Association.
`
`M.G. Schultz, E. Eskin, E. Zadok, M. Bhattacharyya, and S.S. J. Systems and methods for detection
`of new malicious executables, July 2011. US Patent 7,979,907.
`
`R. P. Spillane, P. J. Shetty, E. Zadok, S. Archak, and S. Dixit. An efficient multi-tier tablet server
`storage architecture. In Proceedings of the 2nd ACM Symposium on Cloud Computing (SOCC’11),
`Cascais, Portugal, October 2011.
`
`J. Seyster, P. Radhakrishnan, S. Katoch, A. Duggal, S. D. Stoller, and E. Zadok. Redflag: A framework
`for analysis of kernel-level concurrency. In Proc. of the 11th International Conference on Algorithms
`and Architectures for Parallel Processing (ICA3PP’11), Melbourne, Australia, October 2011.
`
`S. D. Stoller, E. Bartocci, J. Seyster, R. Grosu, K. Havelund, S. A. Smolka, and E. Zadok. Runtime
`verification with state estimation.
`In Proc. 2nd International Conference on Runtime Verification
`(RV’11), San Fransisco, CA, September 2011. (Won best paper award).
`
`Z. Li, R. Grosu, K. Muppalla, S. A. Smolka, S. D. Stoller, and E. Zadok. Model discovery for energy-
`aware computing systems: An experimental evaluation. In Proceedings of the 1st Workshop on Energy
`Consumption and Reliability of Storage Systems (ERSS’11), Orlando, FL, July 2011.
`
`M. A. Bender, M. Farach-Colton, R. Johnson, B. C. Kuszmaul, D. Medjedovic, P. Montes, P. Shetty,
`R. P. Spillane, and E. Zadok. Don’t thrash: How to cache your hash on flash. In HotStorage ’11:
`Proceedings of the 3rd USENIX Workshop on Hot Topics in Storage, June 2011.
`
`Z. Li, R. Grosu, P. Sehgal, S. A. Smolka, S. D. Stoller, and E. Zadok. On the Energy Consumption and
`Performance of Systems Software. In Proceedings of the 4th Israeli Experimental Systems Conference
`(ACM SYSTOR ’11), Haifa, Israel, May/June 2011. ACM.
`
`V. Tarasov, S. Bhanage, E. Zadok, and M. Seltzer. Benchmarking File System Benchmarking: It
`*IS* Rocket Science. In Proceedings of HotOS XIII:The 13th USENIX Workshop on Hot Topics in
`Operating Systems, Napa, CA, May 2011.
`
`J. Seyster, K. Dixit, X. Huang, R. Grosu, K. Havelund, S. A. Smolka, S. D. Stoller, and E. Zadok.
`Aspect-oriented instrumentation with GCC. In Proc. of the 1st International Conference on Runtime
`Verification (RV 2010), Lecture Notes in Computer Science. Springer, November 2010.
`
`R. Spillane, S. Dixit, S. Archak, S. Bhanage, and E. Zadok. Exporting kernel page caching for efficient
`user-level I/O. In Proceedings of the International IEEE Symposium on Mass Storage Systems and
`Technologies (MSST), Incline Village, Nevada, May 2010. IEEE.
`
`P. Sehgal, V. Tarasov, and E. Zadok. Evaluating Performance and Energy in File System Server
`Workloads.
`In Proceedings of the USENIX Conference on File and Storage Technologies (FAST),
`pages 253–266, San Jose, CA, February 2010. USENIX Association.
`
`9
`
`
`
`P. McDaniel, K. Butler, S. Mclaughlin, R. Sion, E. Zadok, and M. Winslett. Towards a Secure and
`Efficient System for End-to-End Provenance. In Proceedings of the second USENIX workshop on the
`Theory and Practice of Provenance (TAPP ’10), San Jose, CA, February 2010. USENIX Association.
`
`M.G. Schultz, E. Eskin, E. Zadok, M. Bhattacharyya, and S.J. Salvatore. System and methods for
`detection of new malicious executables, February 2009. US Patent 7,487,544.
`
`D. J. Dean, S. Callanan, and E. Zadok. The visual development of GCC plug-ins. In Proceedings of
`the 2009 GCC Developers’ Summit, Montreal, Canada, June 2009.
`
`C. Yalamanchili, G. Sivathanu, K. Vijayasankar, and E. Zadok. Dhis: Discriminating hierarchical
`storage. In Proceedings of the Second ACM Israeli Experimental Systems Conference (SYSTOR ’09),
`Haifa, Israel, May 2009. ACM.
`
`R. Kothiyal, V. Tarasov, P. Sehgal, and E. Zadok. Energy and Performance Evaluation of Lossless
`File Data Compression on Server Systems. In Proceedings of the Second ACM Israeli Experimental
`Systems Conference (SYSTOR ’09), Haifa, Israel, May 2009. ACM.
`
`R. Spillane, R. Sears, C. Yalamanchili, S. Gaikwad, M. Chinni, and E. Zadok. Story Book: An Effi-
`cient Extensible Provenance Framework. In Proceedings of the first USENIX workshop on the Theory
`and Practice of Provenance (TAPP ’09), San Francisco, CA, February 2009. USENIX Association.
`
`R. P. Spillane, S. Gaikwad, E. Zadok, C. P. Wright, and M. Chinni. Enabling transactional file ac-
`cess via lightweight kernel extensions. In Proceedings of the Seventh USENIX Conference on File
`and Storage Technologies (FAST ’09), pages 29–42, San Francisco, CA, February 2009. USENIX
`Association.
`
`In
`S. Sundararaman, G. Sivathanu, and E. Zadok. Selective versioning in a secure disk system.
`Proceedings of the 17th USENIX Security Symposium, pages 259–274, San Jose, CA, July-August
`2008. USENIX Association.
`
`A. Traeger, I. Deras, and E. Zadok. DARC: Dynamic analysis of root causes of latency distributions.
`In Proceedings of the 2008 International Conference on Measurement and Modeling of Computer
`Systems (SIGMETRICS 2008), pages 277–288, Annapolis, MD, June 2008. ACM.
`
`D. P. Quigley, K. Albrecht, and E. Zadok. PLEASE: Policy Language for Easy Administration of
`SELinux. In Proceedings of the Second annual Computer Security Conference (CSC 2008), Myrtle
`Beach, SC, April 2008.
`
`S. Callanan, D. J. Dean, M. Gorbovitski, R. Grosu, J. Seyster, S. A. Smolka, S. D. Stoller, and
`E. Zadok. Software Monitoring with Bounded Overhead.
`In Proceedings of the 2008 NSF Next
`Generation Software Workshop, in conjunction with the 2008 International Parallel and Distributed
`Processing Symposium (IPDPS 2008), Miami, FL, April 2008.
`
`E. Zadok. The layers are coming, the layers are coming. In The 2008 Linux Storage and Filesystem
`Workshop (LSF’08), San Jose, CA, February 2008. USENIX Association.
`
`K. Vijayasankar, G. Sivathanu, S. Sundararaman, and E. Zadok. Exploiting type-awareness in a self-
`recovering disk. In Proceedings of the Third ACM Workshop on Storage Security and Survivability
`(StorageSS 2007), pages 25–30, Alexandria, VA, October 2007. ACM.
`
`A. Traeger, K. Thangavelu, and E. Zadok. Round-trip privacy with NFSv4. In Proceedings of the Third
`ACM Workshop on Storage Security and Survivability (StorageSS 2007), pages 1–7, Alexandria, VA,
`October 2007. ACM.
`
`10
`
`
`
`N. Joukov, A. M. Krishnakumar, C. Patti, A. Rai, S. Satnur, A. Traeger, and E. Zadok. RAIF: Redun-
`dant Array of Independent Filesystems. In Proceedings of 24th IEEE Conference on Mass Storage
`Systems and Technologies (MSST 2007), pages 199–212, San Diego, CA, September 2007. IEEE.
`
`S. Callanan, D. J. Dean, and E. Zadok. Extending GCC with modular GIMPLE optimizations. In
`Proceedings of the 2007 GCC Developers’ Summit, pages 31–37, Ottawa, Canada, July 2007.
`
`R. P. Spillane, C. P. Wright, G. Sivathanu, and E. Zadok. Rapid file system development using ptrace.
`In Proceedings of the Workshop on Experimental Computer Science (EXPCS 2007), in conjunction
`with ACM FCRC, page Article No. 22, San Diego, CA, June 2007.
`
`J. Sipek, Y. Pericleous, and E. Zadok. Kernel Support for Stackable File Systems. In Proceedings
`of the 2007 Ottawa Linux Symposium (OLS 2007), volume 2, pages 223–227, Ottawa, Canada, June
`2007.
`
`A. D. A. Martin and E. Zadok. Autofs - an automounting file system for freebsd 6.x. In Proceedings
`of the 2007 BSDCan Technical BSD Conference, Ottawa, ON, Canada, May 2007.
`
`S. Callanan, R. Grosu, J. Seyster, S. ˜A. Smolka, and E. Zadok. Model Predictive Control for Memory
`Profiling. In Proceedings of the 2007 NSF Next Generation Software Workshop, in conjunction with
`the 2007 International Parallel and Distributed Processing Symposium (IPDPS 2007), Long beach,
`CA, March 2007.
`
`J. Sipek and E. Zadok. Making Linux Stacking-Friendly. In The 2007 Linux Storage and Filesystem
`Workshop (LSF’07), San Jose, CA, February 2007. USENIX Association.
`
`G. Sivathanu, S. Sundararaman, and E. Zadok. Type-safe disks. In Proceedings of the 7th Symposium
`on Operating Systems Design and Implementation (OSDI 2006), pages 15–28, Seattle, WA, November
`2006. ACM SIGOPS.
`
`N. Joukov, A. Traeger, R. Iyer, C. P. Wright, and E. Zadok. Operating System Profiling via Latency
`Analysis. In Proceedings of the 7th Symposium on Operating Systems Design and Implementation
`(OSDI 2006), pages 89–102, Seattle, WA, November 2006. ACM SIGOPS.
`
`In
`N. Joukov, H. Papaxenopoulos, and E. Zadok. Secure deletion myths, issues, and solutions.
`Proceedings of the Second ACM Workshop on Storage Security and Survivability (StorageSS 2006),
`pages 61–66, Alexandria, VA, October 2006. ACM.
`
`A. Traeger, N. Joukov, J. Sipek, and E. Zadok. Using free web storage for data backup. In Proceedings
`of the Second ACM Workshop on Storage Security and Survivability (StorageSS 2006), pages 73–77,
`Alexandria, VA, October 2006. ACM.
`
`D. P. Quigley, J. Sipek, C. P. Wright, and E. Zadok. UnionFS: User- and Community-oriented Devel-
`opment of a Unification Filesystem. In Proceedings of the 2006 Linux Symposium, volume 2, pages
`349–362, Ottawa, Canada, July 2006.
`
`S. Callanan, R. Grosu, X. Huang, S. A. Smolka, and E. Zadok. Compiler-Assisted Software Verifi-
`cation Using Plug-Ins. In Proceedings of the 2006 NSF Next Generation Software Workshop, in con-
`junction with the 2006 International Parallel and Distributed Processing Symposium (IPDPS 2006),
`Rhodes Island, Greece, April 2006. DOI 10.1109/IPDPS.2006.1639579.
`
`S. Callanan, R. Grosu, A. Rai, S. A. Smolka, M. R. True, and E. Zadok. Runtime Verification for High-
`Confidence Systems: A Monte Carlo Approach. In Proceedings of the Second Workshop on Model
`Based Testing (MBT 2006), held in conjunction with the European Joint Conferences on Theory and
`Practice of Software (ETAPS 2006), pages 41–53, Vienna, Austria, March 2006.
`
`11
`
`
`
`N. Joukov, T. Wong, and E. Zadok. Accurate and efficient replaying of file system traces. In Pro-
`ceedings of the USENIX Conference on File and Storage Technologies (FAST), pages 337–350, San
`Francisco, CA, December 2005. USENIX Association.
`
`N. Joukov and E. Zadok. Adding secure deletion to your favorite file system. In Proceedings of the
`third international IEEE Security In Storage Workshop (SISW 2005), pages 63–70, San Francisco,
`CA, December 2005. IEEE Computer Society.
`
`N. Joukov, A. Kashyap, G. Sivathanu, and E. Zadok. Kefence: An electric fence for kernel buffers.
`In Proceedings of the First ACM Workshop on Storage Security and Survivability (StorageSS 2005),
`pages 37–43, FairFax, VA, November 2005. ACM. (Won best short paper award).
`
`G. Sivathanu, C. P. Wright, and E. Zadok. Ensuring data integrity in storage: Techniques and appli-
`cations. In Proceedings of the First ACM Workshop on Storage Security and Survivability (StorageSS
`2005), pages 26–36, FairFax, VA, November 2005. ACM.
`
`N. Joukov, A. Rai, and E. Zadok. Increasing distributed storage survivability with a stackable raid-like
`file system. In Proceedings of the 2005 IEEE/ACM Workshop on Cluster Security, in conjunction with
`the Fifth IEEE/ACM International Symposium on Cluster