aComment: mining annotations from comments and code to detect interrupt related concurrency bugs.

Lin Tan, Yuanyuan Zhou, Yoann Padioleau

Browse the full ICSE paper archive.