April 09, 2007
The ACM Special Interest Group on Algorithms and Computation Theory (SIGACT) will present its 2007 Knuth Prize to Professor Nancy Lynch of the Massachusetts Institute of Technology (MIT) for her influential contributions to the theory of distributed systems, which solve problems using multiple processes or computers connected through a shared memory or network. Professor Lynch is the first woman to receive this award since its inception in 1996. She was cited for her seminal impact on the reliability of distributed computing systems, which are used to power traditional wired networks, modern mobile communications systems, and systems with embedded computers, including factory machinery, vehicles, robots and other real-world devices.
In a career spanning more than 30 years, Professor Lynch developed new distributed algorithms, created precise models for analyzing distributed processes, and discovered limitations on what distributed algorithms can accomplish. In 1982, her research with M.J. Fischer and M.S. Paterson produced a fundamental result, commonly known as the FLP (Fischer, Lynch, Paterson) impossibility result, concerning the impossibility of distributed agreement in the presence of process failures. This breakthrough has had a monumental impact in distributed computing, both theory and practice.
Professor Lynch's influence extends to practitioners who have benefited from her courses and papers aimed at non-theory audiences. Her insights on distributed computing have influenced other fields of computing including database transaction procession, hybrid systems, security, and hardware synchronization. Her textbook Distributed Algorithms introduces readers to the fundamental issues underlying the design of distributed systems, including communication, coordination, synchronization and uncertainty.
In 2001, Professor Lynch was awarded the Dijkstra Prize (then known as the Principles of Distributed Computing Influential Paper Award) for her research on the FLP impossibility result. Other well-known research contributions include the I/O automata mathematical system modeling frameworks, which she conducted with M.R. Tuttle, F. Vaandrager, R. Segala, and D. Kaynar. An ACM Fellow, she is a member of the National Academy of Engineering and a co-winner of the first van Wijngaarden Prize in 2006, from Centrum voor Wiskunde en Informatica (CWI), the national institute for research in mathematics and computer science in The Netherlands.
Professor Lynch is the NEC Professor of Software Science and Engineering at MIT's Department of Electrical Engineering and Computer Science. She heads the Theory of Distributed Systems Research Group in MIT's Computer Science and Artificial Intelligence Laboratory (CSAIL). Prior to joining MIT in 1981, she served on the faculty at Tufts University, the University of Southern California, Florida International University, and the Georgia Institute of Technology. A graduate of Brooklyn College with a B.S. in Mathematics, Professor Lynch received her Ph.D. in Mathematics from MIT.
The Knuth Prize is named in honor of Donald Knuth, Professor Emeritus at Stanford University, who is best known for his ongoing multivolume series, The Art of Computer Programming, which played a critical role in establishing and defining Computer Science as a rigorous intellectual discipline. The Knuth Prize was first awarded to Andrew C. - C. Yao, who went on to win ACM's 2000 A.M. Turing Award, considered the "Nobel Prize of computing." The Knuth Prize is given every year and a half by ACM SIGACT and the IEEE Technical Committee on the Mathematical Foundations of Computer Science, and includes a $5,000 award. It will be presented at the ACM Symposium on Theory of Computing (STOC) conference, June 11-13 in San Diego.
ACM, the Association for Computing Machinery (www.acm.org), is an educational and scientific society uniting the world's computing educators, researchers and professionals to inspire dialogue, share resources and address the field's challenges. ACM strengthens the profession's collective voice through strong leadership, promotion of the highest standards, and recognition of technical excellence. ACM supports the professional growth of its members by providing opportunities for life-long learning, career development, and professional networking.
The ACM Special Interest Group on Algorithms and Computation Theory (http://sigact.acm.org) fosters and promotes the discovery and dissemination of high quality research in the domain of theoretical computer science. The field includes algorithms, data structures, complexity theory, distributed computation, parallel computation, VLSI, machine learning, computational biology, computational geometry, information theory, cryptography, quantum computation, computational number theory and algebra, program semantics and verification, automata theory, and the study of randomness. Work in this field is often distinguished by its emphasis on mathematical technique and rigor.
Jun 17, 2013 |
With that in mind, Datapipe hopes to establish themselves as a green-savvy HPC cloud provider with their recently announced Stratosphere platform. Datapipe markets Stratosphere as a green HPC cloud service and in doing so partnering with Verne Global and their Icelandic datacenter, which is known for its propensity in green computing.
Jun 12, 2013 |
Cloud computing is gaining ground in utilization by mid-sized institutions who are looking to expand their experimental high performance computing resources. As such, IBM released what they call Redbooks, in part to assist institutions’ movement of high performance computing applications to the cloud.
Jun 06, 2013 |
The San Diego Supercomputer Center launched a public cloud system for universities in the area designed specifically to run on commodity hardware with high performance solid-state drives. The center, which currently holds 5.5 PB of raw storage, is open to educational and research users in the University of California.
05/10/2013 | Cleversafe, Cray, DDN, NetApp, & Panasas | From Wall Street to Hollywood, drug discovery to homeland security, companies and organizations of all sizes and stripes are coming face to face with the challenges – and opportunities – afforded by Big Data. Before anyone can utilize these extraordinary data repositories, however, they must first harness and manage their data stores, and do so utilizing technologies that underscore affordability, security, and scalability.
04/02/2012 | AMD | Developers today are just beginning to explore the potential of heterogeneous computing, but the potential for this new paradigm is huge. This brief article reviews how the technology might impact a range of application development areas, including client experiences and cloud-based data management. As platforms like OpenCL continue to evolve, the benefits of heterogeneous computing will become even more accessible. Use this quick article to jump-start your own thinking on heterogeneous computing.