Xi Wang -

Registered user since Thu 19 Feb 2015

Name: Xi Wang

Affiliation: University of Washington

Contributions

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