Efficient data race detection of async-finish programs using vector clocks

Shivam Kumar, Anupam Agrawal, Swarnendu Biswas. Efficient data race detection of async-finish programs using vector clocks. In PMAM@PPoPP 2022: Proceedings of the Thirteenth International Workshop on Programming Models and Applications for Multicores and Manycores, Virtual Event / Seoul, Republic of Korea, April 2 - 6, 2022. pages 45-54, ACM, 2022. [doi]

Authors

Shivam Kumar

This author has not been identified. Look up 'Shivam Kumar' in Google

Anupam Agrawal

This author has not been identified. Look up 'Anupam Agrawal' in Google

Swarnendu Biswas

This author has not been identified. Look up 'Swarnendu Biswas' in Google