Xi Wang -

Registered user since Thu 19 Feb 2015

Name:Xi Wang

Country:United States

Affiliation:University of Washington

Contributions

POPL 2022	Author of A Formal Foundation for Symbolic Evaluation with Merging within the POPL-track
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