[1]

James Bornholt and Emina Torlak. Finding Code That Explodes Under Symbolic Evaluation. Object Oriented Programming, Systems, Languages, and Applications (OOPSLA), 2018.

[2]

Sorawee Porncharoenwase, Luke Nelson, Xi Wang, and Emina Torlak. A Formal Foundation for Symbolic Evaluation with Merging. Principles of Programming Languages (POPL), 2022.

[3]

Emina Torlak and Rastislav Bodik. Growing Solver-Aided Languages with Rosette. New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!), 2013.

[4]

Emina Torlak and Rastislav Bodik. A Lightweight Symbolic Virtual Machine for Solver-Aided Host Languages. Programming Language Design and Implementation (PLDI), 2014.