Vijay Balasubramanian Prithviraj Banerjee Compiler-Assisted Synthesis of Algorithm-Based Checking in Multiprocessors. 436-446 1990 39 IEEE Trans. Computers 4 db/journals/tc/tc39.html#BalasubramanianB90