• MultiRace

  • Referenced in 2 articles [sw21726]
  • which combines improved versions of Djit and Lockset—two very powerful on-the-fly algorithms...
  • ThreadSanitizer

  • Referenced in 1 article [sw21727]
  • hybrid algorithm (based on happens-before and locksets) used in the detector. We introduce what...
  • Wolf

  • Referenced in 2 articles [sw01299]
  • Wolf -- bug hunter for concurrent software using formal...