Henrik Stuart, René Rydhof Hansen, Julia L. Lawall, Jesper Andersen, Yoann Padioleau, Gilles Muller. Towards easing the diagnosis of bugs in OS code. In Eric Eide, Marc E. Fiuczynski, editors, Proceedings of the 4th workshop on Programming languages and operating systems, PLOS@SOSP 2007, Stevenson, Washington, USA, October 18, 2007. ACM, 2007. [doi]