Mr. Kent Erington

NXP Semiconductors
Product Diagnostic Center - Austin
Austin, TX
USA 78735

Papers:

Analysis of an Asynchronously Generated Race Condition
LADA and SDL: Powerful Techniques for Marginal Failures