Compiling Parallel Symbolic Execution with Continuations.

Guannan Wei, Songlin Jia, Ruiqi Gao, Haotian Deng, Shangyin Tan, Oliver Bracevac, Tiark Rompf

Browse the full ICSE paper archive.