December 6, 2022

Guannan Wei will present Compiling Parallel Symbolic Execution with Continuations at ICSE’23!