MBT has positive effects on efficiency and effectiveness, even if it only partially fulfills high expectations.Robert V. Binder, Bruno Legeard, Anne Kramer From Communications of the ACM | February 2015
Addressing the needs of professional software development.
Michael J. Lutz, J. Fernando Naveda, James R. Vallino From Communications of the ACM | August 2014
Stronger properties for low-latency geo-replicated storage.Wyatt Lloyd, Michael J. Freedman, Michael Kaminsky, David G. Andersen From Communications of the ACM | May 2014
Enabling existing lock-based programs to achieve performance benefits of nonblocking synchronization.Andi Kleen From Communications of the ACM | March 2014
How can the expected interactions between caller and implementation be guaranteed?
Robert F. Sproull, Jim Waldo 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