Ennan Zhai -

Registered user since Sat 26 Aug 2017

Name: Ennan Zhai

Affiliation: Alibaba Group

Personal website: https://ennanzhai.github.io/

Research interests: Distributed Systems, Security and Privacy, Programming Languages and Verification

Contributions

SEConfig 2019	Committee Member in Program Committee within the SEConfig 2019-track
SPLASH 2017	Author of An Auditing Language for Preventing Correlated Failures in the Cloud within the OOPSLA-track Author of Synthesizing Configuration File Specifications with Association Rule Learning within the OOPSLA-track