Enabling existing lock-based programs to achieve performance benefits of nonblocking synchronization.Andi Kleen From Communications of the ACM | March 2014
Methods of quantifying consistency (or lack thereof) in eventually consistent storage systems.Wojciech Golab, Muntasir R. Rahman, Alvin AuYoung, Kimberly Keeton, Xiaozhou (Steve) Li From Communications of the ACM | March 2014
A cohesive, independent solution for bringing provenance to scientific research.Zachary Hensley, Jibonananda Sanyal, Joshua New From Communications of the ACM | February 2014
What if all the software layers in a virtual appliance were compiled within the same safe, high-level language framework?
Anil Madhavapeddy, David J. Scott From Communications of the ACM | January 2014
Combining agile and SEMAT yields more advantages than either one alone.
Ivar Jacobson, Ian Spence, Pan-Wei Ng From Communications of the ACM | November 2013