Debugging via run-time type checkingStatic datarace analysis for multithreaded object-oriented programs
