Woodson Research Center, Rice University

Guide to the Ken Kennedy academic records, 1967-2007

Part 2 of 2: Series III - VII



Descriptive Summary

CreatorKennedy, Ken
Title:Ken Kennedy academic records
Dates:1967-2007
Abstract:This material reflects the multifaceted career of computer science pioneer Ken Kennedy, of Rice University. Ken Kennedy was the founder of Rice University's nationally ranked computer science program and one of the world's foremost experts on high-performance computing.
Identification:MS 206
Extent:66 lin. ft. (65 boxes)
LanguageMaterials are in English.
Repository:Woodson Research Center,  Fondren Library, Rice University, Houston, Texas

Biographical Sketch

Ken Kennedy attended Rice University, receiving a B.A. in mathematics (summa cum laude) in 1967. He pursued graduate studies at New York University, where he earned a M.S. in mathematics in 1969 and a Ph.D. in computer science in 1971. He returned to Rice University in 1971 to join the faculty of the Mathematical Sciences Department, rising to the rank of professor in 1980. He founded the Rice Computer Science Department in 1984 and served as its chair until 1988. He was named the Noah Harding Professor of Computer Science in 1985. In 1997, he became the first John and Ann Doerr Professor of Computational Engineering and, in 2002, he was promoted to University Professor. From 1997 to 1999, he served as Co-chair of the President's Information Technology Advisory Committee (PITAC) .

Professor Kennedy founded the Rice Computer and Information Technology Institute in 1987 and served as its first chair. In 1989, he established the Center for Research on Parallel Computation (CRPC), a NSF Science and Technology Center, and directed it throughout its lifetime. He directed the NSF-supported Virtual Grid Application Development Software (VGrADS) Project, a collaborative seven-institution research effort focused on application development support for computational grids. He was also the project director of the academic partner contract for the Los Alamos Computer Science Institute (LACSI), which is headquartered at Los Alamos National Laboratory. He directed or co-directed four ongoing multi-institutional consortia: the Los Alamos Computer Science Institute (LACSI); the NSF-sponsored Virtual Grid Application Development System (VGrADS) project; the Gulf Coast Center for Computational Cancer Research (GC4R); and the Houston BioGrid consortium.

Kennedy's research interests included parallel computing in science and engineering, scientific programming environments, and optimization of compiled code. His last work fell into four main project areas: the Telescoping Languages Project; the Grid Application Development Programming Tools effort; research on Compilers and Tools for Scalable Scientific Computing; and the Massively Scalar Compiler Project. He published two books and over two hundred technical articles on programming support software for high-performance computer systems. Over his career, he supervised thirty-eight Ph.D. dissertations and he directed the construction of several substantial software systems for programming parallel computers, including an automatic vectorizer for Fortran 77, an integrated scientific programming environment, compilers for Fortran 90 and High Performance Fortran, and a compilation system for domain languages based on Matlab.

Professor Kennedy was elected to the National Academy of Engineering in 1990. He was named a Fellow of the AAAS in 1994 and of the ACM and IEEE in 1995. In 2005, he was elected to the American Academy of Arts and Sciences. In recognition of his achievements in compilation for high performance computer systems, he was honored as the recipient of the 1995 W. W. McDowell Award, the highest research award of the IEEE Computer Society. In 1999, he was named recipient of the ACM SIGPLAN Programming Languages Achievement Award, the third time this award was given.

Professor Kennedy's service to the national community includes time as member (1997-2001) and co-chair (1997-99) of the President's Information Technology Advisory Committee (PITAC). For his leadership in producing the PITAC report, "Information Technology Research: Investing in Our Future," he received the Computing Research Association Distinguished Service Award (1999) and the RCI Seymour Cray HPCC Industry Recognition Award (1999).

Kennedy regularly taught two courses in the Computer Science Department: Computer Science 515 (Advanced Compilation for High Performance Computers) and Computer Science 412 (Compiler Construction). Kennedy also originated Computer Science 314 (Applied Algorithms and Data Structures) and taught it for several years.

Ken Kennedy died after a long battle with cancer, Feb. 7, 2007. "Rice has lost one of its great intellectual leaders and a great human being," Rice President David Leebron said. "Ken Kennedy early on realized the power of computers to address real problems that confront people and the Earth. He leaves a great legacy for Rice and for mankind."

Excerpted from Ken Kennedy home page at Rice University, http://www.cs.rice.edu/~ken/ and news feature http://engr.rice.edu/newsletter/spring07/storypages/feature_story05.html, accessed Feb. 2, 2009.


Scope and Contents

This material reflects the multifacted career of computer science pioneer Ken Kennedy, of Rice University. It includes correspondence, notes, reports, research materials, drafts of papers and presentations, meeting minutes, publications, appointment books, awards and more. The materials document Kennedy's work with various centers such as Center for Research on Parallel Computing, committees he served on, the Rice Computational Science Depart, his teaching career, research, publications and awards.


 

Upon arrival, this material was in various states of order. It has been arranged into the following broad groupings, but has not been refined within those groupings. Researchers should emply keyword searching across the entire finding aid for particular topics.
Series I: Centers, 1988-2007 (Boxes 1-16)
Subseries A: CRPC, 1988-1999
Subseries B: HiPerSoft, 1998-2007
Subseries C: Gulf Coast Center for Computational Research (GC4R), 2002-2006
Series II: Committees, 1986-2007 (Boxes 17-39)
Subseries A: Rice University, 1986-2007
Subseries B: Non-Rice, 1987-2007
Series III: Rice Computational Science Department, 1981-2007 (Boxes 39-41)
Series IV: Teaching Career, 1973-2006 (Boxes 42-44)
Series V: Research, 1967-2003 (Boxes 45-52)
Subseries A: Research binders and notebooks, 1967-2000
Subseries B: Research files and notes, 1980-2003
Series VI: Academic papers, presentations, books and slides, 1971-2006 (Boxes 52-60)
Series VII: Personal/awards, 1970-2007 (Boxes 60-65)

Restrictions

Access Restrictions

This material is open for research.

Use Restrictions

Permission to publish from the Ken Kennedy academic records, MS 206, must be obtained from the Woodson Research Center, Fondren Library, Rice University.


Index Terms

Subjects (Organizations)
Rice University. Computational Science Department.
Center for Research on Parallel Computation (CRPC)
President's Information Technology Advisory Committee (PITAC)
Gulf Coast Center for Computational Cancer Research (GC4R)
Subjects
Computer programming
Formats
Reports
Correspondence
Notes
Publications
Appointment books
Awards

Administrative Information

Preferred Citation

Ken Kennedy academic records, 1967-2007, MS 206, Woodson Research Center, Fondren Library, Rice University.

Acquisition Information

This material was transferred from the office of Ken Kennedy in 2007 and 2008.


Detailed Description of the Collection

 

Series III: Rice Computational Science Department, 1981-2007 (Boxes 39-41)

