| |
|
|
| |
| | David A. Gustafson has taught and researched computer science (CS) for over 40 years. As an undergraduate in mathematics at the University of Minnesota, he wrote his first computer program on a CDC 1604 in machine code. While serving in the United States Air Force (USAF) as a weather forecaster—he received his bachelor of science in meteorology from the University of Utah—he wrote programs on the SAGE Q7 using Jovial. Dave completed his graduate work (both a master’s degree and PhD in computer science) at the University of Wisconsin–Madison. After Madison, he took a CS faculty position at Kansas State University.
Dave’s research areas include static analysis, software engineering (testing, reliability, and measurement), and autonomous robotics (vision and manipulations). His robotics teams have been successful at many Association for the Advancement of Artificial Intelligence (AAAI) robotic competitions, and his graduate students have included nine PhD students and over 200 MS/MSE students. His Schuam’s outline of software engineering book has been translated into five languages, and his book Compiler construction (2nd ed.) was popular for many years.
Dave is proud of the high school programming contest that he, a graduate student, and another faculty member started almost three decades ago. About 200 high school students from all over Kansas spend the day solving six different programming problems.
He has been a reviewer for Computing Reviews since 1986.
|
| |
| |
|
Date Reviewed |
|
| |
1 - 10 of 32
reviews
|
|
|
 |
|
|
|
|
Making AI intelligible: philosophical foundations
Cappelen H., Dever J., Oxford University Press, Oxford, UK, 2021. 192 pp. Type: Book (0192894722)
Have you ever feel unsure about the output from an artificial intelligence (AI)-based program? Frustrated with the unintelligible results? This book’s title implies that there is an approach to making the output understandable. This would be...
|
Oct 6 2023 |
|
|
|
|
|
|
 Software assistants in software engineering: a systematic mapping study
Savary-Leblanc M., Burgueño L., Cabot J., Le Pallec X., Gerard S. Software--Practice & Experience 53856-892, 2023. Type: Article, Reviews: (1 of 2)
Imagine finding an error while developing a new product and then just clicking on your software assistant that then displays an appropriate debugging technique. Perhaps the tool also identifies the possible location of the fault. Perhaps the tool ...
|
Mar 30 2023 |
|
|
|
|
|
|
Human-centered AI
Shneiderman B., Oxford University Press, Oxford, UK, 2022. 400 pp. Type: Book (978-1-928452-92-8)
Human-centered AI is a must-read for anyone in charge of designing a software system involving a significant artificial intelligence (AI) component. However, this book is not about how to implement an AI technique to solve a problem. Rather...
|
Jan 9 2023 |
|
|
|
|
|
|
Artificial intelligence for a better future: an ecosystem perspective on the ethics of ai and emerging digital technologies
Stahl B., Springer, Switzerland, 2021. 124 pp. Type: Book (978-3-030699-77-2)
Ethics may save us from the possibly negative effects of artificial intelligence (AI). The author, Stahl, leads the SHERPA consortium, whose work is the basis of this book. Project Sherpa (https://www.project-sherpa.eu) stands for ”shaping t...
|
Dec 21 2021 |
|
|
|
|
|
|
Regulating artificial intelligence
Wischmeyer T., Rademacher T., Springer, New York, NY, 2020. 391 pp. Type: Book (978-3-030323-60-8)
As an emeritus professor of computer science, I found this book to be a very interesting introduction to a very relevant topic: the regulation of artificial intelligence (AI). In the preface, the authors note: “the belief tha...
|
Feb 18 2021 |
|
|
|
|
|
|
The future of music: towards a computational musical theory of everything
Mazzola G., Noer J., Pang Y., Yao S., Afrisando J., Rochester C., Neace W., Springer International Publishing, New York, NY, 2020. 257 pp. Type: Book (978-3-030397-08-1)
When I picked this book to review, I had expected a book about formal theories of music: notations, definitions, functions, relations, theorems, and so on. However, when I opened it, I found professional, academic musicians’ ...
|
Nov 23 2020 |
|
|
|
|
|
|
DeFlaker: automatically detecting flaky tests
Bell J., Legunsen O., Hilton M., Eloussi L., Yung T., Marinov D. ICSE 2018 (Proceedings of the 40th International Conference on Software Engineering, Gothenburg, Sweden, May 27-Jun 3, 2018) 433-444, 2018. Type: Proceedings
One of the final steps in producing a new version of a software tool is to make sure the old functionality was not lost when the new functionality was added. A common approach to this problem is regression testing, that is, running the...
|
May 20 2020 |
|
|
|
|
|
|
Estimating semantic relatedness in source code
Mahmoud A., Bradshaw G. ACM Transactions on Software Engineering and Methodology 25(1): 1-35, 2015. Type: Article
Analyzing existing source code to identify relationships between classes might be more accurate using the authors’ new method, normalized software distance, which is introduced, derived, and analyzed in this paper. Correctly ...
|
Mar 9 2016 |
|
|
|
|
|
|
QVM: an efficient runtime for detecting defects in deployed systems
Arnold M., Vechev M., Yahav E. ACM Transactions on Software Engineering and Methodology 21(1): 1-35, 2011. Type: Article
Identification of errors during runtime is an important complement to existing static and dynamic testing. Errors such as memory leaks, assertion violations, and object ownership issues in the heap can only be detected well during norm...
|
Apr 26 2012 |
|
|
|
|
|
|
On the role of the user in monitoring the environment in self-adaptive systems: a position paper
Whittle J., Simm W., Ferrario M. SEAMS 2010 (Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, Cape Town, South Africa, May 3-4, 2010) 69-74, 2010. Type: Proceedings
Adaptability in a self-adaptive system (SAS) is an important research topic. This paper considers three scenarios: a smart house with a mobile vacuum system that needs to plan coverage based on various types of obstacles, a Web site th...
|
Aug 16 2010 |
|
|
|
|
|
| |
|
|
| |
|
|
