The Practice archive provides access to all Practice articles published in past issues of Communications of the ACM.
How can the expected interactions between caller and implementation be guaranteed?
Enabling existing lock-based programs to achieve performance benefits of nonblocking synchronization.
Methods of quantifying consistency (or lack thereof) in eventually consistent storage systems.