To be precise, Alice quits programming because modern languages lack proper concurrency specification, and thus lack actual "Math" in this area. I can sympathize with that.
Here the authors show that most common compiler optimizations are JMM incompatible.