Brief announcement: program regularization in verifying memory consistency - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Lei Li, Tianshi Chen, Yunji Chen, Ling Li, Cheng Qian, Weiwu Hu. Brief announcement: program regularization in verifying memory consistency. In Rajmohan Rajaraman, Friedhelm Meyer auf der Heide, editors, SPAA 2011: Proceedings of the 23rd Annual ACM Symposium on Parallelism in Algorithms and Architectures, San Jose, CA, USA, June 4-6, 2011 (Co-located with FCRC 2011). pages 265-266, ACM, 2011. [doi]

This author has not been identified. Look up 'Lei Li' in GoogleThis author has not been identified. Look up 'Tianshi Chen' in GoogleThis author has not been identified. Look up 'Yunji Chen' in GoogleThis author has not been identified. Look up 'Ling Li' in GoogleThis author has not been identified. Look up 'Cheng Qian' in GoogleThis author has not been identified. Look up 'Weiwu Hu' in Google

runs on WebDSL