Debugging concurrent programs using static analysis and run-time hardware monitoring. - D. K. Arvind 001; D. Yokotsuka (SPDP, 1991)