[1] Sorawee Porncharoenwase and Luke Nelson and Xi Wang and Emina Torlak. A Formal Foundation for Symbolic Evaluation with Merging. Principles of Programming Languages (POPL), 2022. (DOI)
[2] Sorawee Porncharoenwase and James Bornholt and Emina Torlak. Fixing Code That Explodes Under Symbolic Evaluation. Verification, Model Checking, and Abstract Interpretation (VMCAI), 2020. (DOI)
[3] James Bornholt and Emina Torlak. Finding Code That Explodes Under Symbolic Evaluation. Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 2018. Distinguished Artifact Award. (DOI)
[4] Stephen Chang and Alex Knauth and Emina Torlak. Symbolic Types for Lenient Symbolic Execution. Principles of Programming Languages (POPL), 2018. (DOI)
[5] Emina Torlak and Rastislav Bodik. A Lightweight Symbolic Virtual Machine for Solver-Aided Host Languages. Programming Language Design and Implementation (PLDI), 2014. (DOI)
[6] Emina Torlak and Rastislav Bodik. Growing Solver-Aided Languages with Rosette. New Ideas, New Paradigms, and Reflections on Programming & Software (Onward!), 2013. (DOI)
The Rosette Language