Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Xi Wang
conf.researchr.org general profile
ECOOP and ISSTA 2023 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
2023
ECOOP
Author of Synthesis-Aided Crash Consistency for Storage Systems within the Research Papers-track
2022
POPL
Author of A Formal Foundation for Symbolic Evaluation with Merging within the POPL-track
2020
PLDI
Committee Member in External Review Committee within the PLDI Research Papers-track
2018
PLDI
Committee Member in External Review Committee
2015
PLDI
Author of Verdi: A Framework for Formally Verifying Distributed System Implementations within the Research Papers-track
2014
SPLASH
Author of Cybertron: Pushing the Limit on I/O Reduction in Data-Parallel Programs within the OOPSLA-track
Share
x
Thu 21 Nov 13:08