Why Memory Consistency Models Matter… And tools for analyzing and verifying them (ISCA Tutorial)

Tutorial on Memory Consistency Model basics, and full-stack tools to analyze and verify them.

SIGARCH