Login
Login

List of programming language researchers

{{Short description|none}}

{{Incomplete list|date=January 2009}}

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

{{Dynamic list}}

{{Horizontal TOC|nonum=y}}

A

| first1=B. |author-link1=Bruce Arden |last2=Graham |first2=R.

| doi=10.1145/368370.368373 |title=On GAT and the construction of translators

| journal=Communications of the ACM |volume=2 |issue=7 |pages=24 |year=1959

| s2cid=6703069|doi-access=free }} for the IBM 650 and MAD

B

|last1=Bal

|first1=Henri E.

|author-link1=Henri Bal

|last2=Kaashoek

|first2=M. Frans

|last3=Tanenbaum

|first3=Andrew S.

|title=Orca: A language for parallel programming of distributed systems

|doi=10.1109/32.126768

|journal=IEEE Transactions on Software Engineering

|volume=18

|issue=3

|pages=190–205

|year=1992

|publisher=IEEE

|s2cid=1513191

|url=https://research.vu.nl/ws/files/74115260/10970

}}

C

|url=https://www.sigplan.org/Awards/POPL/

|title=POPL 2000 Most Influential Paper Award}}

|url=https://www.aito.org/aito-dahl-nygaard/statutes-of-dahl-nygaard

|title=AITO Dahl–Nygaard Prize Winners

|date=2014

|publisher=Association Internationale pour les Technologies Objets

|access-date=2022-08-21}}

D

E

F

|url=https://www.sigplan.org/Awards/Software/

|title=Programming Languages Software Award

|date=

|publisher=ACM SIGPLAN

|access-date=2022-08-29}} for Racket, ACM SIGPLAN 2012 PL Achievement Award

G

|url=https://awards.acm.org/newell

|title=ACM-AAAI Allen Newell Award

|date=

|publisher=ACM

|access-date=2022-09-07}} for innovations in programming languages and software design ...

|url=https://www.cs.ox.ac.uk/softeng/Jeremy.Gibbons/publications.html

|title=Jeremy Gibbons: publications

|date=

|publisher=University of Oxford

|access-date=2022-09-05}} generic programming and functional programming, member of IFIP Working Group 2.1 on Algorithmic Languages and Calculi, which supports and maintains ALGOL 60 and ALGOL 68

|url=https://www.nae.edu/20412/MemberDirectory?qps=05&q=for%20contributions%20to%20the%20theory%20and%20practice%20of%20compiler%20construction

|title=NAE members directory

|date=1993

|publisher=NAE

|access-date=2022-08-20}} ACM SIGPLAN 2000 PL Achievement Award

|language=English, Spanish, Japanese, Chinese, Italian, Russian

|quote=The first text on compiler writing.}}{{Cite web

|title=IBM Punch cards on which the book was written are in the Stanford Museum

|url=http://infolab.stanford.edu/pub/voy/museum/pictures/display/floor5.htm

|access-date=11 July 2022}} contributions to semantics of programming language constructs, e.g. Interference freedom and{{cite journal

|last1= Gries

|first1= David

|author-link1= David Gries

|last2= Levin

|first2= Gary

|title= Assignment and procedure call proof rules

|journal= ACM Transactions on Programming Languages and Systems

|volume= 2

|issue= 4

|date= October 1980

|pages= 564–579

|doi= 10.1145/357114.357119|s2cid= 2639439

|doi-access= free

}}

H

{{Citation

| title=The Design and Implementation of Programming Languages

| url=https://www.cs.ox.ac.uk/files/3309/PRG40.pdf

| access-date=September 7, 2022

| publisher=University of Oxford

| date=July 1983

}}

co-developer of the QuickCheck software library, 2018 ACM Fellow for contributions to software testing and functional programming

I

J

|last=Jones

|first=C.B.

|title=Development Methods for Computer Programs including a Notion of Interference

|date=June 1981

|degree=DPhil

|publisher=Oxford University

|url=http://www.cs.ox.ac.uk/files/9025/PRG-25.pdf

|doi=}}

K

{{cite report

| title=Coroutines and Networks of Parallel Processes

| author=Gilles Kahn and David MacQueen

| publisher=INRIA

| year=1976

}}

{{citation

| title=A programmer's description of L6

| author=Kenneth C. Knowlton

| journal=CACM

| volume=9

| year=1966

| issue=8

|pages=616–625

| doi=10.1145/365758.365792

| s2cid=43669187

| doi-access=free

}} which introduced postfix field selection to list processing

