Biography:List of programming language researchers

From HandWiki
Short description: none
This list is incomplete; you can help by expanding it.

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 expanding it with reliably sourced entries.

A

B

C

D

E

F

G

H

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

P

R

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. ↑ 1.0 1.1 Arden (1959). "On GAT and the construction of translators". Communications of the ACM 2 (7): 24. doi:10.1145/368370.368373. 
  2. ↑ 2.00 2.01 2.02 2.03 2.04 2.05 2.06 2.07 2.08 2.09 2.10 2.11 2.12 "Programming Languages Software Award". ACM SIGPLAN. https://www.sigplan.org/Awards/Software/. 
  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 (IEEE) 18 (3): 190–205. doi:10.1109/32.126768. https://research.vu.nl/ws/files/74115260/10970. 
  4. ↑ 4.0 4.1 Samelson, Klaus; Bauer, Friedrich Ludwig (February 1960). "Sequential Formula Translation". Communications of the ACM 3 (2): 76–83. doi:10.1145/366959.366968. 
  5. ↑ 5.0 5.1 "AITO Dahl–Nygaard Prize Winners". Association Internationale pour les Technologies Objets. 2014. https://www.aito.org/aito-dahl-nygaard/statutes-of-dahl-nygaard. 
  6. ↑ 6.00 6.01 6.02 6.03 6.04 6.05 6.06 6.07 6.08 6.09 6.10 6.11 6.12 6.13 6.14 6.15 6.16 "Programming Languages AchievementAward". https://www.sigplan.org/Awards/Achievement/. 
  7. ↑ "ACM-AAAI Allen Newell Award". ACM. https://awards.acm.org/newell. 
  8. ↑ "Jeremy Gibbons: publications". University of Oxford. https://www.cs.ox.ac.uk/softeng/Jeremy.Gibbons/publications.html. 
  9. ↑ "NAE members directory". NAE. 1993. https://www.nae.edu/20412/MemberDirectory?qps=05&q=for%20contributions%20to%20the%20theory%20and%20practice%20of%20compiler%20construction. 
  10. ↑ Gries, David (1971) (in English, Spanish, Japanese, Chinese, Italian, Russian). Compiler Construction for Digital Computers. 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". http://infolab.stanford.edu/pub/voy/museum/pictures/display/floor5.htm. 
  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. 
  13. ↑ The Design and Implementation of Programming Languages, University of Oxford, July 1983, https://www.cs.ox.ac.uk/files/3309/PRG40.pdf, 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 
  17. ↑ 17.0 17.1 17.2 17.3 "Robin Milner Young Researcher Award". SIGPLAN. 2021. https://www.sigplan.org/Awards/Milner/. 
  18. ↑ Bruce Leasure (2011). "Parafrase". in Padua, D.. 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. https://link.springer.com/referenceworkentry/10.1007/978-0-387-09766-4_434. 
  19. ↑ PLDI is short for Programming Language Design and Implementation
  20. ↑ "Most Influential PLDI Paper Award". SIGPLAN. https://www.sigplan.org/Awards/PLDI/. 
  21. ↑ Lindsey, C. H. (1996). "A History of ALGOL 68". in Bergin, T. J.; Gibson, R. G.. 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. ↑ 24.0 24.1 24.2 24.3 24.4 "Most Influential POPL Paper Award". ACM SIGPLAN. https://www.sigplan.org/Awards/POPL/. 
  25. ↑ Natural Programming project, https://www.cs.cmu.edu/~NatProg/, 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. 
  27. ↑ Brian Randell; Lawford John Russell (1964). Algol 60 Implementation. Academic Press. ISBN 0-12-578150-4. http://www.softwarepreservation.org/projects/ALGOL/book/Randell_ALGOL_60_Implementation_1964.pdf. 
  28. ↑ "The Proteus System for the Development of Parallel Applications". Kestrel Institute. 1994. https://www.kestrel.edu/people/goldberg/papers/proteus-abstract/. 
  29. ↑ 29.0 29.1 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. 
  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. https://ieeexplore.ieee.org/document/1510135. Retrieved 2022-08-23. 
  31. ↑ Wei, Shiyi; Ryder, Barbara G. (2015). "Adaptive context-sensitive analysis for JavaScript". 29th European Conference on Object-Oriented Programming (ECOOP 2015). 37. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. pp. 712–734. https://drops.dagstuhl.de/opus/volltexte/2015/5244/. Retrieved 2022-08-23. 
  32. ↑ Schneider, Fred B. (September 1997). On concurrent programming. Texts in Computer Science. Springer Verlag, Berlin, Heidelberg. pp. 473. doi:10.1007/978-1-4612-1830-2. ISBN 978-0-387-94942-0. 
  33. ↑ Sergey, Ilya; Nagaraj, Vaivaswatha; Johannsen, Jacob; Kumar, Amrit; Trunov, Anton; Hao, Ken Chan Guan (October 2019). "Safer smart contract programming with Scilla". Proceedings of the ACM on Programming Languages (PACMPL) (ACM) 3 (OOPSLA): 1–30. doi:10.1145/3360611. 
  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". ACM Computing Surveys 17 (4): 471–523. doi:10.1145/6041.6042. ISSN 0360-0300. http://lucacardelli.name/Papers/OnUnderstanding.A4.pdf. 
  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. 
  38. ↑ Yates, David (Spring 2010). "Pioneer Profile: Michael Woodger". Computer Resurrection – the Bulletin of the Computer Conservation Society 50. http://www.computerconservationsociety.org/resurrection/res50.htm#d. 
  39. ↑ "Andrei Petrovich Ershov". IEEE Computer Society. https://history.computer.org/pioneers/pdfs/E/Ershov.pdf. 
  40. ↑ Zelkowitz, Marvin V. (September 1973). "Reversible execution". CACM 16 (9): 566. doi:10.1145/362342.362360. 
  41. ↑ Zelkowitz, Marvin V. (January 1981). "Implementation of language enhancements". Computer Languages 6 (3–4): 139–153. doi:10.1016/0096-0551(81)90026-6. 

External links



Retrieved from "https://handwiki.org/wiki/index.php?title=Biography:List_of_programming_language_researchers&oldid=3438228"