Turing Lecture 2021 - Abstractions, Their Algorithms, and Their Compilers

Explore the foundations of computational thinking in this Turing Lecture delivered by Alfred Aho and Jeffrey Ullman, moderated by John L. Hennessy. Delve into a comprehensive taxonomy of abstractions and their applications in computer science, focusing on compiler design, large dataset management, and quantum computation. Examine the vital role of abstractions in advancing technology and solving complex problems. Gain insights from two distinguished computer scientists as they discuss the evolution of abstractions, their algorithms, and compilers, and consider future challenges in computing abstractions. Learn about the four different kinds of abstractions commonly used in computing and their implementation in various areas of computer science.

Introduction
Theme
Abstractions
Dictionary
Cast of Characters
Abstraction Subclasses
Abstraction implementations
declarative abstractions
computational abstractions
abstractions algorithms compilation and running time
Abstractions and algorithms
Computational thinking
The lexical analyzer
Lex
Syntax Analyzer
Yak
Dragon Books
DiscOriented Abstractions
Diskbased Abstractions
Bee Trees
Relational Model
Projection
Optimization
MapReduce
MapReduce Issues
New Hardware Platforms
Quantum Measurements
Quantum Circuits