Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Sorawee Porncharoenwase
conf.researchr.org general profile
ECOOP and ISSTA 2023 profile
ISSTA 2022 profile
PLDI 2024 profile
POPL 2020 profile
POPL 2022 profile
SPLASH 2023 profile
SPLASH 2024 profile
Registered user since Tue 8 Aug 2023
Name:
Sorawee Porncharoenwase
Country:
United States
Affiliation:
University of Washington
Contributions
2024
SPLASH
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
PLDI
Committee Member in Organizing Committee within the SRC-track
2023
GPCE
Author of Generating Conforming Programs With Xsmith within the GPCE 2023-track
SPLASH
Author of Rhombus: A New Spin on Macros without All the Parentheses within the OOPSLA-track
Author of A Pretty Expressive Printer within the OOPSLA-track
ECOOP/ISSTA
Committee Member in Program Committee within the Student Research Competition-track
2022
ISSTA
Author of Testing Dafny (Experience Paper) within the Technical Papers-track
POPL
Author of A Formal Foundation for Symbolic Evaluation with Merging within the POPL-track
2020
VMCAI
Author of Fixing Code That Explodes Under Symbolic Evaluation within the VMCAI 2020-track
Share
x
Mon 2 Dec 12:43