An effective method to control interrupt handler for data race detection.

Makoto Higashi, Tetsuo Yamamoto, Yasuhiro Hayase, Takashi Ishio, Katsuro Inoue

Browse the full ICSE paper archive.