Sorawee Porncharoenwase
Sorawee Porncharoenwase
Verified email at - Homepage
Cited by
Cited by
CompoSAT: Specification-guided coverage for model finding
S Porncharoenwase, T Nelson, S Krishnamurthi
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the …, 2018
A formal foundation for symbolic evaluation with merging
S Porncharoenwase, L Nelson, X Wang, E Torlak
Proceedings of the ACM on Programming Languages 6 (POPL), 1-28, 2022
Testing Dafny (experience paper)
A Irfan, S Porncharoenwase, Z Rakamarić, N Rungta, E Torlak
Proceedings of the 31st ACM SIGSOFT International Symposium on Software …, 2022
Fixing code that explodes under symbolic evaluation
S Porncharoenwase, J Bornholt, E Torlak
International Conference on Verification, Model Checking, and Abstract …, 2020
Generating Conforming Programs with Xsmith
W Hatch, P Darragh, S Porncharoenwase, G Watson, E Eide
Proceedings of the 22nd ACM SIGPLAN International Conference on Generative …, 2023
Event loops as first-class values: a case study in pedagogic language design
J Politz, B Lerner, S Porncharoenwase, S Krishnamurthi
arXiv preprint arXiv:1902.00735, 2019
FPGA Technology Mapping Using Sketch-Guided Program Synthesis
GH Smith, B Kushigian, V Canumalla, A Cheung, S Lyubomirsky, ...
Proceedings of the 29th ACM International Conference on Architectural …, 2024
A Pretty Expressive Printer (with Appendices)
S Porncharoenwase, J Pombrio, E Torlak
arXiv preprint arXiv:2310.01530, 2023
A Pretty Expressive Printer
S Porncharoenwase, J Pombrio, E Torlak
Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 1122-1149, 2023
Rhombus: A New Spin on Macros without All the Parentheses
M Flatt, T Allred, N Angle, S De Gabrielle, RB Findler, J Firth, ...
Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 574-603, 2023
Productivity Tools for Solver-Aided Programming
S Porncharoenwase
University of Washington, 2023
The system can't perform the operation now. Try again later.
Articles 1–11