James Bornholt and Emina Torlak. Finding Code That Explodes Under Symbolic Evaluation. Object Oriented Programming, Systems, Languages, and Applications (OOPSLA), 2018.
Emina Torlak and Rastislav Bodik. Growing Solver-Aided Languages with Rosette. New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!), 2013.
Emina Torlak and Rastislav Bodik. A Lightweight Symbolic Virtual Machine for Solver-Aided Host Languages. Programming Language Design and Implementation (PLDI), 2014.