Jump to content

User:DavidGries/sandbox

From Wikipedia, the free encyclopedia

Keshav K Pingali
Alma mater
Known for
Awards
Scientific career
Institutions
Thesis Demand-driven Evaluation on Dataflow Machines  (1986)
Doctoral advisorArvind
Notes
Sri Sathya Sai International Organization (SSSIO)
Formation1965
TypeNon Profit
HeadquartersLos Angeles, USA
Location
Websitewww.sathyasai.org

Pingali Awards and Honors

[edit]

Pingali Selected Publications

[edit]
  • 2016. X. Sui, A. Lenharth, D. Fussell, and K. Pingali. Proactive control of approximate programs, APLOS '16[8]
  • 2012. D. Prountzos, R. Manevich, and K. Pingali. Elixir: A system for synthesizing parallel graph programs, OOPSLA ’12[9]
  • 2011. K. Pingali et al. The TAO of parallelism in programs, PLDI '11[10]
  • 2009. M. Kulkarni, M. Burtscher, R. Inkulu, K. Pingali, and C. Cascaval. How much parallelism is there in irregular applications? PPoPP '2009[11]
  • 2007. M. Kulkarni, K. Pingali, B. Walter, G. Ramanarayanan, K. Bala, and P. Chew. 2007. Optimistic parallelism requires abstractions. PLDI '07[12]

Programming Languages Achievement Award

[edit]

Recognizes an individual or individuals who has made a significant and lasting contribution to the field of programming languages.[13]

Caspersen

[edit]

Try this: *Person of the ACM[14]

for all. [15]

Susan Rodger

Michael Caspersen

For Miscellaneouse

[edit]

David Gries (born April 26, 1939 in Flushing, Queens, New York) is an American computer scientist at Cornell University, United States, known for his contributions to compiler construction, formal methods in programming methodology and related areas such as semantics and logic, CS education, and algorithms developed during research in these areas (e.g. Misra–Gries heavy hitters algorithm).

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.

Add Armando Solar-Lezama for 2024 Whatever[17]

[18]


SIGPLAN: Programming Languages Software Award
[19]


Recognizes an individual or individuals who has made a significant and lasting contribution to the field of programming languages.[20]

Recognizes an individual or individuals who has made a significant and lasting contribution to the field of programming languages. [22][23]

ACM SIGPLAN Robin Milner Young Researcher Award

ACM SIGPLAN Robin Milner Young Researcher Award 2019

Robert Harper (computer scientist)
ACM SIGPLAN Programming Languages Achievement Award, for foundational contributions to type theory and its use.

Keshav K Pingali
ACM SIGPLAN Programming Languages Achievement Award, for immense contributions to parallel computing.

Kathryn S. McKinley
ACM SIGPLAN Programming Languages Achievement Award, seminal contributions to parallelizing compilers, parallel systems, and memory management and also her leadership and service.

Simon Peyton Jones
He received the ACM SIGPLAN Programming Languages Achievement Award in 2016.


Gries' 1971 work Compiler Construction for Digital Computers[24] was the first textbook to be published on designing and implementing compilers. It was also one of the first texts 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;[25] the early technology used resulted in the book having a somewhat dated appearance.[25] The punched cards for the book and formatting program are now in the Stanford Computer History Exhibits.[26] The book sold well and went through more than twenty printings,[26] although over time it would be eclipsed in renown by Aho and Ullman's 1977 text Principles of Compiler Design.[27] 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."[25]



  • Gries, David (1981). The Science of Programming. Monographs in Computer Science (in English, Spanish, Japanese, Chinese, Italian, and Russian). New York: Springer Verlag. doi:10.1007/978-1-4612-5983-1. S2CID 37034126.


Fix this: https://www.computer.org/profiles/david-gries. Has David L. Gries Owicki-Gries Acta: |doi=10.1007/BF00268134 |s2cid=206773583

Owicki-gries ACM: |s2cid=9099351 |doi=10.1145/360051.360224

s2cid=849342

Algorithms: Heavy hitters, Prime number sieve, Misra & Gries edge coloring algorithm

  • Amity Booker Prize,[28] with Paul Gries (2015)

For Important Pubs in CS#Compilers

[edit]

https://wiki.riteme.site/wiki/List_of_important_publications_in_computer_science#Compilers


The Concise Macquarie Dictionary [29] has this entry for boatrace : Colloq: A competition between teams of beer drinkers to see which team can drink its beer the fastest; a drinking competition.

