| 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 | 16 | 2022 |
| 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 | 16 | 2022 |
| 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 | 16 | 2018 |
| 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 | 10 | 2023 |
| Fixing code that explodes under symbolic evaluation S Porncharoenwase, J Bornholt, E Torlak International Conference on Verification, Model Checking, and Abstract …, 2020 | 6 | 2020 |
| 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 | 5 | 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 | 4 | 2024 |
| A Pretty Expressive Printer (with Appendices) S Porncharoenwase, J Pombrio, E Torlak arXiv preprint arXiv:2310.01530, 2023 | 1 | 2023 |
| Formally verified cloud-scale authorization A Chakarov, J Geldenhuys, M Heck, M Hicks, S Huang, GA Jaloyan, ... | | 2025 |
| 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 |
