HAMBug: A Hybrid CPU-FPGA System to Detect Race Conditions | IEEE Journals & Magazine | IEEE Xplore