Publications

Plato and the Nerd

E. A. Lee, Plato and the Nerd, 1st ed. MIT Press, 2017.

Miscomputation in software: Learning to live with errors

T. Petricek, Miscomputation in software: Learning to live with errors, The Art, Science, and Engineering of Programming, vol. 1, no. 2, 2017.

Computer programs do not always work as expected. In fact, "ominous warnings about the desperate state of the software industry continue to be released with almost ritualistic regularity". In this paper, we look at the 60 years history of programming and at the different practical methods that software community developed to live with programming errors.

Pages