Sorawee Porncharoenwase

According to our database, Sorawee Porncharoenwase authored at least 11 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023

A Pretty Expressive Printer.

Sorawee Porncharoenwase, Justin Pombrio, Emina Torlak

Proc. ACM Program. Lang., October, 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, Sorawee Porncharoenwase, Jens Axel Søgaard, Sam Tobin-Hochstadt

Proc. ACM Program. Lang., October, 2023

Productivity Tools for Solver-Aided Programming

Sorawee Porncharoenwase

PhD thesis, 2023

A Pretty Expressive Printer (with Appendices).

Sorawee Porncharoenwase, Justin Pombrio, Emina Torlak

CoRR, 2023

Generating Conforming Programs with Xsmith.

William Gallard Hatch, Pierce Darragh, Sorawee Porncharoenwase, Guy Watson, Eric Eide

Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2023

2022

A formal foundation for symbolic evaluation with merging.

Sorawee Porncharoenwase, Luke Nelson, Xi Wang, Emina Torlak

Proc. ACM Program. Lang., 2022

Testing Dafny (experience paper).

Ahmed Irfan, Sorawee Porncharoenwase, Zvonimir Rakamaric, Neha Rungta, Emina Torlak

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

2020

Fixing Code that Explodes Under Symbolic Evaluation.

Sorawee Porncharoenwase, James Bornholt, Emina Torlak

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

2019

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

2018

CompoSAT: Specification-Guided Coverage for Model Finding.

Sorawee Porncharoenwase, Tim Nelson, Shriram Krishnamurthi

Proceedings of the Formal Methods - 22nd International Symposium, 2018