Bringing Hardware and Software Closer Together with Termination Analysis
Byron Cook · 2007
When computers hang the root cause is usually due to termination bugs in the software that interfaces with hardware. In this talk the author discuss efforts to build program termination proof tools designed to find these types of bugs in systems software.