Misplaced Pages

David Gries: Difference between revisions

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Browse history interactively← Previous editNext edit →Content deleted Content addedVisualWikitext
Revision as of 21:58, 19 October 2022 editWasted Time R (talk | contribs)Autopatrolled, Extended confirmed users, Pending changes reviewers, Rollbackers74,036 edits add fourth text and on department/teaching← Previous edit Revision as of 23:16, 19 October 2022 edit undoWasted Time R (talk | contribs)Autopatrolled, Extended confirmed users, Pending changes reviewers, Rollbackers74,036 edits add link; cite coalescing; put two papers in chrono order with full descr; standard spacing between entries in listsNext edit →
Line 34: Line 34:
| doctoral_students = ] (1971)<br/>] (1975)<br/>] (1989)<br/>] (1994)<ref name="mathgenealogy">{{cite web |title=David Gries |url=https://mathgenealogy.org/id.php?id=22781 |website=mathgenealogy.org |publisher=] |access-date=August 7, 2022}}</ref> | doctoral_students = ] (1971)<br/>] (1975)<br/>] (1989)<br/>] (1994)<ref name="mathgenealogy">{{cite web |title=David Gries |url=https://mathgenealogy.org/id.php?id=22781 |website=mathgenealogy.org |publisher=] |access-date=August 7, 2022}}</ref>


| known_for = First text on ] (1971)<ref name=GriesCompilers1971>{{Cite book |last=Gries |first=D. |date=1971 |title=Compiler Construction for Digital Computers |publisher=John Wiley and Sons |location=New York |isbn=0-471-32776-X|quote=The first text on compiler writing.}}</ref> <ref>{{Cite web | known_for = First text on ] (1971)<ref name=GriesCompilers1971>{{Cite book |last=Gries |first=D. |date=1971 |title=Compiler Construction for Digital Computers |publisher=John Wiley and Sons |location=New York |isbn=0-471-32776-X|quote=The first text on compiler writing.}}</ref><ref name="stanford-ccdc"/><br>]<br>Contributions to ], algorithms, ]

|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=July 11, 2022}}</ref><br>]<br>Contributions to ], algorithms, ]


| influences = | influences =
Line 76: Line 70:
He earned a ] (M.S.) in ] from the ] in 1963. While at Illinois, Gries worked with ] and Ruediger Wiehle to write a full ] for the language ] for the ] ]. He earned his '']'' in 1966 from the ], studying under ] and ]. He earned a ] (M.S.) in ] from the ] in 1963. While at Illinois, Gries worked with ] and Ruediger Wiehle to write a full ] for the language ] for the ] ]. He earned his '']'' in 1966 from the ], studying under ] and ].