| title=Encyclopedia of Parallel Computing

| chapter-url=https://link.springer.com/referenceworkentry/10.1007/978-0-387-09766-4_434

| editor=Padua, D.

| publisher=Springer, Boston, MA

| author1=Bruce Leasure

| chapter=Parafrase

| year=2011| pages=1407–1409

| doi=10.1007/978-0-387-09766-4_434

| isbn=978-0-387-09765-7

}} and KAP Tools

L

|url=https://www.sigplan.org/Awards/PLDI/

|title=Most Influential PLDI Paper Award

|date=

|publisher=SIGPLAN

|access-date=2022-08-21}}

|last= Liu

|first= Yanhong Annie

|date= January 1996

|title= Incremental Computation: A Semantics-Based Systematic Transformational Approach

|publisher= Cornell University

|hdl= 1813/7208

|type= PhD thesis

|url= https://hdl.handle.net/1813/7208

|access-date=2022-09-08}} book on systematic program design{{cite book

| title=Systematic Program Design: From Clarity to Efficiency

| url=

| author=Yanhong Annie Liu

| author-link=Yanhong Annie Liu

| publisher=Cambridge University Press

| year=2013

| isbn=978-1-107-61079-8}}

M

|url=https://orc.csres.utexas.edu/

|title=Orc}}

|url=https://www.sigplan.org/Awards/POPL/

|title=Most Influential POPL Paper Award

|date=

|publisher=ACM SIGPLAN

|access-date=2022-08-29}} for applying type system ideas to low level programming

|title=Natural Programming project

|archive-url=https://web.archive.org/web/20221025224806/https://www.cs.cmu.edu/~NatProg/index.html

|archive-date=2022-10-25 |access-date=2022-11-11}}

N

O

|last1=Owicki

|first1=Susan

|author-link1=Susan Owicki

|last2=Lamport

|first2=Leslie

|author-link2=Leslie Lamport

|title=Proving liveness properties of concurrent programs

|doi=10.1145/357172.357178

|journal=ACM Transactions on Programming Languages and Systems

|volume=9

|pages=455–495

|date=July 1982

|issue=3

|s2cid=17838416

|doi-access=free

}}

P

R

| title=Algol 60 Implementation

| url=http://www.softwarepreservation.org/projects/ALGOL/book/Randell_ALGOL_60_Implementation_1964.pdf

| author1=Brian Randell

| author-link=Brian Randell

| author2=Lawford John Russell

| publisher=Academic Press

| year=1964

| isbn=0-12-578150-4}}

  • John Reif, the Proteus language and system for the development of parallel applications{{cite web

|url=https://www.kestrel.edu/people/goldberg/papers/proteus-abstract/

|title=The Proteus System for the Development of Parallel Applications

|date=1994

|publisher=Kestrel Institute

|access-date=2022-08-23}}

  • Thomas W. Reps, co-developed the early (1978) IDE the Cornell Program Synthesizer,{{cite journal

|last=Teitelbaum

|first=T.

|author2=T. Reps

|title=The Cornell Program Synthesizer: A syntax-directed programming environment

|journal=Communications of the ACM

|volume=24

|issue=9

|date=September 1981

|pages=563–573

|doi=10.1145/358746.358755| s2cid=14317073

|doi-access=free

}} co-founded GrammaTech, which developed CodeSonar, ACM SIGPLAN 2017 PL Achievement Award

|first1= Chesley

|last1= O.C.

|first2= X.

|last2= Ren

|first3= Barbara G.

|last3= Ryder

|author-link3= Barbara G. Ryder

|url=https://ieeexplore.ieee.org/document/1510135

|title=Crisp: a debugging tool for Java programs

|conference=21st IEEE International Conference on Software Maintenance (ICSM'05)

|date=26 September 2005

|pages=712–734

|publisher=IEEE

|doi=10.1109/ICSM.2005.37

|access-date=2022-08-23|url-access=subscription

}}{{cite conference

|first1= Shiyi

|last1= Wei

|first2= Barbara G.

|last2= Ryder

|author-link2= Barbara G. Ryder

|url=https://drops.dagstuhl.de/opus/volltexte/2015/5244/

|title=Adaptive context-sensitive analysis for JavaScript

|conference=29th European Conference on Object-Oriented Programming (ECOOP 2015)

|year=2015

|volume=37

|pages=712–734

|editor-first1=John Tang

|editor-last1=Boyland

|publisher=Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik

|access-date=2022-08-23}}

