In Pursuit of Simplicity a Symposium Honoring Professor Edsger Wybe Dijkstra
Total Page:16
File Type:pdf, Size:1020Kb
Department of Computer Sciences The University of Texas at Austin presents InIn PursuitPursuit ofof SimplicitySimplicity A Symposium Honoring Professor Edsger Wybe Dijkstra May 12–13, 2000 This certificate shows that the student E. W. Dijkstra paid his university tuition for the academic year 1954-1955 and hence was entitled to follow lectures, visit the library, etc. Each student was required to be in possession of their certificate when in any university building and officials would sometimes spot check. Contents The Program .................................................................................................................................................. 2 E. W. Dijkstra — Background Information ................................................................................................ 4 Selected Citations........................................................................................................................................... 5 Insights to the Life and Times of Edsger W. Dijkstra ................................................................................ 7 In Edsger’s Words ......................................................................................................................................... 9 Blackboard Commentary ............................................................................................................................. 11 The Speakers .................................................................................................................................................. 13 Photos.............................................................................................................................................................. 22 Area Map ........................................................................................................................................................ 24 In Pursuit of Simplicity A Symposium Honoring Professor Edsger Wybe Dijkstra May 12-13, 2000 Department of Computer Sciences Symposium Committee: Taylor Hall, Room 2.124 Vicki L. Almstrum The University of Texas at Austin Stephen W. Keckler, Chair Austin, TX 78712-118 Jayadev Misra (512) 471-7316 Suzanne Kain Rhoads Fax (512) 471-8885 Hamilton Richards www.cs.utexas.edu The Program Friday, May 12th, Taylor Hall 2.106 8:00-8:30 Registration 8:30-8:45 Welcome William Livingston, Professor Emeritus, Department of Government, College of Liberal Arts, The University of Texas at Austin Benjamin J. Kuipers, Chairman, Department of Computer Sciences, The University of Texas at Austin Session 1 Chair: Vicki Almstrum, The University of Texas at Austin 8:45-9:15 A Real-time Application of Oberon-SA: Flight Control of Model Helicopters Niklaus Wirth, ETH Zurich 9:15-9:45 The Music of Streams M. Douglas McIlroy, Darmouth College 9:45-10:15 Panel Anish Arora, Ohio State University at Columbus and Microsoft Corporation Kenneth L. Calvert, University of Kentucky Joshyula R. Rao, IBM T. J. Watson Research Center Ambuj Singh, University of California at Santa Barbara 10:15-10:45 Break, Taylor Hall, Room 3.128 Session 2 Chair: Mohamad Gouda, The University of Texas at Austin 10:45-11:15 Model-Based Specification Lex Bijlsma, Utrecht University 11:15-11:45 The Alma Project or How First-Order Logic Can Help Us in Imperative Programming Krzysztof R. Apt, CWI Amsterdam and University of Amsterdam 11:45-12:15 Panel Jim Anderson, University of North Carolina at Chapel Hill K. Rustan M. Leino, Compaq Systems Research Center Natarajan Shankar, SRI Computer Science Laboratory, Menlo Park 12:15-2:00 Lunch, The University Texas Club Session 3 Chair: Jayadev Misra, The University of Texas at Austin 2:00-2:30 A Theory of Composition Motivated by wp K. Mani Chandy, California Institute of Technology 2:30-3:00 Are there Systems Principles or only Systems Principals? Fred B. Schneider, Cornell University 3:00-3:30 Panel Rajeev Joshi, Compaq Systems Research Center Markus Kaltenbach, Siemens Information and Communication Network, Inc., Munich Jacob Kornerup, National Instruments Corporation, Austin Panagiotis Manolios, The University of Texas at Austin 3:30-4:00 Break, Taylor Hall Room 3.128 2 Session 4 Chair: Stephen Keckler, The University of Texas at Austin 4:00-4:30 Formality Works Rob R. Hoogerwoord, Eindhoven University of Technology 4:30-5:00 Frolicking with Formulae W. H. J. Feijen, Eindhoven University of Technology Banquet Lila B. Etter Alumni Center 7:00-10:00 Banquet Speakers David Gries, University of Georgia at Athens Hamilton Richards, The University of Texas at Austin W. M. Turski, Warsaw University Saturday, May 13th, Taylor Hall 2.106 Session 1 Chair: J Strother Moore, The University of Texas at Austin 9:00-9:30 Structured Programming and Literate Programming Donald E. Knuth, Stanford University 9:30-10:15 Panel Don Braben, Venture Research International and University College London Anne Kaldewaij, University of Amsterdam Martin Rem, Eindhoven University of Technology Netty van Gasteren, Eindhoven University of Technology 10:15-10:45 Break, Taylor Hall, Room 3.128 Session 2 Chair: Hamilton Richards, The University of Texas at Austin 10:45-11:15 Drawing Lots for Sinterklaas Rutger M. Dijkstra, Eye-to-Eye, Groningen 11:15-11:45 What I learned from VLSI: An Imaginary Return to the Tuesday Afternoon Club Alain J. Martin, California Institute of Technology 11:45-12:15 Panel Ted Herman, University of Iowa Charanjit S. Jutla, IBM T. J. Watson Research Center David A. Naumann, Stevens Institute of Technology, New Jersey 12:15-1:30 Lunch, The University Texas Club Session 3 Chair: Robert Boyer, The University of Texas at Austin 1:30-2:00 Legacy C. A. R. Hoare, Microsoft Corporation, Cambridge 2:00-2:30 Juno-2, a Constraint-Based Graphics System Greg Nelson, Compaq Systems Research Center 2:30-3:00 Break, Taylor Hall Room 3.128 3:00-4:00 Farewell Lecture Edsger W. Dijkstra 4:00 Closing Remarks Jayadev Misra 3 E. W. Dijkstra Education Gymnasium Erasmianum in Rotterdam (with highest possible marks for mathematics, physics, chemistry, and biology), 1948 University of Leyden Candidaats Examen, Mathematics and Physics, 1951 Doctoraal Examen, Theoretical Physics, 1956 University of Amsterdam Ph.D. (Cum Laude), 1959 Professional Experience Mathematical Centre, Amsterdam Staff member, 1952-1962 Eindhoven University of Technology Full Professor of Mathematics, 1962-1973 Burroughs Research Fellow / Professor Extraordinarius, 1973-1984 The University of Texas at Austin Professor and Schlumberger Centennial Chair in Computer Sciences, 1984-1999 Honors and Awards • Member of the Bataafsch Genootschap de Proefondervindelijke Wijsbegeerte, Rotterdam, 1964 • Member of the Royal Netherlands Academy of Arts and Sciences, 1971 • Distinguished Fellow of the British Computer Society, 1971 • Programming Systems and Languages Paper Award, 1971 • ACM Turing Award, 1972 • AFIPS Harry Goode Memorial Award, 1974 • Foreign Honorary Member of the American Academy of Arts and Sciences, 1975 • Doctor of Science Honoris Causa, The Queen’s University of Belfast, 1976 • Computer Pioneer Award, IEEE Computer Society, 1982 • ACM/SIGCSE Award for Outstanding Contributions to Computer Science Education, 1989 • ACM Fellow, 1994 Written Works According to his Curriculum Vitae, E. W. Dijkstra is the author or co-author of nine books, twelve book chapters, forty journal articles, thirty-four contributions to conference proceedings, and twenty-two other publications. However, these statistics only scratch the surface of his writings. The EWD series comprises over 1000 manuscripts (with EWD 1294 the highest in the series at this moment) that include technical papers, trip reports, and essays. While many of these are included among the published works mentioned above, many more are not. The spread of these manuscripts represents a unique form of “publication” via an informal distribution tree. Each EWD manuscript goes to a small group of people, each of whom acts as a new distribution point to send copies to additional people — all over the world. At least one paper returned to him six generations later. The Department of Computer Sciences is currently organizing these writings into a web site, which will be located at “Edsger W. Dijkstra archives” under Publications on the UT CS home page at www.cs.utexas.edu. 4 Selected Citations Citation from the ACM Turing Award The working vocabulary of programmers is studded with words originated or forcefully promulgated by E. W. Dijkstra: display, deadly embrace, semaphore, go-to-less programming, structured programming. But his influence on programming is more pervasive than any glossary can possibly indicate. The precious gift that this Turing Award acknowledges is Dijkstra’s style: his approach to programming as a high, intellectual challenge; his eloquent insistence and practical demonstration that programs should be composed correctly, not just debugged into correctness; and his illuminating perception of problems at the foundations of program design. He has published about a dozen papers, both technical and reflective, among which are especially to be noted his philosophical address at IFIP, his already classic papers on cooperating sequential processes, and his memorable indictment of the go-to statement. An influential series of letters by Dijkstra have recently surfaced as a polished monograph on the art of composing programs. We have come to value good programs in much the same way as we value good literature. And at the center of this movement, creating