Gries is member emeritus of {{Cite web Gries is member emeritus of ],<ref>{{Cite web
|title=IFIP Working Group 2.3 on Programming Methodology |title=IFIP Working Group 2.3 on Programming Methodology
|url=https://ifip-tc2-wg23.paluno.uni-due.de |url=https://ifip-tc2-wg23.paluno.uni-due.de
}}, whose aim is to increase programmers' ability to compose programs, and he edited }}</ref> whose aim is to increase programmers' ability to compose programs, and he edited
''Programming Methodology: a Collection of Articles by Members of IFIP WG2.3'', ''Programming Methodology: a Collection of Articles by Members of IFIP WG2.3'',
<ref name="WG23Book">{{Cite book <ref name="WG23Book">{{Cite book
Line 113: Line 107:
*{{Cite book |last=Gries |first=D. |date=1971 |title=Compiler Construction for Digital Computers |publisher=John Wiley and Sons |location=New York |isbn=0-471-32776-X *{{Cite book |last=Gries |first=D. |date=1971 |title=Compiler Construction for Digital Computers |publisher=John Wiley and Sons |location=New York |isbn=0-471-32776-X
|language=English, Spanish, Japanese, Chinese, Italian, Russian |language=English, Spanish, Japanese, Chinese, Italian, Russian
|quote=The first text on compiler writing.}}<ref>{{Cite web |quote=The first text on compiler writing.}}<ref name="stanford-ccdc"/>
|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=July 11, 2022}}</ref>

*{{Cite book |last1=Gries |first1=D. |last2=Conway |first2=R. |date=1973 |title=An Introduction to Programming: a structured approach, Edition 1 |publisher=Winthrop |location=Cambridge}} *{{Cite book |last1=Gries |first1=D. |last2=Conway |first2=R. |date=1973 |title=An Introduction to Programming: a structured approach, Edition 1 |publisher=Winthrop |location=Cambridge}}
*{{Cite journal

|last1=Owicki
|first1=S.
|authorlink1=
|last2=Gries
|first2=D.
|authorlink2=
|title=Verifying properties of parallel programs: an axiomatic approach
|doi=10.1145/360051.360224
|journal=]
|volume=19
|issue=5
|pages=279&ndash;285
|year=1976
|url=https://dl.acm.org/doi/10.1145/360051.360224
}}
*{{cite journal
|last1=Owicki
|first1=S.
|author-link1=
|last2=Gries
|first2=D.
|author-link2=
|title=An axiomatic proof technique for parallel programs I
|journal=]
|volume=6
|issue=4
|pages=319&ndash;340
|publisher=Springer (Germany)
|location=Berlin
|date=1976
|doi=10.1007/BF00268134
|url=https://doi.org/10.1007/BF00268134}}
*Gries, D., ed. (1979) ''Programming Methodology: a Collection of Articles by Members of IFIP WG2.3''<ref name="WG23Book" /> *Gries, D., ed. (1979) ''Programming Methodology: a Collection of Articles by Members of IFIP WG2.3''<ref name="WG23Book" />

*{{Cite book *{{Cite book
|last=Gries |last=Gries
Line 132: Line 153:
|location=New York |location=New York
|language=English, Spanish, Japanese, Chinese, Italian, Russian}} |language=English, Spanish, Japanese, Chinese, Italian, Russian}}

*{{Cite book *{{Cite book
|editor1-last=Gries |editor1-last=Gries
Line 148: Line 168:
|url=https://link.springer.com/book/10.1007/978-1-4612-4476-9 |url=https://link.springer.com/book/10.1007/978-1-4612-4476-9
|location=New York}} |location=New York}}

*{{Cite book |last1=Gries |first1=D. |last2=Schneider |first2=F. B. |date=1993 |title=A Logical Approach to Discrete Math *{{Cite book |last1=Gries |first1=D. |last2=Schneider |first2=F. B. |date=1993 |title=A Logical Approach to Discrete Math
|series=Monographs in Computer Science |series=Monographs in Computer Science
Line 154: Line 173:
|url=https://link.springer.com/book/10.1007/978-1-4757-3837-7 |url=https://link.springer.com/book/10.1007/978-1-4757-3837-7
|location=New York}} |location=New York}}

*{{Cite book |editor-last=Gries |editor-first=D. |editor2-last=De Roever |editor2-first=W. P. |date=1998 *{{Cite book |editor-last=Gries |editor-first=D. |editor2-last=De Roever |editor2-first=W. P. |date=1998
|title=Programming Concepts and Methods, PROCOMET '98 |title=Programming Concepts and Methods, PROCOMET '98
Line 161: Line 179:
|url=https://link.springer.com/book/10.1007/978-0-387-35358-6 |url=https://link.springer.com/book/10.1007/978-0-387-35358-6
|location=London}} |location=London}}

*{{Cite book |last1=Gries |first1=D. |last2=Gries |first2=P. |date=2004 *{{Cite book |last1=Gries |first1=D. |last2=Gries |first2=P. |date=2004
|title=Multimedia Introduction to Programming Using Java |publisher=Springer Verlag |title=Multimedia Introduction to Programming Using Java |publisher=Springer Verlag
Line 167: Line 184:
|url=https://link.springer.com/book/10.1007/b138328 |url=https://link.springer.com/book/10.1007/b138328
|location=New York}} |location=New York}}

*{{Cite book |last1=Gries |first1=D.|date=2022 *{{Cite book |last1=Gries |first1=D.|date=2022
|title=JavaHyperText and Data Structures |title=JavaHyperText and Data Structures
Line 173: Line 189:
|url=https://www.cs.cornell.edu/courses/JavaAndDS/definitions.html |url=https://www.cs.cornell.edu/courses/JavaAndDS/definitions.html
|location=Ithaca, New York}} |location=Ithaca, New York}}

*Gries, D.; Owicki, S. (1976) "Verifying properties of parallel programs: an axiomatic approach"<ref name="OwickiGries2">{{Cite journal
|last1=Owicki
|first1=Susan
|authorlink1=Susan Owicki
|last2=Gries
|first2=David
|authorlink2=David Gries
|title=Verifying properties of parallel programs: an axiomatic approach
|doi=10.1145/360051.360224
|journal=]
|volume=19
|issue=5
|pages=279&ndash;285
|year=1976
|url=https://dl.acm.org/doi/10.1145/360051.360224
}}</ref>

*Gries, D.; Owicki, S. (1976) "An axiomatic proof technique for parallel programs I" <ref name="Owicki-Gries">{{cite journal
|last1=Owicki
|first1=Susan
|author-link1=Susan Owicki
|last2=Gries
|first2=David
|author-link2=David Gries
|title=An axiomatic proof technique for parallel programs I
|journal=]
|volume=6
|issue=4
|pages=319&ndash;340
|publisher=Springer (Germany)
|location=Berlin
|date=June 25, 1976
|doi=10.1007/BF00268134
|url=https://doi.org/10.1007/BF00268134}}</ref>


==Awards== ==Awards==

*Cornell Bowers CIS Lifetime Achievement Award for Teaching<ref>{{Cite web *Cornell Bowers CIS Lifetime Achievement Award for Teaching<ref>{{Cite web


Line 220: Line 200:


|access-date=2022-07-10}}</ref> (2022) |access-date=2022-07-10}}</ref> (2022)

*Tau Beta Pi Professor of the Year<ref>{{Cite web *Tau Beta Pi Professor of the Year<ref>{{Cite web


Line 230: Line 209:


|access-date=2022-07-10}}</ref> (2022) |access-date=2022-07-10}}</ref> (2022)

*Oldest paper in the ] Technical Symposium Top Ten Papers of All Time<ref>{{cite web *Oldest paper in the ] Technical Symposium Top Ten Papers of All Time<ref>{{cite web


Line 266: Line 244:


}}</ref> (2019) }}</ref> (2019)

*] Booker Prize, with Paul Gries (2016)<ref name=GriesAwardsOnCS>{{cite web *] Booker Prize, with Paul Gries (2016)<ref name=GriesAwardsOnCS>{{cite web


Line 276: Line 253:


|access-date=2022-09-08}}</ref> |access-date=2022-09-08}}</ref>

*Honorary Doctor of Science, ], Oxford, Ohio (1999){{refn|The Cornell CS Department Timeline<ref name="Doctorate">{{cite web *Honorary Doctor of Science, ], Oxford, Ohio (1999){{refn|The Cornell CS Department Timeline<ref name="Doctorate">{{cite web


Line 288: Line 264:


|accessdate=2022-09-02}}</ref> announces this doctorate}} |accessdate=2022-09-02}}</ref> announces this doctorate}}

