Assure Parallel Interference Patterns in Multithreaded Programs with Permissions

Yang Zhao, Ligong Yu, Jia Bei. Assure Parallel Interference Patterns in Multithreaded Programs with Permissions. In International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 2: Software Engineering, December 12-14, 2008, Wuhan, China. pages 668-671, IEEE Computer Society, 2008. [doi]

Authors

Yang Zhao

This author has not been identified. Look up 'Yang Zhao' in Google

Ligong Yu

This author has not been identified. Look up 'Ligong Yu' in Google

Jia Bei

This author has not been identified. Look up 'Jia Bei' in Google