Miscellaneous Rice University Documents/Correspondence
1994 Post-Graduate Study - Career Services Center
"Exploring Gender Differences in Reactions to Engineering Pedagogy" by Amy Ballew
Rice Curriculum
Comp 515 Spring 1996
CSD
CS Graduate Applicants 1993
Black Friday
PhD Program Requirements - 1993
Curriculum Revision
Teaching
Equipment Orders
Rice University Media Resource Guide
Faculty Fellows Report
Faculty Fellows Subcommittee
Faculty Fellows Subcommittee 1999
SPA Memos to Executive Committee April 1991
Women's Programs
Programs for Women
CS Curriculum Revision
Rice Department of Computer Science Brochure
Minority Institutions
Research Funding
The Rice School Shared Decision Making Team
K-8 Meeting. 3 Sept 1996
Student Support Plan 1990
CS Dept Temporary Space Use 1990
Rice CS History Project-Melissa
Oral History Project
Meeting with Melissa Kean January 2007
"Dependence-based Code Generation for a CELL Processor" by Yuan Zhao and Ken Kennedy
Jones School Plan
Confidential
Rice University and the Texas Medical Center
Parallel Processing Qual
Keith's ARPA WP
Annual Report to Chair 2004
Annual Report to Chair 2002
Annual Report due 3 Dec 2001
Kennedy Journal Articles and Conference Papers with graduate students 2005
Annual Report to Chair 2006
Ken Kennedy Annual Report to Chair Dec 2002
Comp Eng Brochure
Sorensen Comp. Sci and Eng. Article
Computational Science Degree Program
Minorities' Programs (Richard)
Thresher Salary Survey
The Rice School Confidential
K-8 Rice Start Plan
Mathematics Program Proposal
"The Coming Generation of Massively Parallel Supercomputers" Presentation slides by Ken Kennedy
Radha's Visit
ST-HEC Annual Report 2006
Rice University Computer Science Technical Reports 1991
BNR - Agreement
The Center for Nanoscale Science and Technology
Advanced Facility for CS
Myers Visit
Accreditation
CITI History
Former Students
PhD Admissions - CS Department 2003-2004
India Meeting
Rice University Computer Science Space Needs and Allocations 1983-1990 (2f)
Computation - IBM Facility Eng Proposal
CS Committee 1981
Faculty Salaries 1989
Budget Materials
Fund II Accounts
C Exam - Optimization Spring 1988
Graduate Teaching
1987-88 Qualifying Exam Syllabus
Graduate Exams
Department Publicity
General Research Procedures
Chairman's Duties
Attendee Lists (Snowbird)
Conway Survey of CS Programs
1987 Citation Survey
Surveys
Taulbee Survey 1987-1992
Research Funding'
Enhancement Program
Department Report
Engineering School Grants
Chairpersons Meetings
Correspondence
Business Manager Correspondence
Faculty Minutes
Policy on Appointments, Promotions, and Retention
Summary of Grants and Contracts in Engineering 1988
"Multi-Processor Cluster Computing" NSF Proposal. 19 Oct 1993
Addendum to RI Proposal. 25 April 1995
Teaching Load in Computer Science
Graduate Student Reform: A Compromise Proposal to the Computer Science Faculty
Student Meetings 1993
Student Progress Reports March 1994
Topics
Proposed Changes to Graduate Program Requirements 1993
Student Statistics (Rice, PhD)
Matlab Biweekly Teleconferences 2005
Computational Science Degree Program (Ellen)
Student Profiles for Recruitment Publications
HPF HOPL Paper Teleconference. 13 July 2006
CS Affiliates Day
General
Keith and Joe Warren Promotions
CSD Annual Report 1996- CRPC Info
CSD Annual Report 1996-1997
CSD Annual Report 1997
President's Report 1998
CSD/President's Report 1999
Positions (Advertised)
General Employment
Assistant Professor Examples
Elana Granston - tenure-track/research faculty candidate 1991
"Multi Processor Cluster Computing" proposal to NSF
Blue Chip Applicant Recruitment
Job Permission
1993 Commencement
1995 Commencement
1990 Commencement
CS Faculty Recruiting
Rice Presidential Search
Comp 505 Spring '03 Evaluations
2004 Grad Admissions - Kennedy
CS Grad Recruiting
S and E IT Meeting
N.I. In-Place Study
CITI Interview
HPC Faculty Search
Penny Anderson Resignation
"Promoting National Minority Leadership in Science and Engineering"
ITAC Article March 2005
Richard Tapia - Hispanic Engineer National Achievement Award for Education File 1990
The Technology Opportunity Institute Board Meeting. 2006 February 15
Thinking Machines Visit. 23 May 1991
Meeting with Stan Ahalt (OSC) 17 Sept 2004
Staff Salary Budgets, patent royalties 2006
Items for Ken to Review
Miscellaneous Correspondence
Pre-NPEBC Planning Program Grant (P20)
Breakfast with Dr. Arden Bement. 11 Sept 2006
India Visit Info
Kennedy Biographies - 2008
Intel: Restricted
Gene Wang Call - Confidential
Advisory Panel OT Assessment (US Congress)
Book Corrections
Books Comments from Comp 515
Class 515
Ch 4 - Preliminary Transformations
Ken's Book
U.S. House of Representatives Ken Kennedy Testimony
Computer Science 515 Syllabus and Chapter Photocopies (2f)
Getting Acquainted Weekend March 2004
People/Companies
Addresses 1994
Committees
Users Committee Meeting. 19 Jan 1994
RTC Policy Meeting
Paracel Visit April 2004
Dean of Engineering Faculty Meeting 2005
Recruiting - Kath Knobe, CRL. 14 Dec 2000
Ken's Miscellaneous Papers
High Technology Education Coalition
Facilities Proposal
C.E. Building Material - Kennedy slides. 3 Feb 1994
Joint Fundraising
Ken Smalley Building
Thank Yous
CE Letters
Plans
Intel Trip
Rice University Campaign for Computational Engineering
Talks, etc.
Dedication Day 1 Nov 1986
Groundbreaking
Thank You - Ken's Friends
Computational Engineering Building - General



 

Series IV: Teaching Career, 1973-2006 (Boxes 42-44)

