Sotabase

Career

· Ph.D. student / researcher, University of Washington2018–2023
· Researcher / Contributor, Barnard College, Columbia University

Publications (13)

Testing Dafny (experience paper)
International Symposium on Software Testing and Analysis · 2022
17
cited
A formal foundation for symbolic evaluation with merging
Proc. ACM Program. Lang. · 2022
14
cited
CompoSAT: Specification-Guided Coverage for Model Finding
World Congress on Formal Methods · 2018
14
cited
Fixing Code that Explodes Under Symbolic Evaluation
International Conference on Verification, Model Checking and Abstract Interpretation · 2020
11
cited
Rhombus: A New Spin on Macros without All the Parentheses
Proc. ACM Program. Lang. · 2023
8
cited
Generating Conforming Programs with Xsmith
International Conference on Generative Programming: Concepts and Experiences · 2023
6
cited
Event Loops as First-Class Values: A Case Study in Pedagogic Language Design
The Art, Science, and Engineering of Programming · 2019
5
cited
FPGA Technology Mapping Using Sketch-Guided Program Synthesis
International Conference on Architectural Support for Programming Languages and Operating Systems · 2024
5
cited
Formally Verified Cloud-Scale Authorization
International Conference on Software Engineering · 2025
3
cited
A Pretty Expressive Printer (with Appendices)
arXiv.org · 2023
1
cited
A Pretty Expressive Printer
Proc. ACM Program. Lang. · 2023
Integer Reasoning Modulo Different Constants in SMT
International Conference on Computer Aided Verification · 2025
Productivity Tools for Solver-Aided Programming
2023
Sotabase
Sorawee Porncharoenwase | Researcher Profile | Sotabase | Sotabase