Verifying optimizations of concurrent programs in the promising semantics - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Junpeng Zha, Hongjin Liang, Xinyu Feng 0001. Verifying optimizations of concurrent programs in the promising semantics. In Ranjit Jhala, Isil Dillig, editors, PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13 - 17, 2022. pages 903-917, ACM, 2022. [doi]

This author has not been identified. Look up 'Junpeng Zha' in GoogleThis author has not been identified. Look up 'Hongjin Liang' in GoogleThis author has not been identified. Look up 'Xinyu Feng 0001' in Google

runs on WebDSL