Havoc on Ntfs’

  • Brian Hackett | Stanford University

Brian will talk about his experience this summer developing and using the Havoc annotation-based tool to target resource leaks, data races and teardown races in the Ntfs code base, finding ~50 potential bugs, most of which have been confirmed by the Ntfs developers. This includes discussion of developing property- and system-specific annotation languages (expressed in terms of lower level annotations), checking and inferring these in a large (300+ KLOC) code base, the various properties checked for Ntfs and the complexities encountered.

Speaker Details

Brian Hackett is a PhD candidate in the Computer Science Department at Stanford, and is a Microsoft Research PhD Fellow. He is interning with the Software Reliability Research group at MSR this summer.

    • Portrait of Jeff Running

      Jeff Running

Watch Next