Verifying Exception-Handling Code in Concurrent Libraries

Dhriti Khanna, Subodh Sharma 0001, Rahul Purandare. Verifying Exception-Handling Code in Concurrent Libraries. In 30th Asia-Pacific Software Engineering Conference, APSEC 2023, Seoul, Republic of Korea, December 4-7, 2023. pages 405-414, IEEE, 2023. [doi]

Authors

Dhriti Khanna

This author has not been identified. Look up 'Dhriti Khanna' in Google

Subodh Sharma 0001

This author has not been identified. Look up 'Subodh Sharma 0001' in Google

Rahul Purandare

This author has not been identified. Look up 'Rahul Purandare' in Google