We document three facts: (i) Higher educated workers are more likely to moonlight; (ii) conditional on education, with higher wages less and (iii) the prevalence of moonlighting is declining over time for all education groups. develop an equilibrium model labor market explain these patterns. A dominating income effect explains negative correlation productivity in cross section downward trend ti...

The number of interleavings that a concurrent program can have is typically given as the key difficulty in automatic analysis of concurrent software. Weak memory, as implemented by modern multiprocessors such as Intel x86, IBM Power and ARM, is generally believed to make this problem even harder. On the contrary, we believe that by embracing rather than fleeing from weak memory, we can obtain e...