Optimization; Advanced Optimization Course. Fall, Spring 1973. (Folder 1)
Optimization; Advanced Optimization Course. Fall, Spring 1973. (Folder 2)
MASC 381 Probability. Spring 1973. (Folder 1)
MASC 381 Probability. Spring 1973. (Folder 2)
Optimization 111. 1973. (Folder 1)
Optimization 111. 1973. (Folder 2)
MASC/ELEC 521. 1975-1976
MASC/ELEC 421 Compilers. Spring 1976. (Folder 1)
MASC/ELEC 421 Compilers. Spring 1976. (Folder 2)
1MASC/ELEC 421 Compilers. Spring 1976. (Folder 3)
1MASC/COMP 421 Systems Programming. Fall 1977-Fall 1980 (Folder 1)
MASC/COMP 421 Systems Programming. Fall 1977-Fall 1980. (Folder 2)
MASC 451. Fall 1979
COMP 518. Fall 1979-Fall 1984
MASC 460. Fall 1980
MASC/COMP 321 Advanced Programming. Spring 1980. (Folder 1)
MASC/COMP 321 Advanced Programming. Spring 1980. (Folder 2)
COMP 621. Spring 1981
MASC/COMP 523. Fall 1982. (Folder 1)
MASC/COMP 523. Fall 1982. (Folder 2)
MASC/COMP 523. Fall 1982. (Folder 3)
COMP 321. Fall 1983, Fall 1984. (Folder 1)
COMP 321. Fall 1983, Fall 1984. (Folder 2)
CS 155/CS 260. Fall 1984, Fall 1985. (Folder 1)
CS 155/CS 260. Fall 1984, Fall 1985. (Folder 2)
CS 155/CS 260. Fall 1984, Fall 1985. (Folder 3)
COMP 420. Spring 1984. (Folder 1)
COMP 420. Spring 1984. (Folder 2)
Advanced Topics in Compiler Construction. 1984
COMP 522 Database Project. Spring 1985
COMP 380/480. Spring 1988. (Folder 1)
COMP 380/480. Spring 1988. (Folder 2)
3COMP 380/480. Spring 1988. (Folder 3)
COMP 380 Concrete Mathematics. 1988
COMP 480 Concrete Mathematics. 1988
Keith Cooper’s Class (9/16/92)
COMP 314 Applied Algorithms and Data Structures. 1996
COMP 615 Parallel Programming Systems. 1998
COMP 314. Fall 1998
COMP 515 Advanced Compilation for Vector Parallel Processors. Spring 1999
COMP 310. Fall 1995
COMP 412 Textbook. Fall 2000. (Folder 1)
COMP 412 Textbook. Fall 2000. (Folder 2)
COMP 412 Compiler Construction. Fall 2003
COMP 412 Textbook. Fall 2003 (Folder 1)
COMP 412 Textbook. Fall 2003 (Folder 2)
Course Evaluations Fall 1979 to Spring 1990 (Folder 1)
Course Evaluations Fall 1979 to Spring 1990 (Folder 2)
Course Evaluations Fall 1979 to Spring 1990 (Folder 3)
Class Handouts. 1990 April 10
Class Handouts. 1990 January 25
Class Handouts. 1990 January 18
COMP 515 - Advanced Compilation for Vector and Parallel Processors Syllabus. Spring 1990
COMP 212 Program 2 and 3 Handouts. Fall 1992
Keith Cooper's Class Notes. 1992 September 14
COMP 515 - Chapter 4: Scalar Symbolic Analysis. Fall 1992
COMP 515 - Chapter 2: Dependence, Parallelization and Vectorization. Fall 1997
COMP 310 Laboratory 2. Fall 1993
COMP 515 Class Notes. Fall 1993. (2f)
COMP 515 - Advanced Compilation for Vector and Parallel Processors Syllabus, Class Textbook and Notes. Fall 1993 (2f)
COMP 310 - Programming Studio Syllabus. Fall 1994
COMP 310: Guidelines for C++ Program Style. Fall 1994
COMP 310: Grading for Comp 310 Labs. Fall 1994
COMP 310: Guidelines for Specifications. Fall 1994
COMP 321 Laboratory 1. Fall 1994
COMP 310 Course Evaluations. Fall 1994
COMP 310 Laboratory 3. Fall 1994
B-exams. Spring 1994
COMP 310 Class Notes. Fall 1994
COMP 321 Laboratory 2. Fall 1995
COMP 515 Course Evaluations. Spring 1995
COMP 310 - Chapter 5: Graphs and Graph Algorithms. Fall 1995
COMP 310 Laboratory 4. Fall 1995
COMP 310 - Programming Studio Syllabus. Fall 1995
COMP 310 Laboratory 1. Fall 1995
COMP 314 Laboratory 3. Fall 1995
COMP 412 Mid-term and Final Examinations. Fall 1995
COMP 314 Mid-term Examination. Fall 1995
COMP 310 Class Notes. Fall 1995
COMP 314 Laboratory 1. Fall 1996
COMP 314 Laboratory 2. Fall 1996
COMP 314 Applied Algorithms and Data Structures Syllabus. Fall 1996
COMP 314 Laboratory 2. Fall 1996
COMP 314 Course Evaluations. Fall 1996
Comprehensive Examination - Compiler Construction. Spring 1996
C-Exam. May 1996
COMP 314 Final Examination. Fall 1996
COMP 512 Lecture Notes. Fall 1996
COMP 314 Final Examination. Fall 1997
COMP 314 Laboratories. Fall 1997
COMP 515 Course Evaluations. Spring 1997
COMP 314 - Applied Algorithms and Advanced Programming. Fall 1997 Syllabus
COMP 515 Schedule of Classes. Spring 1997
Comprehensive Examination. Compiler Construction. Spring 1997
Comprehensive Exam - Compiler Construction. May 1997
COMP 515 - Advanced Compilation for Vector and Parallel Processors Course Outline. Fall 1998
COMP 314: Advanced Programming Syllabus. Fall 1998
COMP 314 Laboratory 1. Fall 1998
COMP 314 Final Examination. Fall 1998
COMP 515 - Advanced Compilation for Vector and Parallel Processors Syllabus. Spring 1998
COMP 314 Laboratories. Fall 1998
COMP 512 Lecture Notes. Spring 1998
COMP 515 - Lecture Notes. Spring 1998. (3f)
COMP 515 Schedule of Classes. Spring 1999
COMP 515 - Advanced Compilation for Vector and Parallel Processors Syllabus. Fall 1999
COMP 412 Final Examination. Fall 2000
COMP 412 Course Evaluations. Fall 2000
COMP 412 Compiler Construction Lecture Notes. Fall 2000
COMP 515 Course Evaluations. Spring 2001
COMP 515 Exam. Fall 2001
COMP 412 Course Evaluations. Fall 2001
COMP 412 Mid-term and Final Examination. Fall 2001
COMP 412 Compiler Construction Syllabus. Fall 2001
COMP 515 Course Evaluations. Spring 2002
COMP 412 Mid-term Examination. Fall 2003
COMP 412 Homework Assignments. Fall 2003
COMP 412 Final Examination. Fall 2003
COMP 515 Course Evaluations. Spring 2003
COMP 412 Addendum Packet. Fall 2003
COMP 515 Exam. Spring 2004
COMP 412: Topics in Compiler Construction Syllabus. Fall 2004
COMP 412 Final Examination. Fall 2004
COMP 515 - Advanced Compilation for High Performance Computers Syllabus. Spring 2006



 

Series V: Research, 1967-2003 (Boxes 45-52)

