3 ms·A Randomized Scheduler with Probabilistic Guarantees of Finding Bugs [pdf]1 points by luu 3y ago