A Dynamic Atomicity Checker For Multithreaded Programs

About this presentation

Much of heap is irrelevant to software engineering task at hand. so we remove it. Keep objects whose type matches a regexp. eg javafe.ast.* | javafe.tc ...