Chaiyasit Manovit, Sudheendra Hangal. Completely verifying memory consistency of test program executions. In 12th International Symposium on High-Performance Computer Architecture, HPCA-12 2006, Austin, Texas, February 11-15, 2006. pages 166-175, IEEE Computer Society, 2006. [doi]
@inproceedings{ManovitH06,
title = {Completely verifying memory consistency of test program executions},
author = {Chaiyasit Manovit and Sudheendra Hangal},
year = {2006},
doi = {10.1109/HPCA.2006.1598123},
url = {http://dx.doi.org/10.1109/HPCA.2006.1598123},
tags = {program verification, testing, consistency},
researchr = {https://researchr.org/publication/ManovitH06},
cites = {0},
citedby = {0},
pages = {166-175},
booktitle = {12th International Symposium on High-Performance Computer Architecture, HPCA-12 2006, Austin, Texas, February 11-15, 2006},
publisher = {IEEE Computer Society},
}