PWL #9: Miscompiling programs with benign data races, by Nick Black

This is a past event

20 people went

Every 2nd Tuesday of the month

Location image of event venue

Details

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...