My research work in Summer 2013 (with 3 more people) adding little bits of utilities that would help track and present kernel/reference events