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 and the B-Method, targeted at the clear specification and refinement 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
  • Arvind, see Arvind Mithal
  • Lennart Augustsson, languages (Lazy ML, Cayenne), compilers (HBC Haskell, parallel Haskell front end, Bluespec SystemVerilog early)

B

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
  • Alonzo Church, the Lambda calculus; considered a founder of computer science
  • 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

E

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

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 compiling
  • 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, known for involvement in designing the language Haskell, and for several textbooks on it and computer music
  • Gérard Huet, ACM SIGPLAN 2013 PL Software Award[2] and the 2015 ACM Software System Award for the Coq proof assistant
  • 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 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

K

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 defining 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 language named Cryptol
  • Harold Lawson, the IEEE Computer Society 2000 Computer 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 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
  • 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
  • David Luckham, contributions to Lisp and verification of Pascal; cofounder of the Ada compiler

M

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
  • Maurice Nivat, research in formal languages and programming language semantics; received the 2002 EATCS award
  • 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

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
  • Manfred Paul, Thesis: On the Structure of Formal Languages (1962, German); co-developer of Alcor-Illinois ALGOL 60 compiler
  • 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, first Turing Award recipient, 1966, for ... and compiler construction, ALGOL 58
  • Carl Adam Petri, the IEEE Computer Society 2008 Computer 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
  • Keshav K Pingali, 2023 Computer Society Charles Babbage Award, for contributions to high-performance compilers and graph computing
  • 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, COWSEL (renamed POP-1), POP-2, POP-11 languages, Poplog IDE; Freddy II robot
  • 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 Computer 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

T

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 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]
  • 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

Y

Z

See also

References

  1. 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.
  2. "Programming Languages Software Award". ACM SIGPLAN. Retrieved 2022-08-29.
  3. Bal, Henri E.; Kaashoek, M. Frans; Tanenbaum, Andrew S. (1992). "Orca: A language for parallel programming of distributed systems". IEEE Transactions on Software Engineering. 18 (3). IEEE: 190–205. doi:10.1109/32.126768. S2CID 1513191.
  4. 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.
  5. "AITO Dahl–Nygaard Prize Winners". Association Internationale pour les Technologies Objets. 2014. Retrieved 2022-08-21.
  6. "Programming Languages AchievementAward". Sigplan.org. Retrieved 2022-08-30.
  7. "ACM-AAAI Allen Newell Award". ACM. Retrieved 2022-09-07.
  8. "Jeremy Gibbons: publications". University of Oxford. Retrieved 2022-09-05.
  9. "NAE members directory". NAE. 1993. Retrieved 2022-08-20.
  10. 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.
  11. "IBM Punch cards on which the book was written are in the Stanford Museum". Retrieved 11 July 2022.
  12. 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.
  13. The Design and Implementation of Programming Languages (PDF), University of Oxford, July 1983, retrieved September 7, 2022
  14. Jones, C.B. (June 1981). Development Methods for Computer Programs including a Notion of Interference (PDF) (DPhil thesis). Oxford University.
  15. Gilles Kahn and David MacQueen (1976). Coroutines and Networks of Parallel Processes (Report). INRIA.
  16. Kenneth C. Knowlton (1966), "A programmer's description of L6", CACM, 9 (8): 616–625, doi:10.1145/365758.365792, S2CID 43669187
  17. "Robin Milner Young Researcher Award". SIGPLAN. 2021. Retrieved 2022-08-23.
  18. 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.
  19. PLDI is short for Programming Language Design and Implementation
  20. "Most Influential PLDI Paper Award". SIGPLAN. Retrieved 2022-08-21.
  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.
  22. Liu, Yanhong Annie (January 1996). Incremental Computation: A Semantics-Based Systematic Transformational Approach (PhD thesis). Cornell University. hdl:1813/7208. Retrieved 2022-09-08.
  23. Yanhong Annie Liu (2013). Systematic Program Design: From Clarity to Efficiency. Cambridge University Press. ISBN 978-1-107-61079-8.
  24. "Most Influential POPL Paper Award". ACM SIGPLAN. Retrieved 2022-08-29.
  25. Natural Programming project, archived from the original on 2022-10-25, retrieved 2022-11-11
  26. 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.
  27. Brian Randell; Lawford John Russell (1964). Algol 60 Implementation (PDF). Academic Press. ISBN 0-12-578150-4.
  28. "The Proteus System for the Development of Parallel Applications". Kestrel Institute. 1994. Retrieved 2022-08-23.
  29. 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.
  30. 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.
  31. 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.
  32. 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.
  33. 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). 3 (OOPSLA). ACM: 1–30. doi:10.1145/3360611. S2CID 203577198.
  34. Sutherland, William Robert (January 1966). The on-line graphical specification of computer procedures (PhD thesis). MIT. hdl:1721.1/13474. Retrieved 2022-08-25.
  35. 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.
  36. Widom, Jennifer (1987). Trace-based network proof systems: expressiveness and completeness (concurrency) (PhD thesis). Cornell University. Retrieved 21 August 2022.
  37. 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.
  38. Yates, David (Spring 2010). "Pioneer Profile: Michael Woodger". Computer Resurrection – the Bulletin of the Computer Conservation Society. Vol. 50.
  39. "Andrei Petrovich Ershov" (PDF). IEEE Computer Society.
  40. (September 1973). "Reversible execution". CACM. 16 (9): 566. doi:10.1145/362342.362360. S2CID 24277687.
  41. (January 1981). "Implementation of language enhancements". Computer Languages. 6 (3–4): 139–153. doi:10.1016/0096-0551(81)90026-6.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.