Peter Sewell – Communications of the ACM

BLOG@CACM Dec 7 2022

Bad Reasons to Reject Good Papers, and Vice Versa

(or, am I Reviewer #2? Should I be?)

Author Archives

Research and Advances Jul 1 2010

X86-TSO: A Rigorous and Usable Programmer’s Model For X86 Multiprocessors

Exploiting the multiprocessors that have recently become ubiquitous requires high-performance and reliable concurrent systems code. However, concurrent programming, which is always challenging, is made much more so by two problems.

Computing Applications

Shape the Future of Computing

ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.

Get Involved