Paper accepted to CAV 2009!

The paper on static context-bounded analysis of systems software I coauthored with Shuvendu and Shaz got accepted to 21st International Conference on Computer Aided Verification (CAV 2009). I am really excited about this work and glad it got in. I'll put the final version of the paper on my homepage soon, so be sure to stop by again and check it out. And off to France in June!