*Honorary Doctor of Laws, ], Nashua, New Hampshire (1996){{refn|The Cornell CS Department Timeline<ref name="Doctorate" /> announces this doctorate}} *Honorary Doctor of Laws, ], Nashua, New Hampshire (1996){{refn|The Cornell CS Department Timeline<ref name="Doctorate" /> announces this doctorate}}

*{{Cite web *{{Cite web


Line 296: Line 270:


|title=ACM Karl V. Karlstrom Outstanding Educator Award}} (1995) |title=ACM Karl V. Karlstrom Outstanding Educator Award}} (1995)

*Weiss Presidential Fellow<ref>{{Cite web *Weiss Presidential Fellow<ref>{{Cite web


Line 306: Line 279:


|access-date=2022-07-10}}</ref> –among the first ten Fellows (1995) |access-date=2022-07-10}}</ref> –among the first ten Fellows (1995)

* Advisor of T.V. Raman, whose Ph.D. thesis<ref>{{cite web * Advisor of T.V. Raman, whose Ph.D. thesis<ref>{{cite web


Line 320: Line 292:


|title=ACM Doctoral Dissertation Award}} (1995) |title=ACM Doctoral Dissertation Award}} (1995)

*] {{cite web *] {{cite web


Line 348: Line 319:


|access-date=2022-07-09}}</ref> (1994) |access-date=2022-07-09}}</ref> (1994)

