Turing Awardee Clips
The ACM A.M. Turing Award, often referred to as the “Nobel Prize of Computing,” carries a $1 million prize, with financial support provided by Google, Inc. It is named for Alan M. Turing, the British mathematician who articulated the mathematical foundation and limits of computing. Since its inception in 1966, the Turing Award has honored the computer scientists and engineers who created the systems and underlying theoretical foundations that have propelled the information technology industry.
The video clips presented here were edited down from longer interviews with award recipients conducted by ACM (or provided to ACM by other organizations) to accompany the biographical profiles at https://amturing.acm.org/. Each clip describes a key contribution of an awardee or an important moment in their life or career. Clip descriptions includes a links to corresponding biographical profiles, where you can learn the context for the events they describe and access the full interviews.
Томпсон рассказывает, как он разработал язык Go в Google.
Thompson says Plan 9 "the best operating system out there" but will "never make it, ever, ever."
Томпсон о происхождении языка C: «Если бы это было хорошее предложение, я бы его тут же украл».
Томпсон о том, как алгоритм планирования диска случайно стал Unix.
Томпсон: Мультикс был ужасным утконосом!
Лэмпсон: DEC была раскритикована Wall Street Journal.
Lampson: The Alto we designed at PARC in 1972 would have been unthinkable any earlier in history.
Лэмпсон о находке проекта «Джинн» и Питера Дойча в секретной комнате в Беркли в 1964 году.
Лэмпсон: Я усвоил много уроков о том, «чего не следует делать», разрабатывая ОС на основе возможн...
Pearl on the tradeoff between quality of search and quality of perception.
Pearl: "I apologize for being so stupid" by treating causality as a probabalistic relationship.
Pearl: "a system that works in a crazy way" - defining the Bayesian belief network.
Scott on inventing the Logic of Computable Functions to win an argument with Christopher Strachey.
Scott on the origins of computer science at Stanford and teaching Barbara Liskov.
Scott explains the thesis he wrote for Alonzo Church on proof in infinite dimensional geometries.
Scott tells how he discovered nondeterministic automata with Michael Rabin in a classic paper.
Aho explains how Lex and YACC revolutionized compiler creation by uniting theory and practice
Aho on inventing indexed grammars and the nested stack automaton for his Ph.D. thesis.
Aho: "I'm the A in AWK."
Aho: Seeing the Dragon Book in Hackers convinced his children that he was "really something."
Aho on the "great crime" of confusing algorithms and procedures.
Wirth on the importance of abstraction to language design
Wirth on Lillith and Modula
Wirth on the implementation and spread of Pascal
Wirth on his first Algol compiler
Kahan on creating IEEE Standard Floating Point
Kahan on HP calculators: Solve, Integrate and Matrix Operations
Kahan on the 8087 and designing Intel's floating point
Kahan remembers JCP Miller, Maurice Wilkes & Jim Wilkinson
Kahan on the FERUT, the first computer he programmed