An interview with Fred Brooks

  title={An interview with Fred Brooks},
  author={Len Shustek},
  journal={Communications of the ACM},
  pages={36 - 40}
  • Len Shustek
  • Published 23 October 2015
  • Computer Science
  • Communications of the ACM
ACM Fellow and A.M. Turing Award recipient Fred Brooks reflects on his career. 
3 Citations

Topics from this paper

Formal Semantics of ALGOL 60: Four Descriptions in their Historical Context
The main challenges in providing formal semantics for imperative programming languages are identified and the responses to these challenges are reviewed in four relatively complete formal descriptions of ALGOL 60.
An Exegesis of Four Formal Descriptions of ALGOL 60
The programming language ALGOL 60 has been used to illustrate several different styles of formal semantic description. This paper identifies the main challenges in providing a formal semantics for
Precision, Recall, and Sensitivity of Monitoring Partially Synchronous Distributed Systems
Runtime verification focuses on analyzing the execution of a given program by a monitor to determine if it is likely to violate its specifications. There is often an impedance mismatch between the