He was named the "Father of Third-Party Software" by mainframezone.com.[30]

start and infobox constable

[edit]
Robert L. Constable
Born
Robert Lee Constable

1942
CitizenshipUnited States
Alma mater
Known forNuprl
Scientific career
FieldsComputer Science
InstitutionsCornell University
Doctoral advisorStephen Kleene
Doctoral students

Robert Lee Constable (born 1942) is an American computer scientist. He is a professor of computer science and first and former dean of the Faculty of Computing and Information Science at Cornell University.[32] He is known for his work on connecting computer programs and mathematical proofs, especially the Nuprl system. Prior to Nuprl, he worked on the PL/CV formal system and verifier.[33] Alonzo Church supervised Constable's junior thesis while he was studying in Princeton.[34] Constable received his PhD in 1968 under Stephen Kleene and has supervised over 40 students.[35]

Constable has been a director of the Marktoberdorf Summer School.[36]

Constable Awards

[edit]
  • Herbrand Award for Distinguished Contributions to Automated Reasoning, 2014.[37]

CIS at Cornell

[edit]

In 1999, Cornell created the Faculty of Computing and Information Science, or FCIS, as a college-level entity with a dean but without the administrative structure of a college. Students and faculty had homes in other colleges; faculty would have joint appointments. For example, in 2002, Computer Science faculty were placed in both Engineering and FCIS.[38] The new FCIS became the umbrella organization for the Program of Computer Graphics and, later, a new Department of Statistical Science. FCIS grew to have more than 50 affiliated faculty, each with a joint appointment in another academic department.[39] In 2020, with a financial commitment made by Ann S Bowers, it became a real college: The Cornell Bowers CIS — College of Computing and Information Science.[40]

FCIS was the vision of Robert Constable. He felt that all parts of Cornell would need help using computing in research and teaching in this new computer age, and that required raising computing to the college level. He proposed this new, innovative way, a "faculty" that was structurally a college —but not a real college— headed by a dean. Constable worked over several years to bring this idea to fruition. He was the founding dean and served two five-year terms. In 2008, when he stepped down as chair, then Provost Biddy Martin attributed both the idea and its implementation to Constable.[41]

A second innovation was a Department of Information Science that would work hand-in-hand with, and not in opposition to, Computer Science —note that IS is in the title FCIS. Constable gave appropriate members of Computer Science the responsibility of developing the new department over the years. Today, in 2024, the IS Department offers majors and minors in all of Cornell's undergrad colleges. Several faculty members are joint with CS and IS.[44]

Jayadev Misra

[edit]
Jayadev Misra
Born(1947-10-17)October 17, 1947
India
CitizenshipUS
Alma mater
Known forContributions in formal aspects of distributed and concurrent computing, in particular projects Unity and Orc.
Scientific career
Institutions
ThesisA Study of Strategies for Multistage Testing (1972)
Doctoral advisorHarlan Mills
Website"Jayadev Misra".
Notes


Randy Katz

[edit]

For INFO box:

  • ACM Karlstrom Educator Award[53]


FOR AWARD SECTION AND ELSEWHERE


List of programming language people

[edit]

A way to put in people with other Wikipedia pages. Work on this:

Manfred Paul


Caspersen Wiehle Chomsky Turing

Rudolph Bayer

Andru Awards and honors

[edit]
  • 2000. The George M. Sprowls Award for outstanding doctoral research contributions in computer science[56] for the 1999 thesis Mostly Static Decentralized Information Flow Control [57]
  • 2001. Best Paper Award, ACM SOSP'01,[58][60] for the paper Untrusted hosts and confidentiality: secure program partitioning [61]
  • 2007. Best Paper Award, ACM SOSP'07,[58][62] for the paper Secure web applications via automatic partitioning [63]
  • 2009. Most Influential POPL Paper Award,[64] for the 1999 paper JFlow: Practical mostly-static information flow control [65]
  • 2013. Best Paper Award, CIDR 2013[66] for the paper StatusQuo: making familiar abstractions perform using program analysis [67]
  • 2013. PLDI Distinguished Paper Award,[68] for the paper Reconciling exhaustive pattern matching with objects [69]
  • 2015. PLDI Distinguished Paper Award,[70] for the paper Diagnosing type errors with class [71]
  • 2021. Best Paper Award, 42nd IEEE Symp. on Security and Privacy,[72] for the paper Compositional security for reentrant applications [73]

