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]
@inproceedings{ZhaoYB08, title = {Assure Parallel Interference Patterns in Multithreaded Programs with Permissions}, author = {Yang Zhao and Ligong Yu and Jia Bei}, year = {2008}, doi = {10.1109/CSSE.2008.890}, url = {http://dx.doi.org/10.1109/CSSE.2008.890}, tags = {parallel programming, programming}, researchr = {https://researchr.org/publication/ZhaoYB08}, cites = {0}, citedby = {0}, pages = {668-671}, booktitle = {International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 2: Software Engineering, December 12-14, 2008, Wuhan, China}, publisher = {IEEE Computer Society}, isbn = {978-0-7695-3336-0}, }