Ennan Zhai

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 58

Top Topics

Comparative Study

Service Selection

Top Venues

Publications

Xieyang Xu, Yifei Yuan, Zachary Kincaid, Arvind Krishnamurthy, Ratul Mahajan, David Walker, Ennan Zhai
Relational Network Verification. SIGCOMM (2024)
Jianbo Dong, Bin Luo, Jun Zhang, Pengcheng Zhang, Fei Feng, Yikai Zhu, Ang Liu, Zian Chen, Yi Shi, Hairong Jiao, Gang Lu, Yu Guan, Ennan Zhai, Wencong Xiao, Hanyu Zhao, Man Yuan, Siran Yang, Xiang Li, Jiamang Wang, Rui Men, Jianwei Zhang, Huang Zhong, Dennis Cai, Yuan Xie, Binzhang Fu
Boosting Large-scale Parallel Training Efficiency with C4: A Communication-Driven Approach. CoRR (2024)
Ruihan Li, Yifei Yuan, Fangdan Ye, Mengqi Liu, Ruizhen Yang, Yang Yu, Tianchen Guo, Qing Ma, Xianlong Zeng, Chenren Xu, Dennis Cai, Ennan Zhai
A General and Efficient Approach to Verifying Traffic Load Properties under Arbitrary k Failures. SIGCOMM (2024)
Xieyang Xu, Yifei Yuan, Zachary Kincaid, Arvind Krishnamurthy, Ratul Mahajan, David Walker, Ennan Zhai
Relational Network Verification. CoRR (2024)
Jiamin Cao, Yu Guan, Kun Qian, Jiaqi Gao, Wencong Xiao, Jianbo Dong, Binzhang Fu, Dennis Cai, Ennan Zhai
Crux: GPU-Efficient Communication Scheduling for Deep Learning Training. SIGCOMM (2024)
Xiangyu Gao, Jiaqi Gao, Karan Kumar G., Ennan Zhai, Srinivas Narayana, Anirudh Sivaraman
Cross-Platform Transpilation of Packet-Processing Programs using Program Synthesis. APNet (2024)
Ruihan Li, Fangdan Ye, Yifei Yuan, Ruizhen Yang, Bingchuan Tian, Tianchen Guo, Hao Wu, Xiaobo Zhu, Zhongyu Guan, Qing Ma, Xianlong Zeng, Chenren Xu, Dennis Cai, Ennan Zhai
Reasoning about Network Traffic Load Property at Production Scale. NSDI (2024)
Yifei Xu, Yuning Chen, Xumiao Zhang, Xianshang Lin, Pan Hu, Yunfei Ma, Songwu Lu, Wan Du, Zhuoqing Mao, Ennan Zhai, Dennis Cai
CloudEval-YAML: A Practical Benchmark for Cloud Configuration Generation. CoRR (2024)
Tian Pan, Kun Liu, Xionglie Wei, Yisong Qiao, Jun Hu, Zhiguo Li, Jun Liang, Tiesheng Cheng, Wenqiang Su, Jie Lu, Yuke Hong, Zhengzhong Wang, Zhi Xu, Chongjing Dai, Peiqiao Wang, Xuetao Jia, Jianyuan Lu, Enge Song, Jun Zeng, Biao Lyu, Ennan Zhai, Jiao Zhang, Tao Huang, Dennis Cai, Shunmin Zhu
LuoShen: A Hyper-Converged Programmable Gateway for Multi-Tenant Multi-Service Edge Clouds. NSDI (2024)
Kun Qian, Yongqing Xi, Jiamin Cao, Jiaqi Gao, Yichi Xu, Yu Guan, Binzhang Fu, Xuemei Shi, Fangbo Zhu, Rui Miao, Chao Wang, Peng Wang, Pengcheng Zhang, Xianlong Zeng, Eddie Ruan, Zhiping Yao, Ennan Zhai, Dennis Cai
Alibaba HPN: A Data Center Network for Large Language Model Training. SIGCOMM (2024)
Jiaqi Gao, Jiamin Cao, Yifan Li, Mengqi Liu, Ming Tang, Dennis Cai, Ennan Zhai
Sirius: Composing Network Function Chains into P4-Capable Edge Gateways. NSDI (2024)
Yifei Xu, Yuning Chen, Xumiao Zhang, Xianshang Lin, Pan Hu, Yunfei Ma, Songwu Lu, Wan Du, Zhuoqing Mao, Ennan Zhai, Dennis Cai
CloudEval-YAML: A Practical Benchmark for Cloud Configuration Generation. MLSys (2024)
Junyi Shu, Kun Qian, Ennan Zhai, Xuanzhe Liu, Xin Jin
Burstable Cloud Block Storage with Data Processing Units. OSDI (2024)
Bingyang Wu, Kun Qian, Bo Li, Yunfei Ma, Qi Zhang, Zhigang Jiang, Jiayu Zhao, Dennis Cai, Ennan Zhai, Xuanzhe Liu, Xin Jin
XRON: A Hybrid Elastic Cloud Overlay Network for Video Conferencing at Planetary Scale. SIGCOMM (2023)
Kaihui Gao, Shuai Wang, Kun Qian, Dan Li, Rui Miao, Bo Li, Yu Zhou, Ennan Zhai, Chen Sun, Jiaqi Gao, Dai Zhang, Binzhang Fu, Frank Kelly, Dennis Cai, Hongqiang Harry Liu, Yan Li, Hongwei Yang, Tao Sun
Dependable Virtualized Fabric on Programmable Data Plane. IEEE/ACM Trans. Netw. 31 (4) (2023)
Yunzhe Ni, Zhilong Zheng, Xianshang Lin, Fengyu Gao, Xuan Zeng, Yirui Liu, Tao Xu, Hua Wang, Zhidong Zhang, Senlang Du, Guang Yang, Yuanchao Su, Dennis Cai, Hongqiang Harry Liu, Chenren Xu, Ennan Zhai, Yunfei Ma
CellFusion: Multipath Vehicle-to-Cloud Video Streaming with Network Coding in the Wild. SIGCOMM (2023)
Naiqian Zheng, Mengqi Liu, Yuxing Xiang, Linjian Song, Dong Li, Feng Han, Nan Wang, Yong Ma, Zhuo Liang, Dennis Cai, Ennan Zhai, Xuanzhe Liu, Xin Jin
Automated Verification of an In-Production DNS Authoritative Engine. SOSP (2023)
Yanqing Chen, Bingchuan Tian, Chen Tian, Li Dai, Yu Zhou, Mengjing Ma, Ming Tang, Hao Zheng, Zhewen Yang, Guihai Chen, Dennis Cai, Ennan Zhai
Norma: Towards Practical Network Load Testing. NSDI (2023)
Yifan Li, Jiaqi Gao, Ennan Zhai, Mengqi Liu, Kun Liu, Hongqiang Harry Liu
Cetus: Releasing P4 Programmers from the Chore of Trial and Error Compiling. NSDI (2022)
Shuai Wang, Kaihui Gao, Kun Qian, Dan Li, Rui Miao, Bo Li, Yu Zhou, Ennan Zhai, Chen Sun, Jiaqi Gao, Dai Zhang, Binzhang Fu, Frank Kelly, Dennis Cai, Hongqiang Harry Liu, Ming Zhang
Predictable vFabric on informative data plane. SIGCOMM (2022)
Mark Santolucito, Jialu Zhang, Ennan Zhai, Jürgen Cito, Ruzica Piskac
Learning CI Configuration Correctness for Early Build Feedback. SANER (2022)
Naiqian Zheng, Mengqi Liu, Ennan Zhai, Hongqiang Harry Liu, Yifan Li, Kaicheng Yang, Xuanzhe Liu, Xin Jin
Meissa: scalable network testing for programmable data planes. SIGCOMM (2022)
Bingchuan Tian, Jiaqi Gao, Mengqi Liu, Ennan Zhai, Yanqing Chen, Yu Zhou, Li Dai, Feng Yan, Mengjing Ma, Ming Tang, Jie Lu, Xionglie Wei, Hongqiang Harry Liu, Ming Zhang, Chen Tian, Minlan Yu
Aquila: a practically usable verification system for production-scale programmable data planes. SIGCOMM (2021)
Alan Tang, Siva Kesava Reddy Kakarla, Ryan Beckett, Ennan Zhai, Matt Brown, Todd D. Millstein, Yuval Tamir, George Varghese
Campion: debugging router configuration differences. SIGCOMM (2021)
Jialu Zhang, Ruzica Piskac, Ennan Zhai, Tianyin Xu
Static detection of silent misconfigurations with deep interaction analysis. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Ennan Zhai, Ang Chen, Ruzica Piskac, Mahesh Balakrishnan, Bingchuan Tian, Bo Song, Haoliang Zhang
Check before You Change: Preventing Correlated Failures in Service Updates. NSDI (2020)
Jian Chen, Minghao Zhao, Zhenhua Li, Ennan Zhai, Feng Qian, Hongyi Chen, Yunhao Liu, Tianyin Xu
Lock-Free Collaboration Support for Cloud Storage Services with Operation Inference and Transformation. FAST (2020)
William T. Hallahan, Ennan Zhai, Ruzica Piskac
Automated repair by example for firewalls. Formal Methods Syst. Des. 56 (1) (2020)
Jinlong E, Yong Cui, Zhenhua Li, Mingkang Ruan, Ennan Zhai
HyCloud: Tweaking Hybrid Cloud Storage Services for Cost-Efficient Filesystem Hosting. IEEE/ACM Trans. Netw. 28 (6) (2020)
Ludovic Barman, Italo Dacosta, Mahdi Zamani, Ennan Zhai, Apostolos Pyrgelis, Bryan Ford, Joan Feigenbaum, Jean-Pierre Hubaux
PriFi: Low-Latency Anonymity for Organizational Networks. Proc. Priv. Enhancing Technol. 2020 (4) (2020)
Jiaqi Gao, Ennan Zhai, Hongqiang Harry Liu, Rui Miao, Yu Zhou, Bingchuan Tian, Chen Sun, Dennis Cai, Ming Zhang, Minlan Yu
Lyra: A Cross-Platform Language and Compiler for Data Plane Programming on Heterogeneous ASICs. SIGCOMM (2020)
Kuo-Hui Yeh, Weizhi Meng, SK Hafizul Islam, Kuan Zhang, Ennan Zhai
IEEE Access Special Section Editorial: Security and Privacy for Cloud and IoT. IEEE Access 8 (2020)
Fangdan Ye, Da Yu, Ennan Zhai, Hongqiang Harry Liu, Bingchuan Tian, Qiaobo Ye, Chunsheng Wang, Xin Wu, Tianchen Guo, Cheng Jin, Duncheng She, Qing Ma, Biao Cheng, Hui Xu, Ming Zhang, Zhiliang Wang, Rodrigo Fonseca
Accuracy, Scalability, Coverage: A Practical Configuration Verifier on a Global WAN. SIGCOMM (2020)
Qifan Yang, Zhenhua Li, Yunhao Liu, Hai Long, Yuanchao Huang, Jiaming He, Tianyin Xu, Ennan Zhai
Mobile Gaming on Personal Computers with Direct Android Emulation. MobiCom (2019)
Yuxuan Yan, Zhenhua Li, Qi Alfred Chen, Christo Wilson, Tianyin Xu, Ennan Zhai, Yong Li, Yunhao Liu
Understanding and Detecting Overlay-based Android Malware at Market Scales. MobiSys (2019)
Bingchuan Tian, Xinyi Zhang, Ennan Zhai, Hongqiang Harry Liu, Qiaobo Ye, Chunsheng Wang, Xin Wu, Zhiming Ji, Yihong Sang, Ming Zhang, Da Yu, Chen Tian, Haitao Zheng, Ben Y. Zhao
Safely and automatically updating in-network ACL configurations with intent language. SIGCOMM (2019)
Fan Dang, Zhenhua Li, Yunhao Liu, Ennan Zhai, Qi Alfred Chen, Tianyin Xu, Yan Chen, Jingyu Yang
Understanding Fileless Attacks on Linux-based IoT Devices with HoneyCloud. MobiSys (2019)
Jinlong E, Yong Cui, Mingkang Ruan, Zhenhua Li, Ennan Zhai
HyCloud: Tweaking Hybrid Cloud Storage Services for Cost-Efficient Filesystem Hosting. INFOCOM (2019)
Zhenhua Li, Yongfeng Zhang, Yunhao Liu, Tianyin Xu, Ennan Zhai, Yao Liu, Xiaobo Ma, Zhenyu Li
A Quantitative and Comparative Study of Network-Level Efficiency for Cloud Storage Services. ACM Trans. Model. Perform. Evaluation Comput. Syst. 4 (1) (2019)
Qifan Yang, Xinlei Yang, Zhenhua Li, Yunhao Liu, Rui Zhou, Guoyang Du, Ziwen Wu, Tianyin Xu, Ennan Zhai
Demo: Mobile Gaming on Personal Computers with Direct Android Emulation. MobiCom (2019)
Fan Dang, Ennan Zhai, Zhenhua Li, Pengfei Zhou, Aziz Mohaisen, Kaigui Bian, Qingfu Wen, Mo Li
Pricing Data Tampering in Automated Fare Collection with NFC-Equipped Smartphones. IEEE Trans. Mob. Comput. 18 (5) (2019)
He Xiao, Zhenhua Li, Ennan Zhai, Tianyin Xu, Yang Li, Yunhao Liu, Quanlu Zhang, Yao Liu
Towards Web-based Delta Synchronization for Cloud Storage Services. FAST (2018)
Xi Chen, Zhenhua Li, Zhenyu Li, Tianyin Xu, Ennan Zhai, Yao Liu, Minghao Zhao, Yunhao Liu
Minimizing the Cask Effect of Multi-Source Content Delivery. IWQoS (2018)
Mark Santolucito, Jialu Zhang, Ennan Zhai, Ruzica Piskac
Statically Verifying Continuous Integration Configurations. CoRR (2018)
Minghao Zhao, Zhenhua Li, Ennan Zhai, Gareth Tyson, Chen Qian, Zhenyu Li, Leiyu Zhao
H2Cloud: Maintaining the Whole Filesystem in an Object Storage Cloud. ICPP (2018)
Mingkang Ruan, Thierry Titcheu, Ennan Zhai, Zhenhua Li, Yao Liu, Jinlong E, Yong Cui, Hong Xu
On the Synchronization Bottleneck of OpenStack Swift-Like Cloud Storage Systems. IEEE Trans. Parallel Distributed Syst. 29 (9) (2018)
He Xiao, Zhenhua Li, Ennan Zhai, Tianyin Xu
Practical Web-based Delta Synchronization for Cloud Storage Services. HotStorage (2017)
Ennan Zhai, Ruzica Piskac, Ronghui Gu, Xun Lao, Xi Wang
An auditing language for preventing correlated failures in the cloud. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Fan Dang, Pengfei Zhou, Zhenhua Li, Ennan Zhai, Aziz Mohaisen, Qingfu Wen, Mo Li
Large-scale invisible attack on AFC systems with NFC-equipped smartphones. INFOCOM (2017)
Zhen Lu, Zhenhua Li, Jian Yang, Tianyin Xu, Ennan Zhai, Yao Liu, Christo Wilson
Accessing google scholar under extreme internet censorship: a legal avenue. Middleware Industry (2017)
Ludovic Barman, Italo Dacosta, Mahdi Zamani, Ennan Zhai, Bryan Ford, Jean-Pierre Hubaux, Joan Feigenbaum
PriFi: A Low-Latency Local-Area Anonymous Communication Network. CoRR (2017)
Mark Santolucito, Ennan Zhai, Rahul Dhodapkar, Aaron Shim, Ruzica Piskac
Synthesizing configuration file specifications with association rule learning. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
William T. Hallahan, Ennan Zhai, Ruzica Piskac
Automated repair by example for firewalls. FMCAD (2017)
Ennan Zhai, Zhenhua Li, Zhenyu Li, Fan Wu, Guihai Chen
Resisting Tag Spam by Leveraging Implicit User Behaviors. Proc. VLDB Endow. 10 (3) (2016)
John Maheswaran, Daniel Jackowitz, Ennan Zhai, David Isaac Wolinsky, Bryan Ford
Building Privacy-Preserving Cryptographic Credentials from Federated Online Identities. CODASPY (2016)
Mark Santolucito, Ennan Zhai, Ruzica Piskac
Probabilistic Automated Language Learning for Configuration Files. CAV (2) (2016)
Ennan Zhai, David Isaac Wolinsky, Ruichuan Chen, Ewa Syta, Chao Teng, Bryan Ford
AnonRep: Towards Tracking-Resistant Anonymous Reputation. NSDI (2016)
Thierry Titcheu Chekam, Ennan Zhai, Zhenhua Li, Yong Cui, Kui Ren
On the synchronization bottleneck of OpenStack Swift-like cloud storage systems. INFOCOM (2016)
Weiyi Wu, Ennan Zhai, Daniel Jackowitz, David Isaac Wolinsky, Liang Gu, Bryan Ford
Warding off timing attacks in Deterland. CoRR (2015)
Ennan Zhai, Liang Gu, Yumei Hai
A Risk-Evaluation Assisted System for Service Selection. ICWS (2015)
Ennan Zhai, Ruichuan Chen, David Isaac Wolinsky, Bryan Ford
Heading Off Correlated Failures through Independence-as-a-Service. OSDI (2014)
Ennan Zhai, Ruichuan Chen, David Isaac Wolinsky, Bryan Ford
An untold story of redundant clouds: making your service deployment truly reliable. HotDep (2013)
Jianchun Jiang, Liping Ding, Ennan Zhai, Ting Yu
VRank: A Context-Aware Approach to Vulnerability Scoring and Ranking in SOA. SERE (2012)
Yonggang Wang, Ennan Zhai, Eng Keong Lua, Jian-bin Hu, Zhong Chen
iSac: Intimacy Based Access Control for Social Network Sites. UIC/ATC (2012)
Cong Sun, Ennan Zhai, Zhong Chen, Jianfeng Ma
A Multi-compositional Enforcement on Information Flow Security. ICICS (2011)
Ennan Zhai, Liping Ding, Sihan Qing
Towards a Reliable Spam-Proof Tagging System. SSIRI (2011)
Ennan Zhai, Qingni Shen, Yonggang Wang, Tao Yang, Liping Ding, Sihan Qing
SecGuard: Secure and Practical Integrity Protection Model for Operating Systems. APWeb (2011)
Ennan Zhai, Huiping Sun, Sihan Qing, Zhong Chen
Sorcery: Overcoming deceptive votes in P2P content sharing systems. Peer-to-Peer Netw. Appl. 4 (2) (2011)
Yonggang Wang, Ennan Zhai, Cui Cao, Yongqiang Xie, Zhaojun Wang, Jian-bin Hu, Zhong Chen
DSpam: Defending Against Spam in Tagging Systems via Users' Reliability. ICPADS (2010)
Yonggang Wang, Ennan Zhai, Jian-bin Hu, Zhong Chen
Claper: Recommend classical papers to beginners. FSKD (2010)
Nike Gui, Ennan Zhai, Jian-bin Hu, Zhong Chen
SWORDS: Improving Sensor Networks Immunity under Worm Attacks. WAIM (2010)
Ennan Zhai, Ruichuan Chen, Zhuhua Cai, Long Zhang, Eng Keong Lua, Huiping Sun, Sihan Qing, Liyong Tang, Zhong Chen
Sorcery: Could We Make P2P Content Sharing Systems Robust to Deceivers?. Peer-to-Peer Computing (2009)
Ennan Zhai, Ruichuan Chen, Eng Keong Lua, Long Zhang, Huiping Sun, Zhuhua Cai, Sihan Qing, Zhong Chen
SpamResist: Making Peer-to-Peer Tagging Systems Robust to Spam. GLOBECOM (2009)
Ennan Zhai, Huiping Sun, Sihan Qing, Zhong Chen
SpamClean: Towards Spam-Free Tagging Systems. CSE (4) (2009)
Bo Liu, Ennan Zhai, Huiping Sun, Yelu Chen, Zhong Chen
Filtering Spam in Social Tagging System with Dynamic Behavior Analysis. ASONAM (2009)