Efficient Dynamic Verification Of Concurrent Programs. door Yu Yang