Memory Model Safety of Programs
Sebastian Burckhardt, Madanlal Musuvathi · 2008
Concurrency is pervasive in all systems software, including operat-ing systems, databases, and web servers. With the future hardware performance improvements coming mainly from additional paral-lelism in the hardware, system designers will be forced make their