Songlin Jia -

Registered user since Mon 18 Oct 2021

Name:Songlin Jia

Contributions

ICSE 2023	Author of Compiling Parallel Symbolic Execution with Continuations within the Artifact Evaluation-track Author of Compiling Parallel Symbolic Execution with Continuations within the Technical Track-track