Verifying read-copy-update in a logic for weak memory - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Joseph Tassarotti, Derek Dreyer, Viktor Vafeiadis. Verifying read-copy-update in a logic for weak memory. In David Grove, Steve Blackburn, editors, Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015. pages 110-120, ACM, 2015. [doi]

This author has not been identified. Look up 'Joseph Tassarotti' in GoogleThis author has not been identified. Look up 'Derek Dreyer' in GoogleThis author has not been identified. It may be one of the following persons:

Viktor Vafeiadis

Look up 'Viktor Vafeiadis' in Google

runs on WebDSL