Wei Zhang, Chong Sun, Shan Lu. ConMem: detecting severe concurrency bugs through an effect-oriented approach. In James C. Hoe, Vikram S. Adve, editors, Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2010, Pittsburgh, Pennsylvania, USA, March 13-17, 2010. pages 179-192, ACM, 2010. [doi]
@inproceedings{ZhangSL10,
title = {ConMem: detecting severe concurrency bugs through an effect-oriented approach},
author = {Wei Zhang and Chong Sun and Shan Lu},
year = {2010},
doi = {10.1145/1736020.1736041},
url = {http://doi.acm.org/10.1145/1736020.1736041},
tags = {systematic-approach},
researchr = {https://researchr.org/publication/ZhangSL10},
cites = {0},
citedby = {0},
pages = {179-192},
booktitle = {Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2010, Pittsburgh, Pennsylvania, USA, March 13-17, 2010},
editor = {James C. Hoe and Vikram S. Adve},
publisher = {ACM},
isbn = {978-1-60558-839-1},
}