Assure Parallel Interference Patterns in Multithreaded Programs with Permissions - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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]

The following publications are possibly variants of this publication:

Assuring Structural Parallel Programs based on Scoped PermissionsYang Zhao, Ligong Yu, Gongxuan Zhang, Jia Bei. jsw, 4(4):283-290, 2009. [doi]

Assuring Lock Usage in Multithreaded Programs with Fractional PermissionsYang Zhao, John Boyland. ASWEC 2009: 277-286 [doi]

runs on WebDSL