Efficient Dynamic Verification Of Concurrent Programs. by Yu Yang