Concurrent Control Flow Checking in Sequential and Parallel Programs | IEEE Conference Publication | IEEE Xplore