Bugaroo: Exposing Memory Model Bugs in Many-Core Systems | IEEE Conference Publication | IEEE Xplore