January 15, 2014—Static Analysis: More than finding bugs—Bob Archer

Time and Location

January 15th, 2014 at 7:00 PM
Microsoft Campus.

Come at 6:45 for pizza sponsored by Universal Avionics.


Static analysis is a technique for finding bugs without running the code. This presentation will examine the technical problems of analyzing millions of lines of code, the philosophical problems of answering the question “what is a bug anyway?” and the psychological problems of explaining bugs to a skeptical audience.


Bob Archer has worked at Coverity for the past year. Previously he has worked on image processing, computer games, virtual reality and 3D simulation. He has a particular interest in the problem of writing high quality code in the commercial world.