PASD: A Performance Analysis Approach Through the Statistical Debugging of Kernel Events | IEEE Conference Publication | IEEE Xplore