An effective method to control interrupt handler for data race detection. - Makoto Higashi; Tetsuo Yamamoto; Yasuhiro Hayase; Takashi Ishio; Katsuro Inoue (AST, 2010)