conf.researchr.org / Xi Wang
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