conf.researchr.org / Xi Wang

Registered user since Thu 19 Feb 2015

Name: Xi Wang

Affiliation: University of Washington

Contributions

PLDI 2018Committee Member in External Review Committee
PLDI 2015Author of Verdi: A Framework for Formally Verifying Distributed System Implementations within the Research Papers-track
SPLASH 2014Author of Cybertron: Pushing the Limit on I/O Reduction in Data-Parallel Programs within the OOPSLA-track