*] Distinguished Service Award <ref>{{cite web *] Distinguished Service Award <ref>{{cite web


Line 358: Line 328:


|accessdate={{Format date|2022|07|10}}}}</ref> (1991) |accessdate={{Format date|2022|07|10}}}}</ref> (1991)

*Fellow, ]<ref>{{Cite web *Fellow, ]<ref>{{Cite web


Line 368: Line 337:


|access-date=2022-07-10}}</ref> (1990) |access-date=2022-07-10}}</ref> (1990)

*] ] (1991) *] ] (1991)

*] Education Award (1986) *] Education Award (1986)

*]<ref>{{Cite web *]<ref>{{Cite web


Line 382: Line 348:


|access-date=2022-07-10}}</ref> (1983) |access-date=2022-07-10}}</ref> (1983)

*ACM Programming Systems and Languages Paper Award, with ],<ref>{{cite web *ACM Programming Systems and Languages Paper Award, with ],<ref>{{cite web


Line 393: Line 358:
|year=1977 |year=1977


|accessdate=2022-07-07}}</ref> for the paper<ref name="OwickiGries2" /> (1977) |accessdate=2022-07-07}}</ref> for the "Verifying properties of parallel programs: an axiomatic approach" paper (1977)

* Superior Accomplishment Award, U.S. Naval Weapons Lab, Dahlgren, Va. (1961) * Superior Accomplishment Award, U.S. Naval Weapons Lab, Dahlgren, Va. (1961)


Revision as of 23:16, 19 October 2022

American computer scientist
A major contributor to this article appears to have a close connection with its subject. It may require cleanup to comply with Misplaced Pages's content policies, particularly neutral point of view. Please discuss further on the talk page. (August 2022) (Learn how and when to remove this message)

David Gries
David Gries in 2022
Born (1939-04-26) April 26, 1939 (age 85)
Flushing, Queens, New York, United States
CitizenshipUnited States
EducationB.S.; Queens College (1960)
M.S.; University of Illinois at Urbana-Champaign (1963)
Dr. rer. nat.; Technical University of Munich (1966)
Known forFirst text on Compiler construction (1971)
Interference freedom
Contributions to programming methodology, algorithms, CS education
Awards
Scientific career
FieldsComputer science
InstitutionsU.S. Naval Weapons Laboratory
Stanford University
University of Georgia
Cornell University
Doctoral advisorsFriedrich L. Bauer
Josef Stoer
Doctoral studentsSusan Graham (1971)
Susan Owicki (1975)
Jennifer Widom (1989)
T. V. Raman (1994)
Websitewww.cs.cornell.edu/gries

David Gries (born April 26, 1939 in Flushing, Queens, New York) is an American computer scientist at Cornell University, United States mainly known for his books The Science of Programming (1981) and A Logical Approach to Discrete Math (1993, with Fred B. Schneider).

He was Associate Dean for Undergraduate Programs in the Cornell University College of Engineering from 2003–2011. His research interests include programming methodology and related areas such as programming languages, related semantics, and logic. His son, Paul Gries, has been a co-author of an introductory textbook to computer programming using the language Python and is a professor teaching Stream in the Department of Computer Science at the University of Toronto.

Life

Gries earned a Bachelor of Science (B.S.) from Queens College in 1960. He spent the next two years working as a programmer-mathematician for the U.S. Naval Weapons Laboratory, where he met his wife, Elaine.

He earned a Master of Science (M.S.) in mathematics from the University of Illinois at Urbana-Champaign in 1963. While at Illinois, Gries worked with Manfred Paul and Ruediger Wiehle to write a full compiler for the language ALGOL 60 for the IBM 7090 mainframe computer. He earned his Dr. rer. nat. in 1966 from the TH München, studying under Friedrich L. Bauer and Josef Stoer.

Gries is member emeritus of IFIP Working Group 2.3, whose aim is to increase programmers' ability to compose programs, and he edited Programming Methodology: a Collection of Articles by Members of IFIP WG2.3, which highlights the work of this group in its first ten years.

