A lightweight symbolic virtual machine for solver-aided host languages.

Emina Torlak, Rastislav Bodk

Browse the full PLDI paper archive.