Towards easing the diagnosis of bugs in OS code.

Henrik Stuart, Ren Rydhof Hansen, Julia L. Lawall, Jesper Andersen, Yoann Padioleau, Gilles Muller

Browse the full SOSP paper archive.