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.
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.