Ennan Zhai (翟恩南)

Associate Research Scientist
Department of Computer Science
Yale University, New Haven, CT

Email: ennan.zhai (at) yale.edu

I am an associate research scientist in the Computer Science Department at Yale University. My research focuses on building reliable and secure systems, spanning areas including distributed systems, programming languages, security, and privacy. I am currently working with Ruzica Piskac, Mahesh Balakrishnan, and Avi Silberschatz to enhance the reliability of large-scale distributed systems, by proposing efficient, accurate and deep auditing techniques. I am also working with Mariana Raykova on building a new anonymous reputation system.

I received my Ph.D. degree in 2015 from Yale University, under the guidance of Bryan Ford. My dissertation work focused on building a cloud-reliability auditing system (named Independence-as-a-Service or INDaaS) that can proactively detect deep, unexpected dependencies potentially causing cloud-scale correlated failures, which was published in OSDI'14.

I am currently on the academic job market.

Selected Publications

OOPSLA'17 An Auditing Language for Preventing Correlated Failures in the Cloud.
Ennan Zhai, Ruzica Piskac, Ronghui Gu, Xun Lao, and Xi Wang.
32th ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'17), Oct, 2017.
OOPSLA'17 Synthesizing Configuration File Specifications with Association Rule Learning.
Mark Santolucito, Ennan Zhai, Rahul Dhodapkar, Aaron Shim, and Ruzica Piskac.
32th ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'17), Oct, 2017.
FMCAD'17 Automated Repair By Example for Firewalls.
William Hallahan, Ennan Zhai, and Ruzica Piskac.
17th Formal Methods in Computer-Aided Design (FMCAD'17), Oct, 2017.
VLDB'17 Resisting Tag Spam by Leveraging Implicit User Behaviors.
Ennan Zhai, Zhenhua Li, Zhenyu Li, Fan Wu and Guihai Chen.
Proceedings of the VLDB, Vol. 10, No. 3.
43rd International Conference on Very Large Data Bases (VLDB'17), Aug, 2017
CAV'16 Probabilistic Automated Language Learning for Configuration Files.
Mark Santolucito, Ennan Zhai, and Ruzica Piskac.
28th International Conference on Computer Aided Verification (CAV'16), Jul, 2016
NSDI'16 AnonRep: Towards Tracking-Resistant Anonymous Reputation.
Ennan Zhai, David Isaac Wolinsky, Ruichuan Chen, Ewa Syta, Chao Teng, and Bryan Ford.
13th USENIX Symposium on Networked Systems Design and Implementation (NSDI'16), Mar, 2016.
[PDF]. [Talk Slides].
OSDI'14 Heading Off Correlated Failures through Independence-as-a-Service.
Ennan Zhai, Ruichuan Chen, David Isaac Wolinsky, and Bryan Ford.
11th USENIX Symposium on Operating Systems Design and Implementation (OSDI'14), Oct, 2014.
[PDF]. [Technical Report]. [Talk Slides]. [Talk Video]. [The Register News].

Teaching Experience

Professional Service

Last Update: Nov. 2017