“The practice of computer programming and the development of increasingly advanced software systems underpin almost all of the technological transformations we have experienced in society over the last five decades,” explains ACM President Gabriele Kotsis. Their early joint work in algorithm design and analysis techniques contributed crucial approaches to the theoretical core of computer science that emerged during this period. They made broad and fundamental contributions to the field of programming language compilers through their technical contributions and influential textbooks. Much of the technology for doing this translation for modern programming languages owes its beginnings to Aho and Ullman.īeginning with their collaboration at Bell Labs in 1967 and continuing for several decades, Aho and Ullman have shaped the foundations of programming language theory and implementation, as well as algorithm design and analysis.
Virtually every program running our world-from those on our phones or in our cars to programs running on giant server farms inside big web companies-is written by humans in a higher-level programming language and then compiled into lower-level code for execution. Ascherman Professor Emeritus of Computer Science at Stanford University.Ĭomputer software powers almost every piece of technology with which we interact. Aho is the Lawrence Gussman Professor Emeritus of Computer Science at Columbia University.
Turing Award for fundamental algorithms and theory underlying programming language implementation and for synthesizing these results and those of others in their highly influential books, which educated generations of computer scientists.
目录ġ.3 The Evolution of Programming Languagesģ.8 Design of a Lexical-Analyzer Generatorģ.9 Optimization of DFA-Based Pattern MatchersĤ.6 Introduction to LR Parsing: Simple LRĥ.3 Applications of Syntax-Directed Translationħ.6 Introduction to Trace-Based Collectionħ.8 Advanced Topics in Garbage CollectionĨ.1 Issues in the Design of a Code GeneratorĨ.9 Instruction Selection by Tree RewritingĨ.10 Optimal Code Generation for Expressionsĩ.1 The Principal Sources of Optimizationġ1 Optimizing for Parallelism and Localityġ1.2 Matrix Multiply: An In-Depth Exampleġ1.7 Finding Synchronization-Free Parallelismġ1.8 Synchronization Between Parallel Loopsġ2.3 A Logical Representation of Data Flowġ2.ACM named Alfred Vaino Aho and Jeffrey David Ullman recipients of the 2020 ACM A.M. He is a member of the National Academy of Engineering, a fellow of the ACM, and winner of the Karlstrom Award and Knuth Prize. His research interests include database theory, database integration, data mining, and education using the information infrastructure. Ascherman Professor of Computer Science at Stanford University. Jeffrey Ullman is CEO of Gradiance and a Stanford W. He has held teaching positions at the Pennsylvania State University and the University of Arizona, and has taught at Princeton University and Rutgers. Previously, he was a senior vice president at Bell Labs in Murray Hill and chief technical officer for communications software at Lucent Technologies. Ravi Sethi launched the research organization in Avaya and is president of Avaya Labs. She led the SUIF project which produced one of the most popular research compilers, and pioneered numerous compiler techniques used in industry. Lam is a Professor of Computer Science at Stanford University, was the Chief Scientist at Tensilica and the founding CEO of moka5. He is a member of the National Academy of Engineering and a fellow of the ACM and IEEE. Professor Aho has won several awards including the Great Teacher Award for 2003 from the Society of Columbia Graduates and the IEEE John von Neumann Medal. Aho is Lawrence Gussman Professor of Computer Science at Columbia University.