Gries was an assistant professor at Stanford University from 1966–1969 and then became an associate professor at Cornell University in Ithaca, New York. He spent the next 30 years there, including time as chair of the computer science department from 1982–1987.

By the late 1970s, a survey had Cornell as the fourth-ranked computer science program in the nation, with nationally visible faculty such as Juris Hartmanis, Gerard Salton, Robert L. Constable, Richard W. Conway, and Gries. Many of them, like Gries, were especially known for their work in theory-related areas. Gries was an advocate of treating formal methods in programming as a core computer science topic and teaching it to undergraduates, a stance that found large amounts of debate within the computer science education community. In any case, Gries' reputation as a teacher was such that around 700 students and fellow faculty members were in attendance for his final lecture, given to his "Programming and Data Structures" class, in May 2022.

Gries had a Guggenheim Fellowship in 1984–1985. He spent 1999–2002 at the University of Georgia in Athens and returned to Cornell in January 2003.

He is author, co-author, or editor of seven textbooks and 75 research papers.

As of 2021, he lives in Ithaca, New York.

Textbooks

Gries' 1971 work Compiler Construction for Digital Computers was the first textbook to be published on designing and implementing language compilers. It was also one of the first textbooks to be written and produced using computers, in this case punched cards input to a text-formatting program that ran on an IBM System/360 Model 65; the early technology used eventually resulted in the book having a somewhat dated appearance. Compiler Construction for Digital Computers sold well and went through more than twenty printings, although over time it would be eclipsed in renown by "the Dragon Book", Alfred V. Aho and Jeffrey D. Ullman's 1977 volume Principles of Compiler Design. Nonetheless, Dutch computer scientist Dick Grune has written of Compiler Construction for Digital Computers that "entire generations of compiler constructors have grown up with it and they have not regretted it."

The textbook An Introduction to Programming: A Structured Approach Using PL/I and PL/C was co-written with his computer scientist college Richard W. Conway and published in 1973. It used the PL/C dialect developed at Cornell and went through several editions and adaptations. It stressed the discipline of structured programming throughout, becoming one of the most prominent textbooks to do so, and introduced considerations of program correctness, becoming the first introductory textbook to do so.

In 1981, Gries published The Science of Programming, a textbook that covers program verification. It presents propositional calculus and uses it to formalize the treatment of preconditions, postconditions, invariants, and related entities, and then provides practical stratagems for program development via identifying those logical entities from a problem specification. A review in SIGSOFT Software Engineering Notes found the book to be valuable in the logic and stratagem aspects, but too focused on low-level programming with no abstract data types discussed other than the simple array. Writing in Communications of the ACM, computer scientist Jon Bentley said The Science of Programming was an "an excellent introduction to the field" and said that professional programmers could benefit from studying it and using program verification techniques in their own projects.

A Logical Approach to Discrete Math was co-authored with Fred B. Schneider and published in 1993. A paper from a faculty member at Southwestern University advocating teaching the subjects the book covered to first-year undergraduates and called it "an ideal text covering predicate calculus for use in programming." Similarly, a faculty member at Pepperdine University stated that, "My experience with A Logical Approach to Discrete Math convinced me that formal methods are easily mastered at the undergraduate level."

Selected works

Awards

See also

