List of programming language researchers
The following is list of researchers of programming language theory, design, implementation, and related areas.
A
- Martín Abadi, for the programming language Baby Modula-3 and his book (with Luca Cardelli) A Theory of Objects
- Samson Abramsky, contributions to the areas of the lazy lambda calculus and concurrency theory and co-editing the 6 Volume Handbook of Logic in Computer Science
- Jean-Raymond Abrial, father of the Z notation, targeted at the clear specification of computer programs and computer-based systems in general
- Vikram Adve, the 2012 ACM Software System Award for LLVM, a set of compiler and toolchain technologies
- 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 ...
- Andrew Appel, especially well-known because of his compiler books, the Modern Compiler Implementation in ML (ISBN 0-521-58274-1) series, as well as Compiling With Continuations (ISBN 0-521-41695-7)
- Krzysztof R. Apt, the use of logic as a programming language
- Bruce Arden, co-authored two compilers, GAT[1] for the IBM 650 and MAD
B
- Ralph-Johan Back, originated the refinement calculus, used in the formal development of programs using stepwise refinement
- 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
- George N. Baird, the 1974 Grace Murray Hopper Award for his \development and implementation of the Navy's COBOL Compiler Validation System
- Lars Bak, the 2018 AITO Dahl-Nygaard Prize for pioneering work in pointer-safe object-orientation and leading the implementation of Beta, Self, Strongtalk, Java Hotspot, ..., the ACM SIGPLAN 2016 PL Software Award[2] for V8 Javascript
- Henri Bal, programming languages for distributed systems, e.g. Orca[3]
- Friedrich L. Bauer, proposed the stack method of expression evaluation, member of the Algol 60 Committee, see also[4]
- Kent Beck, a leading proponent of Test-Driven Development (TDD), pioneered software design patterns, and co-wrote JUnit for Java
- Jeff Bezanson, the 2019 J. H. Wilkinson Prize for Numerical Software for the co-development of the Julia programming language
- Dines Bjørner, the Vienna Development Method (VDM), the Raise specification language
- Daniel Bobrow, the 1992 ACM Software System Award for the IDE called Interlisp
- Corrado Böhm, defined Böhm's language, the first Meta-circular evaluator, contributed the Structured program theorem
- Grady Booch, developer of the Unified Modeling Language(UML)
- Kathleen Booth, designed and developed the first assembly language
- Stephen R. Bourne, developed ALGOL 68C, member IFIP Working Group 2.1 on Algorithmic Languages and Calculi
- Gilad Bracha, the 2017 AITO Dahl-Nygaard Prize for outstanding work on many topics relevant to OO, including mixins, Java generics, Strongtalk, and Newspeak
- Larry Breed, the 1973 Grace Murray Hopper Award for the design and implementation of APL\360
- Walter Bright, designer of D
- Per Brinch Hansen (surname "Brinch Hansen"), the IEEE Computer Society 2002 Computing Pioneer Award for ... Concurrent Pascal
- Kim Bruce, the 2021 AITO Dahl-Nygaard Prize for ... programming language theory and design in general and object orientation specifically[5]
- Rod Burstall, the languages POP, NPL, and Hope; ACM SIGPLAN 2009 PL Achievement Award[6]
- Richard Burton, the 1992 ACM Software System Award for the IDE called Interlisp
C
- Luca Cardelli, research in type theory and operational semantics, helped develop Modula-3 and Polyphonic C#, first compiler for ML, the 2007 AITO Dahl-Nygaard Prize, "POPL 2000 Most Influential Paper Award".
- Craig Chambers, the 2011 AITO Dahl-Nygaard Prize for the design of Cecil and his work on compiler techniques used to implement OO languages ...
- John Chambers, the 1998 ACM Software System Award for the programing language S
- K. Mani Chandy, contributions to the verification of parallel programming languages, including the language UNITY
- John Cocke, the 1987 Turing Award for significant contributions in the design and theory of compilers, ..., and ...; co-developed the CYK parsing algorithm
- Alain Colmerauer, creator of Prolog
- Richard W. Conway, for the introductory languages CORC and CUPL and the student-oriented dialect PL/C; for extensive error correction so that every program compiled
- William Cook, chief architect of AppleScript, the 2014 AITO Dahl-Nygaard Prize for contributions to the theory and practice of OO programming[5]
- Keith Cooper, research on programming languages, compilers, optimization, and static analysis
- Thierry Coquand, ACM SIGPLAN 2013 PL Software Award[2] and the 2015 ACM Software System Award for Coq
- Patrick Cousot, for contributions to programming languages through the co-invention of abstract interpretation, ACM SIGPLAN 2013 PL Achievement Award[6]
- Radhia Cousot, for contributions to programming languages through the co-invention of abstract interpretation, ACM SIGPLAN 2013 PL Achievement Award[6]
- 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 Simula 67
- Olivier Danvy specializes in programming languages, partial evaluation, and continuations
- John Darlington, work on program transformation and functional programming, including NPL and Hope+
- L. Peter Deutsch, first implementation of TRAC (on the PDP-1), first REPL, PhD thesis on an interactive program verifier, the 1992 ACM Software System Award for the IDE called Interlisp
- Edsger W. Dijkstra, first ALGOL 60 compiler, weakest preconditions, the 1972 Turing Award for fundamental contributions to developing programming languages
- Damien Doligez, co-developer and implementor of OCaml, especially its garbage collector
- Sophia Drossopoulou, formal methods for programming languages, proof of the soundness of Java
E
- Wim Ebbinkhuijsen, one of the fathers of COBOL, designed and rewrote dozens of parts of the current COBOL standard
- Alan Edelman, the 2019 Sidney Fernbach Award for ... and for contributions to the Julia programming language
- Brendan Eich, designer of JavaScript
F
- Mahmoud Samir Fayed, creator of PWCT and Ring
- Matthias Felleisen, ACM SIGPLAN 2018 PL Software Award[2] for Racket, ACM SIGPLAN 2012 PL Achievement Award[6]
- Jeanne Ferrante, developed the Program dependence graph, ACM SIGPLAN 2006 PL Achievement Award[6]
- 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,
- Matthew Flatt, ACM SIGPLAN 2018 PL Software Award[2] for Racket
- 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
- Robert France, the 2014 AITO Dahl-Nygaard Prize for his research on adding formal semantics to OO modeling notations
- Daniel P. Friedman, influential paper on lazy programming, explored macros for defining programming languages, lead author of Essentials of Programming Languages
- Yoshihiko Futamura, partial evaluation, especially Futamura projections
G
- 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
- Erich Gamma, co-wrote the JUnit software testing framework; one of the Gang of Four, the 2006 AITO Dahl-Nygaard Prize, for ... their book Design Patterns: ..., ACM SIGPLAN 2005 PL Achievement Award[6]
- Charles Geschke, co-author of The Design of an Optimizing Compiler, the 1989 ACM Software System Award for PostScript
- Jeremy Gibbons,[8] generic programming and functional programming, member of IFIP Working Group 2.1, which supports and maintains Algol 60 and Algol 68
- Adele Goldberg, the 1987 ACM Software System Award for Smalltalk
- Andrew Gordon, co-designer of Concurrent Haskell, co-inventor of the ambient calculus for reasoning about mobile code, designed SecPAL
- James Gosling, the 2002 ACM Software System Award for Java
- Robert Graham, co-authored two compilers, GAT[1] for the IBM 650 and MAD
- Susan Graham, the 2009 IEEE John von Neumann Medal for "contributions to PL design and implementation ...", member NAE,[9] ACM SIGPLAN 2000 PL Achievement Award[6]
- Cordell Green, the 1985 Grace Murray Hopper Award for establishing the theoretical basis of the field of logic programming
- Sheila Greibach, grammar theory, Greibach normal form
- David Gries, first text on writing compilers,[10][11] contributions to semantics of programming language constructs, e.g. Interference freedom and[12]
- Robert Griesemer, co-designer of Go
- Ralph Griswold, designer of SNOBOL, SL5, and Icon
- Jürg Gutknecht, co-developer of the PL Oberon, developer of the PL Zonnon
- John Guttag, co-developer of the Larch family of formal specification languages and the Larch Prover (LP)
- Michael Guy, co-author of ALGOL 68C
H
- Nico Habermann, co-designer of BLISS
- Robert Harper, contributions to Standard ML and the LF logical framework, ACM SIGPLAN 2021 PL Achievement Award[6] for foundational contributions to type theory
- Eric Hehner, for predicative programming, a formal method for specification and refinement
- Anders Hejlsberg, original author of Turbo Pascal, chief architect of C#
- Laurie Hendren, continuous and significant contributions for 30+ years to the field of OO programming languages and compilation
- Thomas Henzinger, received the 2015 Milner Award for "fundamental advances in the theory and practice of formal verification and synthesis of reactive, real-time, and hybrid computer systems"
- Maurice Herlihy, 2003, 2012, and 2022 Dijkstra Prizes, one for work on transactional memory
- Rich Hickey, designer of Clojure
- 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
- Ric Holt, the Turing programming language, contributions to Grok, Euclid, SP/k, and S/SL
- Urs Hölzle, co-implemented Strongtalk, a Smalltalk environment with optional static typing support, later became Googles first Vice President of Engineering
- Grace Hopper, co-designer of COBOL
- Jim Horning, interests included programming languages, programming methodology, specification; co-developer of the Larch approach to formal specification
- Susan B. Horwitz, noted for research on programming languages and software engineering, and in particular on program slicing and dataflow-analysis
- Paul Hudak, best known for his involvement in the design of Haskell, as well as several texts on Haskell
- Gérard Huet, ACM SIGPLAN 2013 PL Software Award[2] and the 2015 ACM Software System Award for Coq
- 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
- Roger Hui, co-developed the programming language J
I
- Jean Ichbiah, designer the system implementation programming language called LIS, initial chief designer of Ada
- Roberto Ierusalimschy, designer of Lua
- Dan Ingalls, the 2022 AITO Dahl-Nygaard Prize and the 1987 ACM Software System Award for Smalltalk
- 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
- Jørn Jensen, developed ALGOL 60 compilers, invented Jensen's device, which exploits call by name
- Ralph Johnson, one of the Gang of Four, the 2006 AITO Dahl-Nygaard Prize for ... their book Design Patterns: ..., ACM SIGPLAN 2005 PL Achievement Award[6]
- Cliff Jones, the Vienna Development Method (VDM), rely-guarantee—compositional interference freedom[14]
- Neil D. Jones, work on partial evaluation, ACM SIGPLAN 2014 PL Achievement Award[6]
K
- Gilles Kahn, coroutines and networks of processes[15]
- Ted Kaehler, co-implementer of Smalltalk
- Ronald Kaplan, the 1992 ACM Software System Award for the IDE called Interlisp
- Stefan Karpinski, the 2019 J. H. Wilkinson Prize for Numerical Software for the co-development of the Julia programming language
- 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 ...
- John Kelly, co-developed the pioneer dataflow language BLODI (BLOck DIagram). See Dataflow programming
- John G. Kemeny, co-designer and developer the first BASIC language
- Ken Kennedy, the McDowell Award for contributions to compiler optimization and ..., ACM SIGPLAN 1999 PL Achievement Award[6]
- Brian Kernighan, co-designer of AWK and AMPL, co-author of "The C Programming Language", promoter and designer of "little languages": Eqn, Pic, Grap
- Gregor Kiczales, the 2012 AITO Dahl-Nygaard Prize, for his work on CLOS and the MOP and for spearheading aspect-orientation and AspectJ
- Ken Knowlton. computer graphics pioneer, created BEFLIX for making movies and L6,[16] which introduced postfix field selection to list processing
- Donald Knuth, the 1974 Turing Award for his major contributions to ... and the design of programming languages, and ...
- Andrew Koenig, author of C Traps and Pitfalls and the Koenig lookup
- Michael Kölling, development of BlueJ and Greenfoot
- Kees Koster, co-designer of ALGOL 68, creator of affix grammars, creator of the original Compiler Description Language (CDL)
- Robert Kowalski, the 2011 IJCAI Award for Research Excellence for ... pioneering work on ... logic programming; introduced SLD resolution, which is used in the implementation of the logic programming language Prolog
- Dexter Kozen, one of the fathers of dynamic logic, an extension of modal logic capable of encoding properties of computer programs
- Shriram Krishnamurthi, developed Flapjax, ACM SIGPLAN 2018 PL Software Award[2] for Racket, the 2012 ACM SIGPLAN Robin Milner Young Researcher Award[17]
- David Kuck, the IEEE Computer Society 2011 Computing Pioneer Award for revolutionary parallel compiler technology including Parafrase (in 1977)[18] and KAP Tools
- Thomas E. Kurtz, co-designer and developer the first BASIC language
L
- Monica S. Lam, contributed to a wide range of topics including compilers and program analysis, received the ACM Most Influential PLDI Paper Award in 2001[19][20]
- Leslie Lamport, creator of the formal specification language TLA+ and much more, the 2013 Turing Award
- Peter Landin used the lambda calculus to model ISWIM, in doing so defined the off-side rule and coined the term syntactic sugar; active in the definition of the ALGOL
- Richard H. Lathwell, the 1973 Grace Murray Hopper Award for the design and implementation of APL\360
- Chris Lattner, designer of Swift, ACM SIGPLAN 2010 PL Software Award[2] and the 2012 ACM Software System Award for LLVM, a set of compiler and toolchain technologies
- John Launchbury, lazy functional languages, contributing designer of Haskell, directed development of the domain-specific programming language called Cryptol
- Harold Lawson, the IEEE Computer Society 2000 Computing Pioneer Award for inventing the pointer variable and introducing this concept into PL/I
- Doug Lea, the 2010 AITO Dahl-Nygaard Prize, for tireless advocacy of OO 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
- Rasmus Lerdorf, father of PHP
- 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, ...
- Yanhong Annie Liu, PhD thesis on incremental computation,[22] book on systematic program design[23]
- Peter Lucas, formal definition of PL/I, the Vienna Development Method (VDM), work on the functional programming language FL
M
- Simon Marlow, ACM SIGPLAN 2011 PL Software Award[2] for the Glasgow Haskell Compiler
- Larry Masinter, the 1992 ACM Software System Award for the IDE called Interlisp
- Yukihiro Matsumoto, designer of Ruby
- David May, lead designer of occam
- John McCarthy, the Lisp family of programming languages, the 1971 Turing Award
- Douglas McIlroy, pioneering researcher of macro processors and programming language extensibility, contributed to the design of PL/I, SNOBOL, ALTRAN, TMG, and C++
- Kathryn S. McKinley, research on compilers, runtime systems, and computer architecture, introduced the Hoard C/C++ Memory Allocator, the ACM SIGPLAN 2012 PL Software Award[2] for Jikes RVM
- Lambert Meertens, co-designer of ABC, the incidental predecessor of Python; co-designer of the Bird–Meertens formalism; co-editor of the Revised ALGOL 68 Report
- Erik Meijer, works on functional programming (particularly Haskell), compiler implementation, parsing, and programming language design
- Bertrand Meyer, created Eiffel and advocated design by contract, awarded the 2005 AITO Dahl-Nygaard Prize
- Harlan Mills, the IEEE Computer Society 1994 Computing Pioneer Award for Structured programming
- 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
- John Mitchell explored the connection between existential types and abstract data types and played a pivotal role in developing type theory as a foundation for programming languages
- Calvin Mooers, the programming language TRAC
- Chuck Moore, the programming language Forth
- Roger D. Moore, implemented ALGOL 60, the 1973 Grace Murray Hopper Award for the design and implementation APL\360
- Carroll Morgan, known proponent of the refinement calculus approach to program development; authored the book Programming from Specifications
- James H. Morris developed two underlying principles of programming languages, inter-module protection and lazy evaluation, and led the Cedar programming environment project
- Greg Morrisett, worked on type systems and proof-carrying code and provably secure systems, created Cyclone, POPL 1998 Most Influential Paper Award[24] for applying type system ideas to low level programming
- J. Eliot B. Moss, active in the fields of garbage collection and multiprocessor synchronization, co-inventor of transactional memory
- 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 ...
- George Necula, POPL 1997 and 2002 Most Influential Paper Award[24] for proof-carrying code and type-safe retrofitting of legacy code
- Bruce Nelson, the 1994 ACM Software System Award for the remote procedure call concept
- 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 Simula 67
O
- Martin Odersky, provided basis for javac, co-developed Generics in Java, ACM SIGPLAN 2019 PL Software Award[2] for Scala
- Peter O'Hearn, known for separation logic, co-developed the static program analysis utility Infer Static Analyzer, 2001 Most Influential Paper Award[24]
- John Ousterhout, the 1997 ACM Software System Award for Tcl/Tk
- Susan Owicki, contributions to semantics, e.g. Interference freedom and[26]
P
- Krishna Palem, the 2008 McDowell Award, for pioneering contributions to the algorithmic, compilation, and architectural foundations of embedded computing
- David Park, worked on the first implementation of Lisp, an authority on the topics of fairness, program schemas and bisimulation in concurrent computing
- David Parnas, developed information hiding, an important element of OO programming today.
- Christine Paulin-Mohring, ACM SIGPLAN 2013 PL Software Award[2] and the 2015 ACM Software System Award for Coq
- Lawrence Paulson, known for the text ML for the Working Programmer and the interactive theorem prover Isabelle, which he introduced in 1986
- Steven Pemberton, co-designer of ABC, the incidental predecessor of Python; contributing author of HyperText Markup Language (HTML)
- Alan Perlis, the 1966 Turing Award for ... and compiler construction
- Carl Adam Petri, the IEEE Computer Society 2008 Computing Pioneer Award for Petri net theory and then parallel and distributed computing
- Benjamin C. Pierce, for contributions to the theory and practice of programming languages and their type systems, the author of a book on type systems titled Types and Programming Languages
- Rob Pike, co-designer of Newsqueak, Limbo, and Go
- Gordon Plotkin, for structural operational semantics (SOS) and denotational semantics; the 2012 Milner Award, the ACM SIGPLAN 2010 PL Achievement Award[6]
- Amir Pnueli, the 1996 Turing Award for seminal work introducing temporal logic into computing science and for outstanding contributions to program and systems verification
- Robin Popplestone, developed COWSEL and POP-2
- Cicely Popplewell, co-designer of software for Manchester Mark 1
- Vaughan Pratt, developed dynamic logic, used in formal verification of programs, and Pratt parsing, used in his syntax CGOL for Lisp
- William Pugh, co-author of the static code analysis tool FindBugs, influential in the development of the Java Memory Model
R
- George Radin, first among equals designing PL/I
- Brian Randell, in 1964, implemented the Algol 60 Whetstone compiler[27]
- John Reif, the Proteus language and system for the development of parallel applications[28]
- Thomas W. Reps, co-developed the early (1978) IDE the Cornell Program Synthesizer,[29] co-founded GrammaTech, which developed CodeSonar, ACM SIGPLAN 2017 PL Achievement Award[6]
- Mitchel Resnick, developed the visual programming language called Scratch
- John C. Reynolds, invented polymorphic lambda calculus (System F), clarified early work on continuations, introduced defunctionalization, worked on a separation logic, ACM SIGPLAN 2003 PL Achievement Award[6]
- Martin Richards, the IEEE Computer Society 2003 Computing Pioneer Award for the design and implementation of BCPL
- Dennis Ritchie, designer of C, the 1983 Turing Award
- Douglas T. Ross, father of the programming language APT for driving numerical control, designed and implemented ALGOL X
- Guido van Rossum, designer of Python
- Barbara G. Ryder, extensive work on Java and Javascript, e.g.[30][31]
S
- Klaus Samelson, pioneer in compilers for programming languages and push-pop stack algorithms, Algol 60 Committee, see also[4]
- Jean Sammet, developed FORMAC, one of the developers of COBOL
- Carl Sassenrath, designer and implementor of Rebol
- Fred B. Schneider, defined liveness (as opposed to safety), contributions to assertional methods for developing concurrent and distributed programs[32]
- Jacob T. Schwartz, designer of SETL and Artspeak
- Ilya Sergey, for the programming language Scilla[33] and work on "Operational Aspects of Type Systems".
- Ravi Sethi, best known as co-author of the Dragon Book, 1996 ACM Fellow for contributions to compiler technology, computer programming languages, ...
- Viral B. Shah, the 2019 J. H. Wilkinson Prize for Numerical Software for the co-development of the Julia programming language
- Brian Cantwell Smith, introduced the notion of computational reflection in programming languages
- David Canfield Smith, co-developer of the visual programming language called Stagecast Creator based on the concept of programming by example
- Mary Lou Soffa, research on compilers and program optimization and more, 2012 Ken Kennedy Award
- Richard Stallman, the 2015 ACM Software System Award for the GNU Compiler Collection (GCC)
- Guy L. Steele, Jr., co-designer of Scheme and designer of Fortress, ACM SIGPLAN 1997 PL Achievement Award[6]
- Alexander Stepanov, advocate of generic programming, the primary designer and implementer of the C++ Standard Template Library
- Christopher Strachey, co-designer of CPL (programming language), father of Denotational semantics
- Bjarne Stroustrup, the 2015 AITO Dahl-Nygaard Prize for the design, implementation, and evolution of C++ and IEEE Computer Society 2018 Computer Pioneer Award
- Gerald Jay Sussman, co-designer of Scheme
- Bert Sutherland, developed a two-dimensional programming language for manipulating graphical data,[34] participated in the development of Smalltalk and Java
- Don Syme, creator of F#
T
- Tim Teitelbaum, co-developed the early (1978) IDE the Cornell Program Synthesizer,[29] co-founded GrammaTech, which developed CodeSonar, which performs static analysis on C, C++, C#, and Java
- Warren Teitelman, for BBN LISP, the 1992 ACM Software System Award for the IDE called Interlisp
- Ken Thompson, designer of B, co-designer of Go, the 1983 Turing Award
- Mads Tofte, co-author of the Definition of Standard ML, region inference, POPL 1994 Most Influential Paper Award[24]
- Emina Torlak, received the 2021 ACM SIGPLAN Robin Milner Young Researcher Award for leading work in automated verification[17]
- David A. Turner, designed and implemented SASL, KRC, and Miranda, member of IFIP Working Group 2.1 on Algorithmic Languages and Calculi
U
- 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 compilation 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]
- John Vlissides, one of the Gang of Four, the 2006 AITO Dahl-Nygaard Prize, for ... their book Design Patterns: ..., ACM SIGPLAN 2005 PL Achievement Award[6]
- Victor A. Vyssotsky, co-developed the pioneer dataflow language BLODI (BLOck DIagram). See Dataflow programming
W
- Eiiti Wada, member of a team that designed ALGOL N as a proposed successor to ALGOL 60, but it was not chosen for what became ALGOL 68; he later became a member of IFIP Working Group 2.1
- Philip Wadler, co-designer of Haskell, involved in adding generic types to Java 5.0, POPL 1993 Most Influential Paper Award[24]
- Larry Wall, designer of Perl
- Mitchell Wand works on semantics of programming languages, co-author of Essentials of Programming Languages
- John Warnock, the 1989 ACM Software System Award for PostScript
- David Warren, wrote the first compiler for Prolog, designed the Warren Abstract Machine (WAM), the de facto standard target for Prolog compilers
- Mark Wegman, co-invented the Static single-assignment form, the ACM SIGPLAN 2006 PL Achievement Award[6]
- Peter Wegner, seminal work with Cardelli in OO programming: On Understanding Types[35]
- Peter J. Weinberger, contributed to the AWK programming language and the Fortran compiler f77
- Stephanie Weirich work on type inference has been incorporated into the Glasgow Haskell Compiler; the 2016 ACM SIGPLAN Robin Milner Young Researcher Award[17]
- David J. Wheeler, the IEEE Computer Society 1985 Computing Pioneer Award for Assembly language programming
- Jennifer Widom, for her PhD thesis on trace-based network proof systems[36]
- Adriaan van Wijngaarden, a designer of ALGOL 60 and ALGOL 68, developed the two-level Van Wijngaarden grammar, expounded continuations
- Jeannette Wing, early work included A behavioral notion of subtyping,[37] influential in the field as Corporate Vice President of Microsoft Research and later as Columbia University executive vice president for research
- Niklaus Wirth, the 1984 Turing Award for developing a sequence of innovative computer languages, EULER, ALGOL W, Pascal, Modula, and Oberon
- Stephen Wolfram, creator of Mathematica and Wolfram Language
- Mike Woodger, influential in the design of software and languages, including ALGOL 60 and Ada[38]
- Philip Woodward, designed Coral 66; his computer team developed the first implementation of ALGOL 68, ALGOL 68-R
- William Wulf, co-designer of BLISS, wrote an optimizing compiler for it, co-founded the compiler technology company Tartan, Inc.
Y
- Katherine Yelick, known for her work in Partitioned global address space languages, including co-inventing Unified Parallel C
- Andrey Yershov, theory, design, and implementation of programming languages (ALPHA, BETA, Rapira),[39] partial evaluation
- Nobuo Yoneda, member of a team that designed ALGOL N as a proposed successor to ALGOL 60, but it was not chosen for what became ALGOL 68; a member of IFIP Working Group 2.1
- Akinori Yonezawa, the 2008 AITO Dahl-Nygaard Prize for "his overall contribution to both theory and practice of concurrent OO languages...", designer ABCL/R, a reflective subset of the first concurrent OO programming language ABCL/1
Z
- Marvin Zelkowitz, PL features to aid in program development and debugging, tests for runtime correctness of executable code[40][41]
- Heinz Zemanek, managed the Vienna Lab, was crucial in its developing a formal definition of PL/I
- Jaap A. Zonneveld, he and Edsger W. Dijkstra wrote the first Algol 60 compiler
References
- Arden, B.; Graham, R. (1959). "On GAT and the construction of translators". Communications of the ACM. 2 (7): 24. doi:10.1145/368370.368373. S2CID 6703069.
- "Programming Languages Software Award". ACM SIGPLAN. Retrieved 2022-08-29.
- Bal, Henri E.; Kaashoek, M. Frans; Tanenbaum, Andrew S. (1992). "Orca: A language for parallel programming of distributed systems". IEEE Transactions on Software Engineering. IEEE. 18 (3): 190–205. doi:10.1109/32.126768. S2CID 1513191.
- Samelson, Klaus; Bauer, Friedrich Ludwig (February 1960). "Sequential Formula Translation". Communications of the ACM. 3 (2): 76–83. doi:10.1145/366959.366968. S2CID 16646147.
- "AITO Dahl-Nygaard Prize Winners". Association Internationale pour les Technologies Objets. 2014. Retrieved 2022-08-21.
- "Programming Languages AchievementAward". www.sigplan.org. Retrieved 2022-08-30.
- "ACM-AAAI Allen Newell Award". ACM. Retrieved 2022-09-07.
- "Jeremy Gibbons: publications". University of Oxford. Retrieved 2022-09-05.
- "NAE members directory". NAE. 1993. Retrieved 2022-08-20.
- Gries, David (1971). Compiler Construction for Digital Computers (in English, Spanish, Japanese, Chinese, Italian, and Russian). New York: John Wiley and Sons. ISBN 0-471-32776-X.
The first text on compiler writing.
- "IBM Punch cards on which the book was written are in the Stanford Museum". Retrieved 11 July 2022.
- Gries, David; Levin, Gary (October 1980). "Assignment and procedure call proof rules". ACM Transactions on Programming Languages and Systems. 2 (4): 564–579. doi:10.1145/357114.357119. S2CID 2639439.
- THE DESIGN AND IMPLEMENTATION OF PROGRAMMING LANGUAGES (PDF), University of Oxford, July 1983, retrieved September 7, 2022
- Jones, C.B. (June 1981). Development Methods for Computer Programs including a Notion of Interference (PDF) (DPhil thesis). Oxford University.
- Gilles Kahn and David MacQueen (1976). Coroutines and Networks of Parallel Processes (Report). INRIA.
- Kenneth C. Knowlton (1966), "A programmer's description of L6", CACM, 9 (8): 616–625, doi:10.1145/365758.365792, S2CID 43669187
- "Robin Milner Young Researcher Award". SIGPLAN. 2021. Retrieved 2022-08-23.
- Bruce Leasure (2011). "Parafrase". In Padua, D. (ed.). Encyclopedia of Parallel Computing. Springer, Boston, MA. pp. 1407–1409. doi:10.1007/978-0-387-09766-4_434. ISBN 978-0-387-09765-7.
- PLDI is short for Programming Language Design and Implementation
- "Most Influential PLDI Paper Award". SIGPLAN. Retrieved 2022-08-21.
- Lindsey, C. H. (1996). "A History of ALGOL 68". In Bergin, T. J.; Gibson, R. G. (eds.). History of Programming Languages-II. ACM Press. ISBN 0-201-89502-1.
- Liu, Yanhong Annie (January 1996). Incremental Computation: A Semantics-Based Systematic Transformational Approachs (PhD thesis). Cornell University. hdl:1813/7208. Retrieved 2022-09-08.
- Yanhong Annie Liu (2013). Systematic Program Design: From Clarity to Efficiency. Cambridge University Press. ISBN 978-1-107-61079-8.
- "Most Influential POPL Paper Award". ACM SIGPLAN. Retrieved 2022-08-29.
- Natural Programming project, archived from the original on 2002-09-30, retrieved 2022-11-11
- Owicki, Susan; Lamport, Leslie (July 1982). "Proving liveness properties of concurrent programs". ACM Transactions on Programming Languages and Systems. 9 (3): 455–495. doi:10.1145/357172.357178. S2CID 17838416.
- Brian Randell; Lawford John Russell (1964). Algol 60 Implementation (PDF). Academic Press. ISBN 0-12-578150-4.
- "The Proteus System for the Development of Parallel Applications". Kestrel Institute. 1994. Retrieved 2022-08-23.
- Teitelbaum, T.; T. Reps (September 1981). "The Cornell Program Synthesizer: A syntax-directed programming environment". Communications of the ACM. 24 (9): 563–573. doi:10.1145/358746.358755. S2CID 14317073.
- O.C., Chesley; Ren, X.; Ryder, Barbara G. (26 September 2005). Crisp: a debugging tool for Java programs. 21st IEEE International Conference on Software Maintenance (ICSM'05). IEEE. pp. 712–734. doi:10.1109/ICSM.2005.37. Retrieved 2022-08-23.
- 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.
- Schneider, Fred B. (September 1997). On concurrent programming. Texts in Computer Science. Springer Verlag, Berlin, Heidelberg. p. 473. doi:10.1007/978-1-4612-1830-2. ISBN 978-0-387-94942-0. S2CID 9980317.
- Sergey, Ilya; Nagaraj, Vaivaswatha; Johannsen, Jacob; Kumar, Amrit; Trunov, Anton; Hao, Ken Chan Guan (October 2019). Stephen N. Freund; Eran Yahav (eds.). "Safer smart contract programming with Scilla". Proceedings of the ACM on Programming Languages (PACMPL). ACM. 3 (OOPSLA): 1–30. doi:10.1145/3360611. S2CID 203577198.
- Sutherland, William Robert (January 1966). The on-line graphical specification of computer procedures (PhD thesis). MIT. hdl:1721.1/13474. Retrieved 2022-08-25.
- Cardelli, Luca; Wegner, Peter (December 1985). "On understanding types, data abstraction, and polymorphism" (PDF). ACM Computing Surveys. 17 (4): 471–523. CiteSeerX 10.1.1.117.695. doi:10.1145/6041.6042. ISSN 0360-0300. S2CID 2921816.
- Widom, Jennifer (1987). Trace-based network proof systems: expressiveness and completeness (concurrency) (PhD thesis). Cornell University. Retrieved 21 August 2022.
- Liskov, Barbara H.; Wing, Jeannette (November 1994). "A behavioral notion of subtyping". ACM Transactions on Programming Languages and Systems. 16 (6): 1811–1841. doi:10.1145/197320.197383. S2CID 999172.
- Yates, David (Spring 2010). "Pioneer Profile: Michael Woodger". Computer Resurrection – the Bulletin of the Computer Conservation Society. Vol. 50.
- "Andrei Petrovich Ershov" (PDF). IEEE Computer Society.
- — (September 1973). "Reversible execution". CACM. 16 (9): 566–566. doi:10.1145/362342.362360.
- — (January 1981). "Implementation of language enhancements". Computer Languages. 6 (3–4): 139–153. doi:10.1016/0096-0551(81)90026-6.
External links
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.