Xi Wang -

Registered user since Sat 26 Aug 2017

Name:Xi Wang

Affiliation:Yale University, USA

Contributions

SPIN 2019	Author of STAD: Stack Trace Based Automatic Software Misconfiguration Diagnosis via Value Dependency Graph within the 26th International SPIN Symposium on Model Checking of Software-track
SPLASH 2017	Author of An Auditing Language for Preventing Correlated Failures in the Cloud within the OOPSLA-track