Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Xi Wang
conf.researchr.org general profile
PLDI 2015 profile
PLDI 2018 profile
PLDI 2020 profile
POPL 2022 profile
SPLASH 2014 profile
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
Share
x
Thu 9 Feb 12:37