July 17, 2014: Watch Videos Highlighting ACM's Awards Recipients
Thursday, July 17, 2014
Meet the computing luminaries and leaders honored at ACM's awards gala in June 2014. ACM celebrates their technological contributions and their service to the computing community. Watch these short videos, produced for the awards gala, which highlight the accomplishments of these computing innovators.
For fundamental contributions to the theory and practice of distributed and concurrent systems, notably the invention
of concepts such as causality and logical clocks, safety and liveness, replicated state machines, and sequential consistency.
For pioneering the area of topic modeling, which has had profound influence on machine learning foundations as well as industrial practice.
For their long-standing work as series editors of the Springer Lecture Notes in Computer Science (LNCS) -- under their stewardship a most important venue for disseminating innovative research in the initial decades of the field of computer science.
For technical contributions to the problem of object detection in images
which have had very high impact in the
fields of computer vision and machine learning.
For contributions to efficient and robust parallel computation through both provably efficient randomized scheduling protocols and a set of parallel-language primitives constituting the Cilk framework. Implementations of these protocols and conceptual framework have been deployed on scores of millions of machines and therefore enjoy daily impact.
For her outstanding contributions to the teaching of computer science theory, to the development of computer science education in primary and secondary schools, and to service on behalf of the computer science education community.
For her incomparable leadership in guiding ACMs Special Interest Groups, related conferences, events, and the countless volunteers who organize and run them.
ACM's financial leading light for over four decades, whose keen business acumen is responsible for many of the accounting practices that continue to strengthen ACM's fiscal structure.
For outstanding leadership of, and commitment to, the three-year ACM/IEEE-CS effort to produce CS2013—a comprehensive revision of the curricular guidelines for undergraduate programs in computer science.
For the Coq Proof Assistant System that provides interactive software for
the development of formal proofs, using a powerful logic known as the Calculus
of Inductive Constructions.
For introducing novel algorithms and interfaces for interactive retrieval
that have made it easier to find, use and make sense of information.