A randomized scheduler with probabilistic guarantees of finding bugs.

Sebastian Burckhardt, Pravesh Kothari, Madanlal Musuvathi, Santosh Nagarakatte

Browse the full ASPLOS paper archive.