In the future, Duffy expects to see a return of distributed programming with increasingly fine-grained distributed systems that will make systems look more and more like classic concurrent systems.

Memory models offer the formal frameworks that define how operations on memory are executed in environments with concurrent processes. By establishing rules for the ordering and visibility of ...