Jinx: finding and reproducing multithreaded bugs more quickly · HackerTrans