Sorawee Porncharoenwase

16 papers A* 1A 1B 3Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2025 A* conf
Formally Verified Cloud-Scale Authorization.
ICSE
Aleks Chakarov, Jaco Geldenhuys, Matthew Heck, Michael Hicks, Sam Huang, Georges-Axel Jaloyan, Anjali Joshi, K. Rustan M. Leino, Mikael Mayer, Sean McLaughlin, Akhilesh Mritunjai, Clément Pit-Claudel, Sorawee Porncharoenwase, Florian Rabe, Marianna Rapoport, Giles Reger, Cody Roux, Neha Rungta, Robin Salkeld, Matthias Schlaipfer, Daniel Schoepe, Johanna Schwartzentruber, Serdar Tasiran, Aaron Tomb, Emina Torlak, Jean-Baptiste Tristan, Lucas G. Wagner, Michael W. Whalen, Remy Willems, Tongtong Xiang, Tae Joon Byun, Joshua M. Cohen, Ruijie Fang, Junyoung Jang, Jakob Rath, Hira Taqdees Syeda, Dominik Wagner, Yongwei Yuan
2025 — conf
Integer Reasoning Modulo Different Constants in SMT.
CAV (1)
Elizaveta Pertseva, Alex Ozdemir, Shankara Pailoor, Alp Bassa, Sorawee Porncharoenwase, Isil Dillig, Clark W. Barrett
2025 J jnl
Integer Reasoning Modulo Different Constants in SMT.
CoRR
Elizaveta Pertseva, Alex Ozdemir, Shankara Pailoor, Alp Bassa, Sorawee Porncharoenwase, Isil Dillig, Clark W. Barrett
2024 — conf
FPGA Technology Mapping Using Sketch-Guided Program Synthesis.
ASPLOS (2)
Gus Henry Smith, Benjamin Kushigian, Vishal Canumalla, Andrew Cheung, Steven Lyubomirsky, Sorawee Porncharoenwase, René Just, Gilbert Louis Bernstein, Zachary Tatlock
2024 J jnl
FPGA Technology Mapping Using Sketch-Guided Program Synthesis.
CoRR
Gus Henry Smith, Benjamin Kushigian, Vishal Canumalla, Andrew Cheung, Steven Lyubomirsky, Sorawee Porncharoenwase, René Just, Gilbert Louis Bernstein, Zachary Tatlock
2023 J jnl
A Pretty Expressive Printer (with Appendices).
CoRR
Sorawee Porncharoenwase, Justin Pombrio, Emina Torlak
2023 J jnl
A Pretty Expressive Printer.
Proc. ACM Program. Lang.
Sorawee Porncharoenwase, Justin Pombrio, Emina Torlak
2023 B conf
Generating Conforming Programs with Xsmith.
GPCE
William Gallard Hatch, Pierce Darragh, Sorawee Porncharoenwase, Guy Watson, Eric Eide
2023 — —
Productivity Tools for Solver-Aided Programming
Sorawee Porncharoenwase
2023 J jnl
Rhombus: A New Spin on Macros without All the Parentheses.
Proc. ACM Program. Lang.
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
2022 J jnl
A formal foundation for symbolic evaluation with merging.
Proc. ACM Program. Lang.
Sorawee Porncharoenwase, Luke Nelson, Xi Wang, Emina Torlak
2022 A conf
Testing Dafny (experience paper).
ISSTA
Ahmed Irfan, Sorawee Porncharoenwase, Zvonimir Rakamaric, Neha Rungta, Emina Torlak
2020 B conf
Fixing Code that Explodes Under Symbolic Evaluation.
VMCAI
Sorawee Porncharoenwase, James Bornholt, Emina Torlak
2019 J jnl
Event Loops as First-Class Values: A Case Study in Pedagogic Language Design.
CoRR
Joe Gibbs Politz, Benjamin S. Lerner, Sorawee Porncharoenwase, Shriram Krishnamurthi
2019 J jnl
Event Loops as First-Class Values: A Case Study in Pedagogic Language Design.
Art Sci. Eng. Program.
Joe Gibbs Politz, Benjamin S. Lerner, Sorawee Porncharoenwase, Shriram Krishnamurthi
2018 B conf
CompoSAT: Specification-Guided Coverage for Model Finding.
FM
Sorawee Porncharoenwase, Tim Nelson, Shriram Krishnamurthi