Registered user since Sat 26 Aug 2017

Name: Ennan Zhai

Affiliation: Yale University, USA

Personal website: http://www.cs.yale.edu/homes/zhai-ennan/

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

SPLASH 2017 Activities

• Author of An Auditing Language for Preventing Correlated Failures in the Cloud within the OOPSLA-track in SPLASH 2017
• Author of Synthesizing Configuration File Specifications with Association Rule Learning within the OOPSLA-track in SPLASH 2017
• Show activities from other conferences