Folgen
Sorawee Porncharoenwase
Sorawee Porncharoenwase
Bestätigte E-Mail-Adresse bei cs.washington.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
132018
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
82022
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
62022
Fixing code that explodes under symbolic evaluation
S Porncharoenwase, J Bornholt, E Torlak
International Conference on Verification, Model Checking, and Abstract …, 2020
62020
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
42019
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
22023
A Pretty Expressive Printer (with Appendices)
S Porncharoenwase, J Pombrio, E Torlak
arXiv preprint arXiv:2310.01530, 2023
12023
FPGA Technology Mapping Using Sketch-Guided Program Synthesis
GH Smith, B Kushigian, V Canumalla, A Cheung, S Lyubomirsky, ...
arXiv preprint arXiv:2401.16526, 2024
2024
A Pretty Expressive Printer
S Porncharoenwase, J Pombrio, E Torlak
Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 1122-1149, 2023
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
2023
Productivity Tools for Solver-Aided Programming
S Porncharoenwase
University of Washington, 2023
2023
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–11