I’m a third-year PhD student in the PLSE and UNSAT groups at the University of Washington, advised by Emina Torlak. My interest is in programming languages and formal methods.

Before joining grad school, I graduated from Brown University with an Sc.B. degree in CS, working with Shriram Krishnamurthi and Tim Nelson.

Publications[ dblp]

• Fixing Code That Explodes Under Symbolic Evaluation
  Sorawee Porncharoenwase, James Bornholt, Emina Torlak
  International Conference on Verification, Model Checking, and Abstract Interpretation 2020
• Event Loops as First-Class Values: A Case Study in Pedagogic Language Design
  Joe Politz, Benjamin Lerner, Sorawee Porncharoenwase, Shriram Krishnamurthi
  The Art, Science, and Engineering of Programming 2019
• CompoSAT: Specification-Guided Coverage for Model Finding
  Sorawee Porncharoenwase, Tim Nelson, Shriram Krishnamurthi
  International Symposium on Formal Methods 2018