Sorawee Porncharoenwase

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 12

Top Topics

Design Parameters

Recursive Programs

Program Synthesis

Fpga Technology

Top Venues

Proc. ACM Program. Lang.

Publications

Gus Henry Smith, Benjamin Kushigian, Vishal Canumalla, Andrew Cheung, Steven Lyubomirsky, Sorawee Porncharoenwase, René Just, Gilbert Louis Bernstein, Zachary Tatlock
FPGA Technology Mapping Using Sketch-Guided Program Synthesis. ASPLOS (2) (2024)
Gus Henry Smith, Benjamin Kushigian, Vishal Canumalla, Andrew Cheung, Steven Lyubomirsky, Sorawee Porncharoenwase, René Just, Gilbert Louis Bernstein, Zachary Tatlock
FPGA Technology Mapping Using Sketch-Guided Program Synthesis. CoRR (2024)
Matthew Flatt, Taylor Allred, Nia Angle, Stephen De Gabrielle, Robert Bruce Findler, Jack Firth, Kiran Gopinathan, Ben Greenman, Siddhartha Kasivajhula, Alex Knauth, Jay McCarthy, Sam Phillips, Sorawee Porncharoenwase, Jens Axel Søgaard, Sam Tobin-Hochstadt
Rhombus: A New Spin on Macros without All the Parentheses. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
William Gallard Hatch, Pierce Darragh, Sorawee Porncharoenwase, Guy Watson, Eric Eide
Generating Conforming Programs with Xsmith. GPCE (2023)
Sorawee Porncharoenwase, Justin Pombrio, Emina Torlak
A Pretty Expressive Printer (with Appendices). CoRR (2023)
Sorawee Porncharoenwase, Justin Pombrio, Emina Torlak
A Pretty Expressive Printer. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Sorawee Porncharoenwase, Luke Nelson, Xi Wang, Emina Torlak
A formal foundation for symbolic evaluation with merging. Proc. ACM Program. Lang. 6 (POPL) (2022)
Ahmed Irfan, Sorawee Porncharoenwase, Zvonimir Rakamaric, Neha Rungta, Emina Torlak
Testing Dafny (experience paper). ISSTA (2022)
Sorawee Porncharoenwase, James Bornholt, Emina Torlak
Fixing Code that Explodes Under Symbolic Evaluation. VMCAI (2020)
Joe Gibbs Politz, Benjamin S. Lerner, Sorawee Porncharoenwase, Shriram Krishnamurthi
Event Loops as First-Class Values: A Case Study in Pedagogic Language Design. CoRR (2019)
Joe Gibbs Politz, Benjamin S. Lerner, Sorawee Porncharoenwase, Shriram Krishnamurthi
Event Loops as First-Class Values: A Case Study in Pedagogic Language Design. Art Sci. Eng. Program. 3 (3) (2019)
Sorawee Porncharoenwase, Tim Nelson, Shriram Krishnamurthi
CompoSAT: Specification-Guided Coverage for Model Finding. FM (2018)