User level DB: a debugging API for user-level thread libraries | IEEE Conference Publication | IEEE Xplore