Subseries A: Research binders and notebooks
Node Listing Algorithm. 1975
Vector Compilation. 1978
Fast Interprocedural Alias Analysis. January 1989
Trace Screen and PMAP SCHMAP Screen. 1989 September 5
Commands. ca 1970-1980
Rice Optimization Laboratory. April 1975
Complex Variables. 1967
Graph Grammars. 1975. (Folder 1)
Graph Grammars. 1975. (Folder 2)
Rn Environment. 1983-1985
Graham-Wegman. October 1979
Research Notebook. 1980 December 4 – 1981 June 12
Research Notebook. 1982 December 30 – 1983
Vector Research Notebook. 1979 August 4 – 1982 May 9
Real Variables Research Notebook. 1968 September 24 – 1969 May 13
Research Notebook. 1988
Research Notebook. 1987 August 19 – January 1990
Research Notebook. January 1990
Technical Diary. 1981 October 6- 982 December 9
Research Notebook. 1987 May 31 - 1990 April 18
UNIX Programmer’s Manual. Seventh Ed, Volume 2C. Virtual VAX-11 Version. November 1980.
UNIX Programmer’s Manual. Seventh Ed, Volume 2B. January 1979.
JAVA. October 1995.
SIGGRAPH ’85 Technical Slides. 1985.
SIGGRAPH ’86 Technical Slides. 1986.
SIGGRAPH ’87 Technical Slides. 1987.
SIGGRAPH ’88 Technical Slides. 1988.
SIGGRAPH ’89 Technical Slides. 1989.
SIGGRAPH ’90 Technical Slides. 1990.
SIGGRAPH ’91 Technical Slides. 1991
PFC Guides. 1986 May 26, 1986 June 2.
UNIX Programmer’s Manual. Volume 2, Seventh Edition. 1979 January 10.
Fortran 90. June 1990.
Tree Killer. July 1984.
Research Notebook. 2004 September 28 – 2006 May 11.
Research Notes on “Performance of Parallel Processors.” June 1985.
Research Notes. 2001.
Parallel Model Papers. 1985.
“Survey of Current NHSE Software.” By Shirley Browne, Jack Dongarra, Paul Jacobs, and Tom Rowan. 1995 March 6.
Java Research. 2000.
ParaScope Project Review. September 1991.
Ped/ParaScope Planning. 1990-1991.
ParaScope Editor Future. ca 1993.
Fortran D. 1991.
IO. 1994 November 29, January 1995.
Dependence Project. 1995.
Telescoping Languages. 2000.
General Optimization. (Folder 1)
General Optimization. (Folder 2)
IF Conversion. 1984 April 22.
VAX Fortran User’s Guide. 1987.
Fortran 90. May 1991.
Programming in C*. December 1990.
ISPF/PDF Programming Reference. 1982.
Rmail: a new Emacs email reading program. 1984 January 3.
Thinking Machines Corporation. 1987-1989.
A Computer Laboratory Manual for Number Theory. 1980.
Notes and Comments on “A Simple Model for Parallel Processing.” 1984 October 16.
Research Notes. 1985.
Notes on Amdahl’s Law. 1985.
More UNIX Miscellaneous. 1977- 1983.
UNIX Misc. 1979. (Folder 1)
UNIX Misc. 1979. (Folder 2)
Outline of Lebesgue Theory: A Heuristic Introduction. By Robert E. Wernikoff. 1957 October 25.
Structured Programming with go to Statements. By Donald E. Knuth. December 1974.
Pats Optimization.
Logic Notes: Martin Davis. ca. 1967-1971.
UNIX Programmer’s Manual. Seventh Ed, Virtual VAX-11 Version. June, 1981 (2f)
Research Notebook. 1983 November 30 – 1984 June 12
Research Notebook. 1984 April 19 – 1987 March 8
Optimization Research. 1979 October 8 – 1981 August 2
Research Notebook. 1986
Research Notebook. 1989
Research Notebook. 1987
Scwartz Computer System Notes. 1967
Straight Line Allocation. 1974
Program Composition. August 1984
LaTeX Manuals. 1983-1986
Flow Analysis. 1971. (Folder 1)
Flow Analysis. 1971. (Folder 2)
Sigplan 82 Optimization Tutorial Originals. 1982.
Graham-Wegman Backwards. 1975.
E-Systems and DOD. 1995 May 9. (Folder 1)
E-Systems and DOD. 1995 May 9. (Folder 2)
Attribute Grammars. 1976. (Folder 1).
Attribute Grammars. 1976. (Folder 2).
P1 Mode. 1978.
Irregular Problems and Space-Filling Curves. 1998.
The Elm Mail System. 1990.
Advanced Compilation for Vector and Parallel Computers. 1994 February 7. (2f)
Subseries B: Research files and notes
CITI Innovation Grant 2002
CITI Innovation Award "High Level Optimization of S Language Programs" March 2003
An Early LWG Report
Array Sections (Paul)
"Array Processing for Fortran" by Charles Wetherell 1980
Pousec Architecture
Pousec Compiler
X3J3 Pre-Meeting Distribution. 11-15 May 1987
801 Architecture
Fortran 8X. September 1985
Fortran I-Code
Fortran Language Extensions Proposal
Apollo President Letter
Fortran Fourth LWC
LASL Fortran Study Third LWG Report
Davidson Note
Minutes of Meeting 107-X3J3 Fortran. 8-12 Feb 1988
Fortran 8x Correspondence
Supplement to the Minutes of Meeting 110-X3J3 Fortran. 13-18 Nov 1988
PCF Fortran. 1 Aug 1990
Fortran Correspondence (X3J3)
Fortran 77D and Fortran 90D (Reports)
Fortran 8x Version 89. 1 March 1984
Minutes of Meeting 108-X3J3 Fortran. 9-13 March 1988
Proposals Approved for Fortran 8x. 30 Nov 1981
Rex page - Fortran 8x
Fortran 8x
Fortran Proposal Summary
Proposals for ANSI 1981
Fortan-Vectran Translator Slides
Beginning Emacs (original)
Department of Energy Correspondence 1986
Composite Array Proposal Document Version 1.76
High Performance Fortran Language Specification. 31 Jan 1997
High Performance Fortran Language Specification. 6 Dec 1996
Various Academic Papers on Parallelism, Stellar, Packetization, and Rendering Performance
High Performance Fortran Language Specification
IBM Vectorizer Course
SETL Data Base Appl.
Programmer's Guide
Environment Personnel
Optimization Coverage
DEC Network Proposal
DEC Proposal
Draft Pro 350 Agreement
Hackerman's Signed Copy of 350 Agreement
Intel Acceptance
Intel (General)
Intel IPSC 2
Intel Proposal Parallel Processing - Intel Touchstone. 2 May 1990
Intel Contract
Intel Proposal 3 Jan 1986
NSA/Telescoping Languages 2004
S-Plus Compiler Teleconference with Jim Walter 2003
Final DEC Research 1983
NSF Forms Fall 1982
Digital Research Agreement 1982
University of TX DEC Contracts 1982
Digital Research Agreement
DEC Non-disclosure Agreement 1986
GMD - Germany 1994
DoD Memo: Prioritization of User Submitted Programming Environment and Training Needs. 19 Sept 1996
Computing Systems and Software PI Meeting. 14-16 Feb 1996
Parascope DARPA Proposal 6 March 1992
ISAT Study Group
DARPA Fellowship Program
Department of Defense/ARPA
ARPA/DARPA Directory 1993, 1996
ARPA Software Review Panel Final Report October 1995
DARPA Sorensen/Convex 1996
Ken's Dept. of Defense Address 1994
DARPA Meeting Notes
Compiler Technology to Optimize Library - based Domain-Language Programs for Statistical Computing. 7 Dec 2004
DARPA Financial Reports
Department of Defense Project 1994
DARPA Computing Systems Technology Meeting. 21-25 Sept 1992
Ridge Computer System
Floating Point Systems
Dec VAX Announcements
Sun Terminal Info
Sun Terminal Master
Sun Reference Manual
Kenneth Wilson
1981 NSF Proposal amendments
NSF Proposal "An Experimental Computer Network to Support Numerical Computation" 1981
AS-9000 IAP Literature
FPS-164
Grant Correspondence
Apollo Prices
PERQ Contacts
Cadinc File
Elexsi Literature
CER Publicity
Site Visit Packet
IBM Site Visit
CER Master Budget
Scientific Workbench
Philip Navrati
Rn Summary
IBM Adventure Machine
VAX Prices - CER Deal
CER Award Paper
CER Reviews
CER Site Visit
Rice CER Budget and Proposal
Rn CER Proposal
MATLAB. 1996-2001.
Research Papers. 1998-1999.
Amsterdam Slides. 1991.
“Query Optimization for Database Systems”. By Jeffrey Ullman. 1988.
PCF: Latest Drafts. 1990 March 18.
PCF Fortran Current. 1991 May 14.
“MPI-IO: A Parallel File I/O Interface for MPI. Version 0.2. 1994 November 11.
A High Performance Computing Research Center in Computational Biology. 1992.
Parallel Computing Forum (Various). 1990 February 10.
Research Notes. 2000 June 1.
Scalable Parallel and Cluster Computing. By Kai Hwang and Zhiwei Xu. 1997. (2f)
HPF-2 Scope of Activities and Motivating Applications. 1994 November 13.
The Fortran D95 Compiler: Infrastructure and Research. 1996.
Strategic Plan for the NHSE. 1995.
Tempest Notes. 1996.
“PPFS: A High Performance Portable Parallel File System.” 1995.
Research Papers. 1998.
IBM Proposal - Takahashi/Dennis
IBM Contract 1985
IBM- Kingston 1989 (Proposal)
Memo to G. Paul on Vector Architecture
IBM Short Report
IBM Consulting Contract
Special IBM Consulting Agreement
Willner Memo
IBM Machine Notes
B. Willner - 2 level vector processor
IBM Technical Disclosure
IBM DEC Materials
IBM Short Report
IPSC/860
IBM Clearance for Survey
IBM Oberlech Meeting
IBM Contract 1994
IBM Correspondence
Language - Independent Procedure Calling. 13 Oct 1993.
IBM Visit. 29-30 Nov 1994.
Misc. IBM Documents and Correspondence
IBM S/390 University Program. 22 Sept 2000.
ITR Program Solicitation NSF 01-149
Fortran/Vectors
IBM RISC System/6000



 

