IBM computer scientists have been at the forefront of scientific and technological innovation across a broad range of research areas. They have made pioneering contributions in artificial intelligence, high-speed processor design, computer architecture, natural language processing, programming languages, optimizing compilers, operating systems, storage systems, computer-supported cooperative work, databases, speech recognition, integer programming, and service-oriented architectures, to name a few.
Congratulations to John T. Robinson and Mike Spreitzer, IBM Thomas J. Watson Research Center, who were inducted into the ACM SIGOPS Hall of Fame for 2015. The SIGOPS Hall of Fame Award was instituted in 2005 to recognize the most influential Operating Systems papers that were published at least ten years in the past.
Details of the two awards are:
H. T. Kung and John T. Robinson. On optimistic methods for concurrency control. ACM Transactions on Database Systems (TODS) 6(2), June 1981, 213-226. "This paper introduced the notion of optimistic concurrency control, proceeding with a transaction without locking the data items accessed, in the expectation that the transaction's accesses will not conflict with those of other transactions. This idea, originally introduced in the context of conventional databases, has proven very powerful when transactions are applied to general-purpose systems."
D. B. Terry, M. M. Theimer, Karin Petersen, A. J. Demers, M. J. Spreitzer, and C. H. Hauser. Managing update conflicts in Bayou, a weakly connected replicated storage system. In Proceedings of the 15th ACM symposium on Operating Systems Principles (SOSP '95), December 1995, 172-182. "Bayou is a replicated storage system that anticipated the world of numerous small mobile devices executing collaborative applications over unreliable networks. The paper describes a client-server storage structure supporting eventual consistency, anti-entropy protocols, disconnected operation, log-based recovery, and an application-centered approach to detecting and resolving update conflicts to arrive at consistent replicas. These concepts were backed up by a prototype implementation, two applications, and a simple performance evaluation. Bayou is still relevant to the problems faced by, and the solutions employed by, a large number of today's modern applications."