Dr Nathan Chong (Principal Researcher, Arm) discusses his work with Tyler Sorensen (PhD student, Imperial College London) and Dr John Wickerson (Research Fellow, Imperial College London) on the semantics…

Concurrent programming is about the useful interaction of multiple processes over shared resources, and ensuring atomicity is just one of the challenges faced. The fundamental difficulty is that concurrent…