Wikipedia

List of programming language researchers

The following is list of researchers of programming language theory, design, implementation, and related areas.

This is a dynamic list and may never be able to satisfy particular standards for completeness. You can help by adding missing items with reliable sources.

A

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

edit

C

edit

D

edit

E

edit

F

edit

G

edit

H

edit

I

edit

J

edit

K

edit

L

edit

M

edit

N

edit

O

edit

P

edit

R

edit

S

edit

T

edit

U

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

edit

W

edit

Y

edit

Z

edit

See also

edit

References

edit
  1. ^ a b 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. ^ a b c d e f g h i j k l m "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. ^ a b 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. ^ a b "AITO Dahl–Nygaard Prize Winners". Association Internationale pour les Technologies Objets. 2014. Retrieved 2022-08-21.
  6. ^ a b c d e f g h i j k l m n o p q "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. ^ a b c d "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. ^ a b c d e "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. ^ a b 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. 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.
edit
Retrieved from "https://en.wikipedia.org/w/index.php?title=List_of_programming_language_researchers&oldid=1251049873"
  NODES
Association 1
coding 1
debugging 2
HOME 1
Idea 4
idea 4
innovation 1
Intern 2
Javascript 4
languages 76
mac 7
Note 2
OOP 3
os 35
swift 1
text 8
visual 3