Assignee

BALL THOMAS J

US2 patents

Top patents by PatentIndex Score

US8185874B2May 22, 2012

Automatic and systematic detection of race conditions and atomicity violations

BALL THOMAS J9 citations82

US8402444B2Mar 19, 2013

Program analysis through predicate abstraction and refinement

BALL THOMAS J17 citations79