User:DavidGries/sandbox

Pingali Awards and Honors

 * 2023. IEEE Computer Society Charles Babbage Award, for contributions to high-performance compilers and graph computing
 * 2023. ACM/IEEE CS Ken Kennedy Award, for contributions to programmability of high-performance parallel computing on irregular algorithms and graph algorithms
 * 2020. Member of Academia Europaea
 * 2013. Distinguished Alumnus Award, IIT Kanpur
 * 2012. ACM Fellow, for contributions to data-centric parallel programming and to parallel compilation theory and practice
 * 2010. Fellow, IEEE Computer Society, for contributions to compilers and parallel computing
 * 1998. Russell Teaching Award, Cornell Arts and Science
 * 1997. Ip-Lee Teaching Award, Cornell Engineering
 * 1989. NSF Presidential Young Investigator Award, Cornell Engineering
 * 1986. IBM Faculty Development Award, Cornell Engineering

Pingali Selected Publications

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

Programming Languages Achievement Award
Recognizes an individual or individuals who has made a significant and lasting contribution to the field of programming languages.
 * 2024: Keshav Pingali
 * 2023: Kathryn S. McKinley
 * 2022: Xavier Leroy
 * 2021: Robert Harper
 * 2020: Hans-J. Boehm


 * 2000: Susan L. Graham

Caspersen
Try this: *Person of the ACM

for all.

Susan Rodger

Michael Caspersen

For Miscellaneouse
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

SIGPLAN: Programming Languages Software Award

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

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

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 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; the early technology used resulted in the book having a somewhat dated appearance. The punched cards for the book and formatting program are now in the Stanford Computer History Exhibits. The book sold well and went through more than twenty printings, although over time it would be eclipsed in renown by Aho and Ullman's 1977 text 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."



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, with Paul Gries (2015)

For Important Pubs in CS#Compilers
https://en.wikipedia.org/wiki/List_of_important_publications_in_computer_science#Compilers

The Concise Macquarie Dictionary&thinsp; has this entry for boatrace&thinsp;: 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.

start and infobox constable
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. 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. Alonzo Church supervised Constable's junior thesis while he was studying in Princeton. Constable received his PhD in 1968 under Stephen Kleene and has supervised over 40 students.

Constable has been a director of the Marktoberdorf Summer School.

Constable Awards

 * ACM Fellow, 1995.


 * Guggenheim Fellowship, 1990-1991.


 * Herbrand Award for Distinguished Contributions to Automated Reasoning, 2014.

CIS at Cornell
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. 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. 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.

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.

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.

Jayadev Misra

 * IFIP Fellow, 2023.
 * Member, National Academy of Engineering, 2018.
 * Harry H. Goode Memorial Award, IEEE, 2017.
 * Doctor Honoris Causa, École normale supérieure Paris-Saclay, Cachan, France, 2010.
 * Guggenheim Fellowship, 1988.
 * Identified as a "highly cited researcher" by Thomson Reuters ISI, 2004.
 * ACM Fellow, 1995.
 * IEEE Fellow, 1992.
 * Distinguished alumnus, IIT Kanpur, India,
 * Member, TAMEST (The Academy of Medicine, Engineering and Science of Texas), 2018.

Randy Katz
For INFO box:


 * ACM Karlstrom Educator Award


 * Member, AAA&S

FOR AWARD SECTION AND ELSEWHERE


 * (1999)


 * Fellow, ACM (1996)

List of programming language people
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

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