References

  1. "Taylor L. Booth Education Award". IEEE-CS. Retrieved July 9, 2022.
  2. "ACM Karl V. Karlstrom Outstanding Educator Award". ACM. 1995. Retrieved July 20, 2022.
  3. "David Gries". mathgenealogy.org. Mathematics Genealogy Project. Retrieved August 7, 2022.
  4. Gries, D. (1971). Compiler Construction for Digital Computers. New York: John Wiley and Sons. ISBN 0-471-32776-X. The first text on compiler writing.
  5. ^ "David Gries' Compiler book Source". Computer History Exhibits. Stanford University. Retrieved October 4, 2022.
  6. "IFIP Working Group 2.3 on Programming Methodology".
  7. ^ Gries, D., ed. (1979). Programming Methodology: a Collection of Articles by Members of IFIP WG2.3. Monographs in Computer Science. New York: Springer Verlag.
  8. ^ Palazzo, Michael (November 15, 1978). "Computer Dept. Wins Prominence Throughout U.S." The Cornell Daily Sun. pp. 1, 10, 11.
  9. ^ Warford, J. Stanley (September 1995). "An experience teaching formal methods in discrete mathematics". SIGCSE Bulletin. 27 (3): 60–64. doi:10.1145/209849.209860.
  10. DiPietro, Louis; LaRocca, David (May 25, 2022). "David Gries Receives 2022 Tau Beta Pi Professor of the Year Award and Delivers Final Lecture at Cornell". Cornell Bowers CIS.
  11. ^ Grune, Dick (May 20, 2010). "Compiler Construction before 1980". dickgrune.com.
  12. "ACM Turing Award Honors Innovators Who Shaped the Foundations of Programming Language Compilers and Algorithms" (Press release). Association for Computing Machinery. March 31, 2021.
  13. "Computer Text Is Updated". The Ithaca Journal. June 30, 1975. p. 6 – via Newspapers.com.
  14. ^ "Cornell Department of Computer Science -50 Years of Innovation". Cornell Dept of Computer Science. Retrieved September 2, 2022.
  15. ^ Gerhart, Susan L. (April 1982). "Two recent books on programming". SIGSOFT Software Engineering Notes. 7 (2): 63–64. doi:10.1145/1005937.1005948.
  16. Henderson, Peter (1987). "Modern introductory computer science". Proceedings of the eighteenth SIGCSE technical symposium on Computer science education (SIGCSE '87). Association for Computing Machinery. pp. 183–190. doi:10.1145/31820.31756.
  17. ^ Bentley, Jon (December 1983). "Programming pearls: Writing correct programs". Communications of the ACM. 26 (12): 1040–1045. doi:10.1145/358476.358484.
  18. Denman, Richard; Naumann, David A.; Potter, Walter; Richter, Gary (1994). "Derivation of programs for freshmen". Proceedings of the twenty-fifth SIGCSE symposium on Computer science education (SIGCSE '94). Association for Computing Machinery. pp. 116–120. doi:10.1145/191029.191077.
  19. "Lifetime Achievement Award for Teaching". Cornell Bowers CIS, Cornell. Retrieved July 10, 2022.
  20. "Tau Beta Pi Professor of the Year". CEAA Alumni Association, College of Engineering, Cornell. Retrieved July 10, 2022.
  21. "ACM SIGCSE Technical Symposium Top Ten Papers of All Time Award". SIGCSE. Retrieved July 10, 2022.
  22. Gries, David (February 1974). "What should we teach in an introductory programming course?". ACM SIGCSE Bulletin. 6 (1): 81–89. doi:10.1145/953057.810447.
  23. "Awards". Cornell Bowers CIS - Computer Science. Retrieved September 8, 2022.
  24. The Cornell CS Department Timeline announces this doctorate
  25. The Cornell CS Department Timeline announces this doctorate
  26. "Weiss Presidential Fellow (for contributions to undergraduate education)". Cornell. Retrieved July 10, 2022.
  27. "Audio System for Technical Readings" (PDF) (PhD thesis). Retrieved July 9, 2022.
  28. "ACM Fellows". ACM. 1994. Retrieved July 9, 2022.
  29. "David Gries: ACM Fellow". ACM. 1994. Retrieved July 9, 2022.
  30. "Distinguished Service Award". CRA. Retrieved July 10, 2022.
  31. "Historic Fellows, AAAS". AAAS. Retrieved July 10, 2022.
  32. "David Gries - John Simon Guggenheim Memorial Foundation". 1983. Retrieved July 10, 2022.
  33. "ACM Programming Systems and Languages Paper Award". ACM. 1977. Retrieved July 7, 2022.

External links

ALGOL programming
Implementations
Technical
standards
Dialects
Formalisms
Community
Organizations
Professional
associations
Business
Education
Government
People
ALGOL 58
MAD
ALGOL 60
Simula
ALGOL 68
Comparison
  • ALGOL 58 influence on ALGOL 60
  • ALGOL 68 to other languages
  • ALGOL 68 to C++
    • Categories: