%0 Journal Article %1 journals/corr/abs-2003-04892 %A Manerkar, Yatin A. %A Lustig, Daniel %A Martonosi, Margaret %D 2020 %J CoRR %K dblp %T RealityCheck: Bringing Modularity, Hierarchy, and Abstraction to Automated Microarchitectural Memory Consistency Verification. %U http://dblp.uni-trier.de/db/journals/corr/corr2003.html#abs-2003-04892 %V abs/2003.04892

@article{journals/corr/abs-2003-04892, added-at = {2020-03-17T00:00:00.000+0100}, author = {Manerkar, Yatin A. and Lustig, Daniel and Martonosi, Margaret}, biburl = {https://www.bibsonomy.org/bibtex/2dcaa790d1eb769b47d6aec6994bcf0bc/dblp}, ee = {https://arxiv.org/abs/2003.04892}, interhash = {cba9f0cf8356ce6f18458ddb531a37c6}, intrahash = {dcaa790d1eb769b47d6aec6994bcf0bc}, journal = {CoRR}, keywords = {dblp}, timestamp = {2020-03-18T11:38:36.000+0100}, title = {RealityCheck: Bringing Modularity, Hierarchy, and Abstraction to Automated Microarchitectural Memory Consistency Verification.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2003.html#abs-2003-04892}, volume = {abs/2003.04892}, year = 2020 }