SIGPLAN

[edit]
ACM SIGPLAN
Chair
Andrew Meyers
Websitehttps://www.sigplan.org/

Now, I have to put something here. And a lot?

References

[edit]
  1. ^ "Keshav K Pingali: ACM-IEEE CS Ken Kennedy Award". ACM. 2023. Retrieved 6 October 2023.
  2. ^ "Keshav Pingali". Academia Europaea, The Academy of Europe. 2020. Retrieved 7 October 2023.
  3. ^ "Keshav K Pingali". IIT Kanpur. 2013. Retrieved 7 October 2023.
  4. ^ "Keshav K Pingali". ACM. 2012. Retrieved 7 October 2023.
  5. ^ "Keshav K Pingali". IEEE Computer Society. 2010. Retrieved 7 October 2023.
  6. ^ "Stephen Russell Family Teaching Awards". Cornell University College of Arts and Sciences. 1998. Archived from the original on 3 June 2023. Retrieved 7 October 2023.
  7. ^ a b c "Cornell Bowers CIS, Computer Science, Awards". Cornell Bowers CIS. 1997. Archived from the original on 2 February 2023. Retrieved 7 October 2023.
  8. ^ X. Sui; A. Lenharth; D. Fussell; K. Pingali. "Proactive control of approximate programs". ACM SIGPLAN Notices. ASPLOS. Vol. 51. Atlanta, Georgia, USA: ACM. pp. 607–621. doi:10.1145/2954679.2872402. Retrieved 11 October 2023.
  9. ^ D. Prountzos; R. Manevich; K. Pingali (19 October 2012). "Elixir: A system for synthesizing parallel graph programs". In Cristina Videira Lopes; Gary T. Leavens (eds.). ACM SIGPLAN Notices: Proc 2012 ACM Intl Conf OOPSLA'12. OOPSLA ’12. Vol. 47. Tucson, AZ, USA: ACM. pp. 375–394. doi:10.1145/2398857.2384644. ISBN 978-1-4503-1561-6. Retrieved 12 October 2023.
  10. ^ K. Pingali; D. Nguyen; M. Kulkarni; and 9 others (4 June 2011). "The TAO of parallelism in programs". ACM SIGPLAN Notices. PLDI '11. Vol. 46. San Jose, CA, USA: ACM. pp. 12–25. doi:10.1145/1993316.1993501. Retrieved 11 October 2023.{{cite conference}}: CS1 maint: numeric names: authors list (link)
  11. ^ M. Kulkarni; M. Burtscher; R. Inkulu; K. Pingali; C. Cascaval (14 February 2009). "How much parallelism is there in irregular applications?". ACM SIGPLAN Notices. PPoPP '2009. Vol. 44. Raleigh, NC, USA: ACM. pp. 3–14. doi:10.1145/1594835.1504181. Retrieved 11 October 2023.
  12. ^ M. Kulkarni; K. Pingali; B. Walter; G. Ramanarayanan; K. Bala; P. Chew (11 June 2007). "Optimistic parallelism requires abstractions". In Jeanne Ferrante (ed.). PLDI '07: Proc 28th ACM SIGPLAN Conf on Programming Language Design and Implementation. PLDI '07. San Diego, CA, USA: ACM. pp. 211–222. doi:10.1145/1250734.1250759. ISBN 978-1-59593-633-2. Retrieved 11 October 2023.
  13. ^ "SIGPLAN Programming Languages Achievement Award". ACM SIGPLAN. Archived from the original on 22 February 2024.
  14. ^ a b "People of ACM - Michael E. Caspersen". ACM. 25 July 2023. Retrieved 25 July 2023.
  15. ^ Michael has been named a "Person of the ACM", and this interview with him provides a wealth of information:[14]
  16. ^ "SIGPLAN Robin Milner Young Researcher Award". www.sigplan.org. ACM SIGPLAN. Retrieved 8 July 2024.
  17. ^ This link provides information on all awardees.[16]
  18. ^ "SIGPLAN Robin Milner Young Researcher Award". www.sigplan.org. ACM SIGPLAN. Retrieved 12 March 2018.
  19. ^ "SIGPLAN Programming Languages Software Award". ACM SIGPLAN. Archived from the original on 5 June 2024.
  20. ^ "SIGPLAN Programming Languages Achievement Award". ACM SIGPLAN. Archived from the original on 22 February 2024.
  21. ^ "SIGPLAN Programming Languages Achievement Award". ACM SIGPLAN.
  22. ^ This link provides information on all the awardees.[21]
  23. ^ "SIGPLAN Programming Languages Achievement Award". ACM SIGPLAN. Archived from the original on 22 February 2024.
  24. ^ Gries, D. (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.
  25. ^ a b c Grune, Dick (20 May 2010). "Compiler Construction before 1980". dickgrune.com.
  26. ^ a b "David Gries' Compiler book Source". Computer History Exhibits. Stanford University. Retrieved 4 October 2022.
  27. ^ "ACM Turing Award Honors Innovators Who Shaped the Foundations of Programming Language Compilers and Algorithms" (Press release). Association for Computing Machinery. 31 March 2021.
  28. ^ "Awards". Cornell Bowers CIS - Computer Science. Retrieved 8 September 2022.
  29. ^ Arthur Delbridge, ed. (1982). The Concise Macquarie Dictionary. Doubleday Australia Pty. Limited. p. 133. ISBN 0868240567.
  30. ^ Bob Thomas. "Mainframe Hall of Fame: 17 New Members Added". Mainframe Zone. Archived from the original on 27 February 2009.
  31. ^ DavidGries/sandbox at the Mathematics Genealogy Project
  32. ^ Steele, Bill (11 June 2008). "Robert Constable, founding dean of computing and information science, will step down in 2009". Cornell Chronicle. Cornell University.
  33. ^ Constable, Robert L.; Johnson, Scott D. (1979). "A PL/CV Precis". Proceedings of the 6th ACM SIGACT–SIGPLAN symposium on Principles of programming languages (POPL '79). Association for Computing Machinery. pp. 7–20. doi:10.1145/567752.567754.
  34. ^ Constable, Robert L.; Gries, David (21 July 2015). "A Conversation with Robert L. Constable". ecommons.cornell.edu. Retrieved 29 September 2019.
  35. ^ "Robert Lee Constable". Mathematics Genealogy Project. Retrieved 2 September 2015.
  36. ^ "Robert L. Constable". Cornell University. 1997. Retrieved 2 September 2015.
  37. ^ "Herbrand Award for Distinguished Contributions to Automated Reasoning, CADE Conference on Automated Deduction". cadeinc.org. Archived from the original on 20 December 2016. Retrieved 19 March 2024.
  38. ^ "Info Science Unveils New Form". cornell.edu. Archived from the original on 30 October 2020. Retrieved 20 March 2024.
  39. ^ The website for FCIS was archived on the wayback machine in 2004. The main page is [1]. Here is the Dean's page: [2]. Here are pages for Computational Biology [3], Computational Science and Engineering [4], information Science [5], and Joint Programs [6].
  40. ^ "Cornell Bowers CIS: College of Computing and Information Science". cornell.edu. Archived from the original on 19 March 2024. Retrieved 20 March 2024.
  41. ^ "Robert Constable, founding dean of computing and information science, will step down in 2009". cornell.edu. Archived from the original on 8 June 2013. Retrieved 20 March 2024.
  42. ^ "Faculty". cs.cornell.edu. Archived from the original on 7 December 2023. Retrieved 20 March 2024.
  43. ^ "Faculty". infosci.cornell.edu. Archived from the original on 25 December 2023. Retrieved 20 March 2024.
  44. ^ At least four faculty have had joint appointments in Computer Science and Information Science and had leading roles in both departments. In 2023, here is the list of Computer Science faculty[42] and the Information Science faculty.[43]
  45. ^ "IFIP Announces 2023 Awards". IFIP. Archived from the original on 3 November 2023. Retrieved 3 November 2023.
  46. ^ "NAE Website - Dr. Jayadev Misra". NAE. Retrieved 3 November 2023.
  47. ^ "Docteur Honoris Causa ENS-PARIS-SACLAY".
  48. ^ "Two UTCS Faculty Among the Most Highly Cited Researchers | Department of Computer Science". Computer Science Department, UT Austin. Archived from the original on 25 December 2015. Retrieved 3 November 2023.
  49. ^ "ACM Fellows". ACM. Retrieved 3 November 2023.
  50. ^ "IEEE Fellows Directory - Chronological Listing". IEEE. Retrieved 3 November 2023.
  51. ^ "Past Distinguished Alumnus Awardees (DAA)". IIT Kanpur. Retrieved 3 November 2023.
  52. ^ "Members - TAMEST (The Academy of Medicine, Engineering and Science of Texas)". TAMEST. Archived from the original on 18 October 2023. Retrieved 3 November 2023.
  53. ^ "ACM Karl V. Karlstrom Outstanding Educator Award". ACM. 1999. Retrieved 21 December 2022.
  54. ^ "AAA&S Members: Randy H. Katz". AAA&S. 2002. Retrieved 21 December 2022.
  55. ^ "Randy Katz: ACM Fellow". ACM. 1996. Retrieved 21 December 2022.
  56. ^ "Students, professor in EECS receive awards". Massachusetts Institute of Technology. 31 May 2000. Retrieved 12 November 2022.
  57. ^ "Mostly Static Decentralized Information Flow Control" (PDF). Massachusetts Institute of Technology. January 1999. Retrieved 12 November 2022.
  58. ^ a b "Computer Science Awards by recipient". Computer Science, Cornell University. Retrieved 11 November 2022.
  59. ^ "SOSP01: 18th Symposium on Operating System Principles". Banff, Alberta, Canada: ACM. doi:10.1145/502059.502036. Retrieved 11 November 2022.
  60. ^ The message from the program chair on page v of the front matter material of [59] says that Untrusted hosts and confidentiality: secure program partitioning was nominated as an award paper to ACM TOCS. The award is listed on this page
  61. ^ Zdancewic, Steve; Zheng, Lantian; Nystrom, Nathaniel; —. "Untrusted hosts and confidentiality: secure program partitioning" (PDF). SOSP01: 18th Symposium on Operating System Principles. Vol. 35. Banff, Alberta, Canada: ACM. doi:10.1145/502059.502036.
  62. ^ CS paper wins Best Paper Award at SOSP 07, archived from the original on 7 January 2017, retrieved 11 November 2022
  63. ^ Chong, Stephen; Liu, Jed; —; Qi, Xin; Vikram, K.; Zheng, Lantian; Zheng, Xin (December 2007). "Secure web applications via automatic partitioning". ACM SIGOPS Operating Systems Review. Vol. 41. Banff, Alberta, Canada: ACM. doi:10.1145/1323293.1294265. S2CID 665752.
  64. ^ "Most Influential POPL Paper Award". ACM SIGPLAN. Retrieved 11 November 2022.
  65. ^ — (January 1999). "JFlow: Practical mostly-static information flow control". POPL '99: Proc 26th ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages. San Antonio, Texas, USA: ACM. pp. 228–241. doi:10.1145/292540.292561.
  66. ^ CIDR 2013, retrieved 11 November 2022
  67. ^ Cheung, Alvin; Arden, Owen; Madden, Sam; Solar-Lezama, Armando; — (6 January 2013). "StatusQuo: making familiar abstractions perform using program analysis" (PDF). CIDR 2013: 6th biennial Conference on Innovative Data Systems Research. Asilomar, California: CIDR. S2CID 736078.
  68. ^ PLDI 2013, ACM SIGPLAN, retrieved 11 November 2022
  69. ^ Isradisaikul, Chinawat; — (June 2013). Reconciling exhaustive pattern matching with objects. PLDI '13: Proc 34th ACM SIGPLAN Conf on Programming Language Design and Implementation. Seattle, Washington: ACM. pp. 343–354. doi:10.1145/2491956.2462194.
  70. ^ "PLDI '015 Distinguished Papers". SIGPLAN. Retrieved 11 November 2022.
  71. ^ Zhang, Danfeng; —; Vytiniotis, Dimitrios; Peyton-Jones, Simon (June 2015). "Diagnosing type errors with class". PLDI '15: Proc. 36th ACM SIGPLAN Conference on Programming Language Design and Implementation. Portland, OR, USA: ACM. pp. 12–21. doi:10.1145/2813885.2738009. ISBN 9781450334686. S2CID 7239786.
  72. ^ Awards, IEEE Computer Society Technical Committee on Security and Privacy, retrieved 11 November 2022
  73. ^ Cecchetti, Ethan; Yao, Siqiu; Ni, Haobin; — (24 May 2021). Compositional security for reentrant applications. Proceedings of the IEEE Symposium on Security and Privacy. San Francisco, Cal: IEEE. ISBN 978-1-7281-8935-2. S2CID 235489070.
Retrieved from "https://wiki.riteme.site/w/index.php?title=User:DavidGries/sandbox&oldid=1242918373"