You think you know how to write a correct multi-threaded program? Convinced you can spot a deadlock of missed thread communication from a mile away? Come to XPUtah tonight and prove it!
Ok, we all know concurrent programming is hard. We all have horror stories of hunting down "random" bugs where threads were to blame. And we all said at one time or another "Wouldn't it be nice if we can verify our concurrent components before they make it into production?" Tonight we'll have a chance to find out. We will have a (presumably correct) concurrent program that we can introduce bugs into, and a range of tools and testing frameworks that can help us locate those bugs. The goal is to write a bug that no tool or test can find! And then, of course, design a test for it.
See you there!
- Katya "Zhon made me do it" Rogers