Sorawee Porncharoenwase

Identifiers

• name variant Sorawee Porncharoenwase 0.60 · backfill

Papers (3)

1. Integer Reasoning Modulo Different Constants in SMT cs.LO · 2025 · author #5
2. FPGA Technology Mapping Using Sketch-Guided Program Synthesis cs.AR · 2024 · author #6
3. A Pretty Expressive Printer (with Appendices) cs.PL · 2023 · author #1

Mentions

• 2505.14998 #5 · arxiv_oai · confidence 0.70 Sorawee Porncharoenwase
• 2401.16526 #6 · arxiv_oai · confidence 0.70 Sorawee Porncharoenwase
• 2310.01530 #1 · arxiv_oai · confidence 0.70 Sorawee Porncharoenwase

Frequent Coauthors

• Alex Ozdemir 1 shared papers
• Alp Bassa 1 shared papers
• Andrew Cheung 1 shared papers
• Ben Kushigian 1 shared papers
• Clark Barrett 1 shared papers
• Elizaveta Pertseva 1 shared papers
• Emina Torlak 1 shared papers
• Gilbert Louis Bernstein 1 shared papers
• Gus Henry Smith 1 shared papers
• I\c{s}il Dillig 1 shared papers
• Justin Pombrio 1 shared papers
• Ren\'e Just 1 shared papers
• Shankara Pailoor 1 shared papers
• Steven Lyubomirsky 1 shared papers
• Vishal Canumalla 1 shared papers
• Zachary Tatlock 1 shared papers