Q: Does your computer execute the program you wrote?
A: What a quaint concept!
Why?! What are you talking about?! Come to PWL to find out. In this month's talk, Nick Black will present not one, but TWO pieces of research at the intersection of programming languages and computer architecture.
First up from 2011, Hans Boehm's How to miscompile programs with “benign” data races (http://hboehm.info/boehm-hotpar11.pdf)
Then from 2012, Herb Sutter's presentations on "atomic<> weapons" (https://herbsutter.com/2013/02/11/atomic-weapons-the-c-memory-model-and-modern-hardware/) -- from which the above Q&A was taken.
Come discover what really lurks beneath the rose-colored abstractions of your programming language...