Sorawee Porncharoenwase -

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