CompoSAT: Specification-Guided Coverage for Model Finding. - Sorawee Porncharoenwase; Tim Nelson; Shriram Krishnamurthi (FM, 2018)

Event Loops as First-Class Values: A Case Study in Pedagogic Language Design. - Joe Gibbs Politz; Benjamin S. Lerner; Sorawee Porncharoenwase; Shriram Krishnamurthi (Art Sci. Eng. Program., 2019)

Fixing Code that Explodes Under Symbolic Evaluation. - Sorawee Porncharoenwase; James Bornholt; Emina Torlak (VMCAI, 2020)

Testing Dafny (experience paper). - Ahmed Irfan; Sorawee Porncharoenwase; Zvonimir Rakamaric; Neha Rungta; Emina Torlak (ISSTA, 2022)

A formal foundation for symbolic evaluation with merging. - Sorawee Porncharoenwase; Luke Nelson; Xi Wang 005; Emina Torlak (Proc. ACM Program. Lang., 2022)

Generating Conforming Programs with Xsmith. - William Gallard Hatch; Pierce Darragh; Sorawee Porncharoenwase; Guy Watson; Eric Eide (GPCE, 2023)

A Pretty Expressive Printer (with Appendices). - Sorawee Porncharoenwase; Justin Pombrio; Emina Torlak (CoRR, 2023)

Productivity Tools for Solver-Aided Programming - Sorawee Porncharoenwase (2023)

Rhombus: A New Spin on Macros without All the Parentheses. - Matthew Flatt; Taylor Allred; Nia Angle; Stephen De Gabrielle; Robert Bruce Findler; Jack Firth; Kiran Gopinathan; Ben Greenman; Siddhartha Kasivajhula; Alex Knauth; Jay A. McCarthy; Sam Phillips; et al. (Proc. ACM Program. Lang., 2023)

A Pretty Expressive Printer. - Sorawee Porncharoenwase; Justin Pombrio; Emina Torlak (Proc. ACM Program. Lang., 2023)

FPGA Technology Mapping Using Sketch-Guided Program Synthesis. - Gus Henry Smith; Benjamin Kushigian; Vishal Canumalla; Andrew Cheung; Steven Lyubomirsky; Sorawee Porncharoenwase; René Just; Gilbert Louis Bernstein; Zachary Tatlock (ASPLOS (2), 2024)

Integer Reasoning Modulo Different Constants in SMT. - Elizaveta Pertseva; Alex Ozdemir; Shankara Pailoor; Alp Bassa; Sorawee Porncharoenwase; Isil Dillig; Clark W. Barrett (CAV (1), 2025)

Formally Verified Cloud-Scale Authorization. - Aleks Chakarov; Jaco Geldenhuys; Matthew Heck; Michael Hicks 001; Sam Huang; Georges-Axel Jaloyan; Anjali Joshi; K. Rustan M. Leino; Mikael Mayer; Sean McLaughlin; Akhilesh Mritunjai; Clément Pit-Claudel; et al. (ICSE, 2025)