johnwickerson.wordpress.com
Memory Consistency Models, and how to compare them automatically
My POPL 2017 paper with Mark Batty, Tyler Sorensen, and George Constantinides is all about memory consistency models, and how we can use an automatic constraint solver to compare them. In this blog…