Gul Agha, elected as an ACM Fellow in 2018 for research in concurrent programming and formal methods, specifically the Actor Model
Alfred Aho, the A of AWK, 2020 Turing Award for fundamental algorithms and theory underlying programming language implementation and for synthesizing these results ...highly influential books ...
Frances Allen, the 2006 Turing Award for pioneering contributions to the theory and practice of optimizing compiler techniques ...
Roland Backhouse, work on the mathematics of program construction and algorithm problem solving; books on Syntax of Programming Languages, Program Construction and Verification, and more
John Backus, the 1977 Turing Award for profound, influential, and lasting contributions to the design of practical high-level programming systems, notably through his work on FORTRAN, and for seminal publication of formal procedures for the specification of programming languages
James Cordy, known for the TXL source transformation language, a parser-based framework and functional programming language designed to support software analysis and transformation tasks
D
Ole-Johan Dahl, the 2001 Turing Award for ideas fundamental to the emergence of OO programming, through [the] design of the programming languages Simula I and 67
Robby Findler, thesis on linguistics of software contracts, the ACM SIGPLAN 2018 PL Software Award[2] for Racket, design/implementation of Redex, a workbench for semantics engineers
Keno Fischer, a core member implementing the Julia programming language,
Robert W. Floyd, the 1978 Turing Award for ..., and for helping to found the following important subfields of computer science: the theory of parsing, the semantics of programming languages, automatic program verification, automatic program synthesis, and analysis of algorithms
Richard P. Gabriel, for work on Lisp, and especially Common Lisp; the 2004 ACM-AAAI Allen Newell Award[7] for innovations in programming languages and software design ...
Bernard Galler, involved in the development of computer languages, including MAD
Tony Hoare, first axiomatic basis for proving programs correct, CSP, the 1980 Turing Award for fundamental contributions to the definition and design of programming languages
John Hughes, PhD thesis The Design and Implementation of Programming Languages.,[13] co-developer of the QuickCheck software library, 2018 ACM Fellow for contributions to software testing and functional programming
Kenneth E. Iverson, the 1979 Turing Award for his pioneering effort in ... resulting in ... APL, for his contributions to ..., ..., and programming language theory and practice
J
Daniel Jackson, principal designer of the Alloy modelling language and its associated Alloy Analyzer analysis tool, author of the book Software Abstractions: Logic, Language, and Analysis
Alan Kay, the 2003 Turing Award for pioneering many of the ideas at the root of contemporary OO programming languages, leading the team that developed Smalltalk, and ...
David Kuck, the IEEE Computer Society 2011 Computer Pioneer Award for revolutionary parallel compiler technology including Parafrase (in 1977)[18] and KAP Tools
Doug Lea, the 2010 AITO Dahl–Nygaard Prize, for tireless advocacy of object-oriented techniques, contributions to concurrent programming in Java, and ...
Peter Lee, PhD thesis: The automatic generation of realistic compilers from high-level semantic descriptions; as of 2022, Microsoft Corporate Vice President, Research and Incubations
Xavier Leroy, the 2016 Milner Award for exceptional achievements in programming including OCaml, ACM SIGPLAN 2021 PL Software Award[2]
Charles H. Lindsey, co-editor of the Revised Report on Algol 68, designed an implemented ALGOL 68S, a subset of Algol 68, wrote the complete History of ALGOL 68 in[21]
Barbara Liskov, the 2008 Turing Award for contributions to practical and theoretical foundations of programming language and system design, ...
Robin Milner, the 1991 Turing Award for three distinct and complete achievements: (1)...; (2) ML, the first language to include polymorphic type inference together with a type-safe exception-handling mechanism; (3) CCS, ...
Jayadev Misra, contributions to concurrent programming, including the languages UNITY and "Orc".
James G. Mitchell, work on the WATFOR compiler, languages Mesa and Euclid, PhD thesis on The design and construction of flexible and efficient interactive programming systems
Brad A. Myers, for the Natural Programming project, focusing on programming languages programming languages and making programming easier and more correct by making it more natural.[25]
N
Peter Naur, the 2005 Turing Award for fundamental contributions to programming language design and the definition of ALGOL 60, to compiler design, and to ...
Greg Nelson, PhD thesis Techniques for Program Verification, co-designer of Modula-3, the 2013 Herbrand Award for pioneering contributions to theorem proving and program verification ...
Oscar Nierstrasz, the 2013 AITO Dahl–Nygaard Prize for ... contributions ... aimed at making systems more flexible with respect to changing requirements, based on programming languages and mechanisms supporting software evolution
James Noble, the 2016 AITO Dahl–Nygaard Prize for a world-leading reputation for work on object-orientation; did pioneering work in novel type systems for programming languages
Kristen Nygaard, the 2001 Turing Award for ideas fundamental to the emergence of OO programming, through [the] design of Simula I and 67
Krishna Palem, the 2008 McDowell Award, for pioneering contributions to the algorithmic, compilation, and architectural foundations of embedded computing
Amir Pnueli, the 1996 Turing Award for seminal work introducing temporal logic into computing science and for outstanding contributions to program and systems verification
John Reif, the Proteus language and system for the development of parallel applications[28]
Thomas W. Reps, co-developed the early (1978) IDEthe Cornell Program Synthesizer,[29] co-founded GrammaTech, which developed CodeSonar, ACM SIGPLAN 2017 PL Achievement Award[6]
Fred B. Schneider, defined liveness (as opposed to safety), contributions to assertional methods for developing concurrent and distributed programs[32]
Jeffrey Ullman, the 2020 Turing Award for fundamental algorithms and theory underlying programming language implementation and for synthesizing these results, highly influential books.
David Ungar, the 2009 AITO Dahl–Nygaard Prize, his work on Self has had a profound effect on the field by introducing the advanced adaptive compiling technology that made the widespread industrial use of Java possible
V
Martin Vechev, developed Silq, the first high-level PL for quantum computing with a strong static type system, the 2019 ACM SIGPLAN Robin Milner Young Researcher Award[17]
^Gries, David (1971). Compiler Construction for Digital Computers (in English, Spanish, Japanese, Chinese, Italian, and Russian). New York: John Wiley and Sons. ISBN0-471-32776-X. The first text on compiler writing.
^Wei, Shiyi; Ryder, Barbara G. (2015). Boyland, John Tang (ed.). Adaptive context-sensitive analysis for JavaScript. 29th European Conference on Object-Oriented Programming (ECOOP 2015). Vol. 37. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. pp. 712–734. Retrieved 2022-08-23.