• Sign in
  • Sign up
conf.researchr.org / Xi Wang
  • 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
xThu 9 Feb 12:37
using conf.researchr.org (v1.58.0)
Support page
Sign Up