Compiling Parallel Symbolic Execution with Continuations - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Guannan Wei 0001, Songlin Jia, RuiQi Gao, Haotian Deng, Shangyin Tan, Oliver Bracevac, Tiark Rompf. Compiling Parallel Symbolic Execution with Continuations. In 45th IEEE/ACM International Conference on Software Engineering, ICSE 2023, Melbourne, Australia, May 14-20, 2023. pages 1316-1328, IEEE, 2023. [doi]

This author has not been identified. Look up 'Guannan Wei 0001' in GoogleThis author has not been identified. Look up 'Songlin Jia' in GoogleThis author has not been identified. Look up 'RuiQi Gao' in GoogleThis author has not been identified. Look up 'Haotian Deng' in GoogleThis author has not been identified. Look up 'Shangyin Tan' in GoogleThis author has not been identified. Look up 'Oliver Bracevac' in GoogleThis author has not been identified. Look up 'Tiark Rompf' in Google

runs on WebDSL