Series VI: Academic papers, presentations, books and slides, 1971-2006 (Boxes 52-60)

Dissertation: Global Flow Analysis and Register Allocation for Simple Code Structures. March 1971
A Global Flow Analysis Algorithm. 1971
Index Register Allocation in Straight Line Code and Simple Loops. 1972.
Safety of Code Motion. 1972.
SETL Newsletter No. 123: Variable Subsumption with Constant Folding. 1974 Feb1.
A Markov Model of Program Flow. May 1974
Reduction of Operator Strength. August 1974.
Node Listings Applied to Data Flow Analysis. January 1975.
The Rice University Compiler Optimization Laboratory. April 1975.
Mathematical Models for Control of Space Shuttle Scheduling: A Report on a Summer Study. September 1975
A Deterministic Attribute Grammar Evaluator Based on Dynamic Sequencing. October 1975.
An Introduction to the Set-Theoretic Language SETL. 1975.
A Node Listing Algorithm: Extended Abstract. 1975
Very High Level Languages. 1975.
Automatic Generation of Efficient Evaluators for Attribute Grammars. January 1976.
A Comparison of Two Algorithms for Global Data Flow Analysis. March 1976
Graph Grammars and Global Program Data Flow Analysis. October 1976.
PLANET: A Simulation Approach to PERT. 1976.
PLANET Supplementary Materials. 1976.
Profitability Computations on Program Flow Graphs. 1976.
Applications of a Graph Grammar for Program Control Flow Analysis. January 1977.
An Algorithm for Reduction of Operator Strength. November 1977.
Basic Block Optimizer for Model. 1977
Basic Block Tree Optimizer. 1977
Revision- An Algorithm for Reduction of Operator Strength. January 1978
Optimization of Vector Operations in an Extended Fortran Compiler. September 1978.
A Survey of Compiler Optimization Techniques. 1978.
A Survey of Compiler Optimization. 1978
Use-Definition Chains with Applications. 1978.
Automatic Translation of FORTRAN Programs to Vector Form. October 1980. Folder 1
Automatic Translation of FORTRAN programs to Vector Form. October 1980.
Vector Mode Computation. October 1980.
Observations on the Future FORTRAN Standard. 1981 August 5.
A Survey of Data Flow Analysis Techniques. 1981.
PFC: A Program to Convert FORTRAN to Parallel Form. 1982 March 1
Observations on the Future FORTRAN Standard. 1982 April 15
Observations of the Future FORTRAN Standard. 1982 October 17
Rn: An Experimental Computer Network to Support Numeric Computation. 1982.
Conversion of Control Dependence to Data Dependence. January 1983.
IF Conversion. 1983.
Automatic Loop Interchange. June 1984.
A Programming Environment for Fortran. June 1984.
Efficient Computation of Flow Insensitive Interprocedural Summary Information. June 1984.
A Programming Environment for FORTRAN. January 1985.
A Parallel Programming Environment. July 1985.
Parallel Detection and Higher Level Languages. October 1985.
Optimization of Compiled Code in the IR Programming Environment. January 1986.
Efficient Recompilation of Module Interfaces in a Software Development Environment. April 1986.
An Implementation of Interprocedural Data Flow Analysis in a Vectorizing Fortran Compiler. May 1986.
Interprocedural Constant Propagation. July 1986.
PTOOL: A Semi-automatic Parallel Programming Assistant. 1986.
The Impact of Interprocedural Analysis and Optimization in the IRn Programming Environment. 1986.
Automatic Decomposition of Scientific Programs for Parallel Execution. January 1987.
Editing and Compiling Whole Programs. January 1987.
Parallel Programming Support in ParaScope. June 1987.
Automatic Translation of FORTRAN programs to Vector Form. October 1987.
Complexity of Interprocedural Side-Effect Analysis. October 1987.
A Practical Environment for Scientific Programming. November 1987.
ParaScope Newsletter #8: Proposed Changes to the Composition Editor. 1988 January 27
PTOOL: A System for Static Analysis of Parallel Programs. 1988 March 12.
Estimating Interlock and Improving Balance for Pipeline Architectures. August 1988.
ParaScope: A Parallel Programming Environment. September 1988.
Compiling Programs for Distributed-Memory Multiprocessors. October 1988.
Analysis of Interprocedural Side Effects in a Parallel Programming Environment. 1988.
Fast Interprocedural Alias Analysis. January 1989.
Virtual Shared Memory for Distributed-Memory Machines. March 1989.
Compiling for Distributed-Memory Machines: Proposal for a Tutorial. 1989 May 25.
ParaScope Newsletter #?: Summer 1989 Research Goals. 1989 June 6.
Interprocedural Analysis and Optimization. 1989 June 18.
A Dynamic Study of Vectorization in PFC. 1989 July 10.
Dependence-based Register Allocation. 1989 July 19.
A Technique for Summarizing Data Access and Its Use in Parallelism Enhancing Transformations. July 1989.
Constructing the Procedure Call Multigraph. 1989 September 6.
Analyzing and Visualizing Performance of Memory Hierarchies. 1989 October 20.
An Algorithm for Call Multigraph Construction. 1989 November 9
The ParaScope Editor: An Interactive Parallel Programming Tool. November 1989.
Blocking Linear Algebra Codes for Memory Hierarchies. December 1989.
Compile-time Detection of Race Conditions in a Parallel Program. 1989.
Improving Loop Balance. 1989.
Performance of parallel processors. 1989.
Software Prefetching. 1990 March 30.
An Interactive Environment for Data Partitioning and Distribution. April 1990
Improving Register Allocation for Subscripted Variables. June 1990.
Software for Supercomputers of the Future. 1990 July 19.
Interprocedural Optimization: Eliminating unnecessary Recompilation. 1990 July 30
Experience with Interprocedural Analysis of Array Side Effects. 1990 September 29.
Parallel Program Debugging with the On-the-fly Anomaly Detection. November 1990.
Fortran D Language Specification. December, 1990
Compiling Scientific Code for Complex Memory Hierarchies. January 1991.
An Implementation of Interprocedural Bounded Regular Section Analysis. 1991 March 22.
Compiler Optimizations for Fortran D on MIMD Distributed-Memory Machines. April 1991.
Analysis and Transformation in the ParaScope Editor. June 1991.
Interactive Parallel Programming Using the ParaScope Editor. July 1991.
A Static Performance Estimator to Guide Data Partitioning Decisions. July 1991
Interprocedural Compilation of Fortran D for MIMD Distributed-Memory Machines. November 1991.
An Overview of the Fortran D Programming System. 1991
Evaluating Parallel Languages for Molecular Dynamics Computations. 1992 April 26-29.
Optimizing for Parallelism and Data Locality. April 1992.
Procedure Cooling. April 1992.
Relaxing SIMD Control Flow Constraints using Loop Transformations. April 1992.
Simple Models for Parallel Computation. 1992 June 2.
Compiler Analysis for Irregular Problems in Fortran D. June 1992
Software Support for Irregular and Loosely Synchronous Problems. June 1992.
Solving Integer Programs from Dependence and Synchronization Problems. 1992.
A Static Performance Estimator in the Fortran D Programming System. 1992.
Automatic Data Layout for Distributed-Memory Machines in the D Programming Environment. February 1993.
The ParaScope Parallel Programming Environment. February 1993.
A Methodology for Procedure Cloning. April, 1993.
Experiences Using the ParaScope Editor: an Interactive Parallel Programming Tool. May 1993.
Compiler Technology for Machine-Independent Parallel Programming. 1993 June 21.
Initial Framework for Automatic Data Layout in Fortran D: A Short Update on a Case Study. July 1993
Analysis and transformation in an interactive parallel programming tool. October 1993.
Multi-processor Cluster Computing, A Research Infrastructure Proposal to the National Science Foundation. October, 1993.
A Vision Statement for the D System. 1993 December 8.
Unified Compilation of Fortran 77D and 90D. 1993.
Languages, Compilers, and Runtime Systems Support for Parallel Input-Output. January, 1994.
Scalar Replacement in the Presence of Conditional Control Flow. January 1994.
Typed Fusion with Applications to Parallel and Sequential Code Generation. January 1994.
The D System: Support for Data-Parallel Programming. 1994 March 9.
GIVE-N-TAKE- A Balanced Code Placement Framework. March, 1994.
Evaluating Compiler Optimizations for Fortran D. April 1994.
Automatic Data Layout Using 0-1 Integer Programming. August 1994.
An Algorithm for Minimizing Spill Code in Loops. 1994 October 20.
The D Editor: A New Interactive Parallel Programming Tool. November 1994.
Improving the Ratio of Memory Operations to Floating-Point Operations in Loops. November 1994.
Minimizing Spill Code in Loop-Contained Basic Blocks. 1994.
A Research Agenda for High Performance Computing Software. 1994.
Value-Based Distributions in Fortran D. 1994.
A Constraint Based Communication Placement Framework. February 1995.
An Empirical Study of Cross-Loop Reuse in the NAS Benchmarks. March 1995.
A Method for Optimal Register Allocation to Loops in Multiple Register File Architectures. June, 1995.
Efficient Address Generation for Block-Cyclic Distributions. July 1995.
A Linear-Time Algorithm for Computing the Memory Access Sequence in Data-Parallel Programs. July 1995.
Index Array Flattening Through Program Transformation. August 1995.
A Model and Compilation Strategy for Out-of-Core Data Parallel Programs. August, 1995.
Optimizing Fortran 90 Shift Operations on Distributed-Memory Multicomputers. August 1995.
Interprocedural Array Side Effect Analysis. 1995 September 9.
Optimal Register Assignment to Loops for Embedded Code Generation. September 1995.
An Integrated Compilation and Performance Analysis Environment for Data Parallel Programs. October 1995.
Automatic Data Layout for High Performance Fortran. December 1995.
Communication Generation for Cyclic (K) Distributions. 1995.
Efficient Call Graph Analysis. March 1996.
A Method for Register Allocation to Loops in Multiple Register File Architectures. April, 1996.
Compiler Techniques for Software Prefetching on Cache-Coherent Shared Memory Multiprocessors. June 1996.
Dependence Analysis of Fortran 90 Array Syntax. 1996 August 9-11.
Cross-loop Reuse Analysis and its Application to Cache Optimizations. August 1996.
Resource-Based Communication Placement Analysis. August 1996.
Interprocedural Compilation of Fortran D. November 1996
A Communication Placement Framework with Unified Dependence and Data-flow Analysis. 1996.
Experiences in Data-Parallel Programming. 1997.
Automatic Data Layout for Distributed Memory Machines. July 1998.
Vector Register Allocation. October 1992.
Optimizing Strategies for Telescoping Languages: Procedure Strength Reduction and Procedure Vectorization. June 2001.
Fast Greedy Weighted Fusion. October 2001.
An Approximate Balancing Algorithm for Efficient Broadcast. 2001 September 18.
What Are the Top Ten Most Influential Parallel and Distributed Processing Concepts of the Past Millennium? December 2001.
Telescoping Languages: A Strategy for Automatic Generation of Scientific Problem-Solving Systems from Annotated Libraries. 2001.
Reducing and Vectorizing Procedures for Telescoping Languages. August 2002.
Vizer: A System to Vectorize Intel x86 Binaries. 2002 October 14-15.
High-Level Optimization of S Language Programs. 2002.
KELPIO: a telescope-ready domain-specific I/O library for irregular block- structured applications. 2002
Optimizing Compilers for Modern Architectures. 2002.
Special Issue: High Performance Fortran. 2002.
Languages, Compilers, and Run-Time Systems. Fall 2003.
Improving Memory Hierarchy Performance through Combined Loop Interchange and Multi-Level Fusion. May 2004.
Automatic Blocking of QR and LU Factorizations for Locality. June 2004.
An Automatic Source-level Transformer for Improving the Performance of DSP Applications in MATLAB. August 2004.
Defining and Measuring the Productivity of Programming Languages. Winter 2004.
Improving Effective Bandwidth through Compiler Enhancement of Global Cache Reuse. 2004.
Transforming Complex Loop Nests for Locality. 2004.
Scalarization using Loop Alignment and Loop Skewing. January 2005.
Telescoping Languages: A System for Automatic Generation of Domain Languages. February 2005.
Task Scheduling Strategies for Workflow-Based Applications in Grids. May 2005.
New Grid Scheduling and Rescheduling Methods in the GrADS Project. June 2005.
NEC SX-4 (Slides)
Dept. Research Talk
Computer Science Overview May 1991 Affiliates
Affiliates 1992
High-Level Programming Systems
CRPC Slides
CRPC Affiliates Talk
Debugging Conference Keynote
SHPCC Tutorial
Software Support for Parallel Programming
Parallel Prog. Environment
Provost Lecture
Owlnet Overview
Parasol Slides
Overview for CER Site Visit
Corky's Parasol Overview
CER Overview
America Online - Hawk's Key Seminar
Owlnet Slides
Newport Workshop on Supercomputing (Admirals, etc.)
Alumni Lecture
Siemens Talk
CRPC Programming Env. for Parallel Computing Tutorial
Exxon Talk
Older Parallel Software Support Talk (Xerox only)
Siemens Talk
Miscellaneous ParaScope
ParaScope Workshop July 1991
ParaScope Slides
Miscellaneous Parallel Processors
Current Parallel Slides
Parallel Code Generation
Loop Interchange
Parallel Program Debugging with On-the-fly Anomaly Detection by R. Hood/K. Kennedy/J. Mellor-Crummey
Siemens Parallel Debug Aug. 6, 1990
CDC Executive Seminar - 35 minutes
Slides for Debugging Keynote
ParaScope Debug Slides
Intro Parallelism Lecture
Environment Slides
Programming Environment
Notes from Palo Alto
Environment Originals
Kennedy GCC Talk
H Flatt Materials
Petaflops Architectures
IT Venture Forum 2005
Working Group 2.11 Invited Talk. 6-9 March 2005
Wiley Copyright Transfer Agreement 1995
ICASE Fortran D
Loveman Slides
Academic Papers, 1994
Salzburg Fortran D. 30 Sept 1991
HPC SW Talk
CRPC Fortran Overview
Fortran D Optimization
Distribution Memory Extra Slides
Parallel Computation Slides
Fortran D Compiler and HPF
SC91-Compilation Intro Dependence and Parallelization
SC91 Tutorial: Interprocedural Arial
Machine-Independent Evaluation of Parallelizing Compilers - Petersen/Padua
Politically Incorrect Fortran
SIO Overview
Cancun Papers
Priority Reading
Java Papers
The Technology Behind Crusoe Processors
Programming Articles
Emotion Engino et al
Keshav Pingali
Give N Take
The Silk Road Project. 10 Dec 1999
Java ITR Proposal
Script ITR Proposal
Java Reading
Talks/Abstracts
A Rice Perspective on Software Engineering Licensing by Kennedy and Vardi Aug 2002
Supercomputing Papers
ACM - Publications, Papers, etc.
Financial Disclosure
IEEE Copyright. April 2, 2000
20 Years of the ACM/Sigplan Conference
ACM Copyright Form Fast Copy - Coalescing and Live Range Identification
Journal Proofs - CPE 696
HUG Special Issue Wiley Publishers Transmission From 2001
SIO Book Author's Letter of Agreement (CTA Form) 2002
Copyright Agreements 2001
Special Issue of IJPP CTA and Disk Description Forms
Papers (Various)
Time Skewing (2f)
Qing Paper 24 October 2001
Ossoda RFI Response
Compiler Techniques for High-Performance Computing with Java 2005
Policy Reading
Anirban Broadcast Reading
IA-64 Compilation
Fusion References
TJs Reviews on Paper "Scalarization using Loop Alignment and Loop Skewing"
Journals - Top 10 References
High Performance Computing: Crays, Clusters, and Centers. What Next?
Scheduling Workflow Applications in GrADS Nov 2003
LACSI Slides
Interprocedural Analysis and Optimization
Vector Register Allocation (2f)
Miscellaneous Academic Papers
MPP Fortran Programming Model. 4 March 1992
Compiler Support for Out-of-Core Data Structures on Parallel Machines
"Compilation for Software Distributed-Shared Memory Systems" thesis by Kai Zhang. June 1999
Misc. Drafts, papers, correspondence, presentations
Illinois Vectorizer Documentation
Vectranslator Document
George's Vectranslation Slides
Argonne Transparencies
Intro to Dependence
Standardization/Prelim X forms
Parallel Code Generation
Originals
Constant Propagation (Sigplan)
Dependence Testing Talk
Dependence Lecture
Multiple Subscripts
Recurrence Breaking
Vector Register Allocation
Optimization Bibliography
One-Cost Loop Work Rough Draft
GE Talk 1992
Intel Talk
Silicon Graphics Talk
Rochester-Kodak Talk
Simple Dependence Testing
Dependence Analysis
Challenges for Compilers
Frontiers Talk
Compiling for Distrib Memory
Distributed Memory Compilation
DMCC5 Tutorial
SC91: Introduction Architecture, Programming
Shell Talk
Chau-Wen's Distributed Memory Talk
Intel Touchstone Vienna
Machine Independent Programming
Machine Independent Parallel Programming
Portable Programming: Navy Workshop
Distributed Memory New Slides
Chau-Wen Slides
Distributed Memory Talk
Side Effects and Aliases
Interprocedural Analysis in a Parallel Programming Environment
Alias Analysis
Convex Luncheon Talk
Regular Sections
Convex Applications Compiler
Superscalar Optimization
Superscalar Optimization (Israel)
i860 Talk
CM-2 Lecture (Memory Hierarchy)
Complex Memory Hierarchy IBM Oberlech
Porterfield/Carr Slides
Complex Memory Hierarchy FPS Talk
Paper Draft: Combining Loop Fusion and Tiling for Improved Memory Performance
Various Academic Papers
Supercomputing Article/Editorial
Article on CRPC for IJ Supercomputer Applications
Sigplan RSD Submission
Book Outline
Article for Padua
CACM Paper with Tseng and Hiranandani
Chapter 6 first half
Book
Paper Submitted to CC 2004 "Specialization Engine…" October 2003
Paper Submitted to CC 2004 "Scheduling Workflow Applications inGrADS
Grandinetti/Cetraro w/s book
Book
Comments on Survey Papers
Keith's Comments
IPOPT Paper with Mauf, Kats, SC91
Joint Optimization Paper with Fran
Practical Dependence Analysis
Dependence Testing Sigplan
PTOOL Paper
ACPC Abstract Fortran D
Wiley Interscience
Ken Kennedy CV
Sid Fernbach (Ken's papers)
Automatic Translation of Fortran Programs to Vector Form. By Randy Allen and Ken Kennedy. July 1984
Correspondence regarding Various Publications
Morgan Kaufmann Publishers Correspondence 1987-1992
Pearson Education Royalty Statement 1999
Prentice-Hall Correspondence 1990
Kennedy Foreword for Supercomputers for Parallel and Vector Computers. 1990
Addison-Wesley
Jones and Bartlett (Carl Hessler)
Copyright: Paper 8465 (Allen/Kennedy) Vector Register Allocation (2f)
International Journal of Parallel Programming, Vol. 29, No.5, Oct 2001
IEEE - Constructing the Procedure Call Multigraph
Jones and Bartlett Contract 1992 (Tseng/Hiranandani/Kennedy)
Kansas Survey
Compilation for Vector and Parallel Computers Book Outline
Morgan Kaufmann Letter regarding Book Cover. 2 Aug 2001
Kennedy Book Materials
Book Review by Kathryn McKinley (2f)
Book Revisions by Randy Allen. 24 June 2001
Book Revisions (2f)
Book Draft/Revisions. 10 Feb 2001. (2f)
Book Chapter Drafts/Revisions. Feb-April 2001. (3f)
Book Draft. 11 Jan 2001 (2f)
ACM Revisions/Correspondence
CRPC Book Kennedy (miscellaneous edits)
Chapter 1
Chapter 2
Chapter 3
Chapter 4
Chapter 5
Chapter 6
Chapter 7
Chapter 8
Chapter 9
Chapter 10
Chapter 11
Chapter 12
Chapter 13
Chapter 14
Chapter 15
Chapter 16
Chapter 17
Chapter 18
Chapter 19
Chapter 20
Chapter 21
Chapter 22
Chapter 23
Chapter 24
Chapter 25
CRPC Book Draft
CRPC Book Ch 4 Draft/Revisions
CRPC Book Bibliography Draft/Revisions
CRPC Book Ch 20 Draft/Revisions
CRPC Book Ch 21 Draft/Revisions
CRPC Book Ch 22 Draft/Revisions
CRPC Book Ch 23 Draft/Revisions
CRPC Book Ch 24 Draft/Revisions
CRPC Book Ch 25 Draft/Revisions
CRPC Book Ch 11 and 12 Draft. 17 July 2002
CRPC Book Illustration Drafts. 17 July 2002
CRPC Book Ch 3, 9, 12 and 17 and Correspondence
Fax from Linda Torczon. 12 Aug 2002
CRPC Book Copy Edit Production Schedule
CRPC Book Information Needed from Authors
CRPC Book Production Schedules
CRPC Book as of 18 Dec 2001 (2f)
CRPC Book - final queries
About the Authors
CRPC Book - final questions
Bibliography
Color Plates
Our Proposal 19 July 1983
Motion to Dismiss Response
Eunice Source License
RUnice Distribution Announcement
Eunice
Eunice Documentation
Eunice Documentation Packet
SRI Wollongong Papers Sent to Baker Botts
Untulis Letter
Wollongong Eunice Letter
Original Eunice License
Eunice Project Berkeley Joint Work
McDowell Award 1995 (2f)
Willy Zwaenepoel (IEEE)
Snir, Marc
IEEE Applications - McDowell
Who's Who #1
Who's Who #2
Honors
Conflict of %
IBM Cell NDA 2006
Ken Kennedy's Proposals Submitted in CY 2006
IBM Fellowship Program
SRI International and the Wollongong Group v. Ken Kennedy and Rice University. May 1983
Microsoft Meeting
SUN NDA 2005
Documents to edit
1997 W. Wallace McDowell Award
McDowell Award
"Unifying Vectorization, Parallelization, and Optimization: The Ardent Compiler" by Randy Allen
Index for Kennedy/Allen Book. 9 Aug 2001
Optimizing Compilers for Modern Architectures by Randy Allen and Ken Kennedy Chapter Drafts (3f)
American Academy of Arts and Sciences. 7 Nov 2005
Letter from Bill Joy re: Sun Microsystems. 10 March 2000
Ken's updates and contacts
Brookhart, Walter - Patent Attorney 2004



 

Series VII: Personal/awards, 1970-2007 (Boxes 60-65)

University of Washington 2003
Confidential re: donations
Lemelson - MIT Awards 2006
Rice University Service Award
CRAY Stock Info. 9 June 2006
Condo Purchase
Phi Beta Kappa
Ken Kennedy Oral History Project with Thomas Haugh 2007
Distinguished Alumni Award/Honor
The Faculty Club
Endorsement of Keith and Linda's Book
HPC Innovation Awards (judging)
University of Illinois Computer Technology
CIO Magazine Interview (phone call)
Biax Patent Case
Phone call with Randy Bryant re: CCC Chair
Meeting with Lydia January 2007
Rescheduling various meetings/calls January 2007
Student Thank You's and Letter drafts to Horace Flatt
Keepsakes
Ken's Five Year Plan and Tech Bio
Horses (Ken)
Texas AandM Dean/VC 2002
Teleconference with Princeton - Dean Search. 22 Feb 2002
Teleconference with Princeton. 1 March 2002
MacWorld Stuff
Houston Partners. 7 Sept 2001
Awards
MacWorld Conference and Expo. 7-11 Jan 2002
Ken's to-do
Ken's University Lecture 2003
University Professor Lunch May 2003
Remembering Ken Kennedy 2007
Purchasing Card Approvals (online) - Pending Approval by Ken Kennedy
M.D. Anderson Authorization for Molecular Profiling Forms. Nov 2006
Invitations to Events
McGraw-Hill Annual Editions Info
Texas AandM Engineering Program Info
Misc. Rice News and Rice Threshers and other news clippings
Misc. greeting cards, notes and letters
Nomination for IEEE Award - July 2007
Talk and Reception for Moshe and Ken. April 2002
Profile
U of H American Express card
Executive Recruiter for Dell asking for recommendations for candidates Oct 2003
Medical Spending Account Reimbursement forms
Ken's Phone Messages
Appointment Books 1970 (2f)
Appointment Books, 1980s
Address Books, undated
Phone Message Book 2001
Planners - 1992 and 1993
Planners - 1994-1995
Planners - 1996 and 1997
Planner -1998
Planners - 1999-2001
Correspondence/Christmas cards, 2002
Letter from Morgan-Kaufman Publishers, Inc. 2 March 2000
Correspondence with Richard Smalley 1998-99
SRI Int. and the Wollongong Group v. Rice University and Ken Kennedy. 1983 Documents (3f)
Jack Schwartz 1999
Poduska Family Correspondence 1998
Chapman, Barbara
Berman, Fran
Letters of Recommendation/Reference written by Ken 1989-2000 (2f)
Almes, Guy August 17
Awards 2002
Application for Federal Employment 1991
Princeton Materials
Meeting with Mike Counterman re: Q Clearance Feb2004
ComputerWorld Honors Program Online Case Study
ComputerWorld Heroes Award Nomination (Ken) 2004
Annual Survey on Rice Health Plans from CareData. 9 Aug 2001
David B. Johnson Curriculum vitae and recommendations
Todd Ryan Waterman
Thomas, Gwen
Leah Stratman
Schwarts, Jack
Saltz, Joel. IEEE Fellow Ref. Form
Tapia (NAE Award)
Tapia - Habermann Award
Tapia - White Paper
Tapia, Richard
Students/Programs
Awards
Tapia (Hispanic Engineering Award)
Wiley and Sons Inc.
Nigerian Bank Scam
Tax Exempt Certificate
Authorization to Travel with Caitlin (August 2002)
Ken…Alias (Rice)
Performance
Sabbaticals 1999-2000
Sabbatical 1992-93
Disclosure Statement
Passport (copy)
Awards
Rice News Article "Rice Names Two Faculty to Rank of University Professor) 10 April 2002
CS Dept. Web Site
Parking Stickers
NY Times - 2 Aug 2001 Quote
Dental Insurance Claim Forms
Insurance Forms (Rice)
Claims Filed (Health and Dental)
Payroll Deductions 2002
Shots
Job Offers
Baker Institute
Deanship
Stock
Ken Kennedy Summary of Accomplishments Dec 31 2001
University Professor Lunch
Rice News Story Feb 2003
Kennedy and Quillen Payroll Deductions 2003 Next Century Campaign
Passport Renewal Sept 2006
Moving Expenses
ComputerWorld 24 Sept 2001
HPC Wire Interview
Party
Address Book (Ken's)
CIO Magazine 1 July 2001
Conflict of %
UPI "Digital test tube models cell structures" 21 Aug 2001
Royalty Statements
Internet.com 30 July 2002
Texas Higher Education Academic Resource Guide 2002
Bio IT World 8 Aug 2002
Hewlett-Packard Video Testimony. 7 Nov 2002
NY Time's Article about Fran Allen. 6 Aug 2002
Gittings - Photo Info
Highlights of CV
A Rice University Perspective on Software Engineering Licensing. November 2002
Notes (reference)
Hot #s
NRC Faculty Survey 2007
2-Page.tex
Bio updates
Curriculum Vitae updates
Wai-Yee (Wendy) Wong Affidavit
Kennedy Vitae and Bio, 2000
Media Training
University Professor Lunch
Patent
Continental Video, 2001
Pam Francis Photography re: CIO Magazine Photo Shoot 2001
Kathy Buford (Ken's Bookkeeper)
Rice Purchasing Card Copy
Nano. Bio. Info. Enviro. Brochure 2002
Rice Mentoring Award (nomination 2004)
Distinguished Alumni Award - Honors Dinner May 2002
Univ. Professor Luncheon. 22 Aug 2002
Awards/Appointments
Doerr Chair ('97)
John Doerr (chair info)
Distinguished Alumni Award (photo) 2002
ComputerWorld Honors Case Study Finalist
Bios
Ken Kennedy Slides
Insurance
Health Insurance Claim Forms
Kennedy - Medical Leave October 2003
Rice Benefits Statement July 2004
Greeting Cards
Letter of Commendation from President George W. Bush. 20 Dec 2001
Letter of Commendation from President Bill Clinton. 19 August 1999
Photos, undated
Award Certificates 1983-1995
3 inch floppy diskettes 1990-98 (4f)
Eight 3-inch floppy diskettes ca. 1996
Small Awards
Award Plaques 1989-2004 (3f)
Two Medals, 1967 and undated
PITAC Award Plate, undated
35 Years Employment at Rice Award, undated
Two Unidentified, undated awards
Computing Research Association Award, 1999
Georgia Tech Advisory Board Award 2001-2003
Commendation Poster from President Clinton
Banner from 2004 ComputerWorld Award Gala
NCSA National Technology Gird
Computer World Honors Laureate Certificate 2004
Institute of Electrical and Electronics Engineers, Inc Certificate 1995
American Academy of Arts and Sciences Certificate 2005
Samuel C. Conte Distinguished Lecture Series Plaque 1997
University of Wisconsin- La Crosse Plaque 2000



Page | 1 | 2 |