Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Sorawee Porncharoenwase
conf.researchr.org general profile
ISSTA 2022 profile
POPL 2020 profile
POPL 2022 profile
Not registered as user yet
Name:
Sorawee Porncharoenwase
Country:
United States
Affiliation:
University of Washington
Contributions
ISSTA 2022
Author of Testing Dafny (Experience Paper) within the Technical Papers-track
POPL 2022
Author of A Formal Foundation for Symbolic Evaluation with Merging within the POPL-track
VMCAI 2020
Author of Fixing Code That Explodes Under Symbolic Evaluation within the VMCAI 2020-track
Share
x
Fri 2 Jun 16:58