S

|title=On concurrent programming

|last=Schneider

|first=Fred B.

|author-link=Fred B. Schneider

|publisher=Springer Verlag, Berlin, Heidelberg

|date=September 1997

|doi=10.1007/978-1-4612-1830-2

|series=Texts in Computer Science

|isbn=978-0-387-94942-0

|pages=473

|s2cid=9980317

}}

|last1=Sergey

|first1=Ilya

|last2=Nagaraj

|first2=Vaivaswatha

|last3=Johannsen

|first3=Jacob

|last4=Kumar

|first4=Amrit

|last5=Trunov

|first5=Anton

|last6=Hao

|first6=Ken Chan Guan

|title=Safer smart contract programming with Scilla

|pages=1–30

|date=October 2019

|journal=Proceedings of the ACM on Programming Languages

|editor1=Stephen N. Freund

|editor2=Eran Yahav

|volume=3

|issue=OOPSLA

|publisher=ACM

|doi=10.1145/3360611

|s2cid=203577198

|doi-access=free

}} and work on {{cite web

|url=https://kuleuven.limo.libis.be/discovery/fulldisplay?docid=lirias1655948&context=SearchWebhook&vid=32KUL_KUL:Lirias&search_scope=lirias_profile&tab=LIRIAS&adaptor=SearchWebhook&lang=en

|title=Operational Aspects of Type Systems}}

|last=Sutherland

|first=William Robert

|author-link=Bert Sutherland

|date=January 1966

|title=The on-line graphical specification of computer procedures

|publisher=MIT

|hdl=1721.1/13474

|type=PhD thesis

|url=https://dspace.mit.edu/handle/1721.1/13474

|access-date=2022-08-25}} participated in the development of Smalltalk and Java

T

|url=https://www.sigplan.org/Awards/Milner/

|title=Robin Milner Young Researcher Award

|year=2021

|publisher=SIGPLAN

|access-date=2022-08-23}}

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

W

|last=Widom

|first=Jennifer

|author-link=Jennifer Widom

|date=1987

|title=Trace-based network proof systems: expressiveness and completeness (concurrency)

|type=PhD thesis

|publisher=Cornell University

|url=https://ecommons.cornell.edu/handle/1813/6673

|access-date=21 August 2022

}}

|last1=Liskov

|first1=Barbara H.

|author-link1=Barbara Liskov

|last2=Wing

|first2=Jeannette

|author-link2=Jeannette Wing

|title=A behavioral notion of subtyping

|journal=ACM Transactions on Programming Languages and Systems

|volume=16

|issue=6

|date=November 1994

|pages=1811–1841

|doi=10.1145/197320.197383 |s2cid=999172

|doi-access=free

}} influential in the field as Corporate Vice President of Microsoft Research and later as Columbia University executive vice president for research

|url=http://www.computerconservationsociety.org/resurrection/res50.htm#d |first=David |last=Yates

|title=Pioneer Profile: Michael Woodger

|journal=Computer Resurrection – the Bulletin of the Computer Conservation Society

|volume=50 |date=Spring 2010}}

Y

{{cite web

|title=Andrei Petrovich Ershov

|publisher=IEEE Computer Society

|url=https://history.computer.org/pioneers/pdfs/E/Ershov.pdf}} partial evaluation

Z

  • Marvin Zelkowitz, PL features to aid in program development and debugging, tests for runtime correctness of executable code{{Cite journal

|last1=Zelkowitz

|first1=Marvin V.

|author-link1=

|author-mask1=1

|title=Reversible execution

|journal=CACM

|volume=16

|issue=9

|pages=566

|date=September 1973

|access-date=

|doi=10.1145/362342.362360

|s2cid=24277687

|doi-access=free

}}{{Cite journal

|last1=Zelkowitz

|first1=Marvin V.

|author-link1=

|author-mask1=1

|title=Implementation of language enhancements

|journal=Computer Languages

|volume=6

|issue=3–4

|pages=139–153

|date=January 1981

|access-date=

|doi=10.1016/0096-0551(81)90026-6

|doi-access=

}}

See also

References

{{reflist}}

External links

  • [https://www.cs.cmu.edu/~mleone/language-people.html Language People]

{{DEFAULTSORT:Programming language researchers}}

Category:Lists of computer scientists