All Stories

  1. Crafty: efficient, HTM-compatible persistent transactions
  2. SmartTrack: efficient predictive race detection
  3. Dependence-aware, unbounded sound predictive race detection
  4. High-coverage, unbounded sound predictive race detection
  5. High-coverage, unbounded sound predictive race detection