Ha, O.-K., and Y. Jun, "Efficient Thread Labeling for On-the-fly Race Detection of Programs with Nested Parallelism" In Proceedings of the International Conference Advanced Software Engineering and its Applications (ASEA 2011), Jeju, Korea, Communications in Computer and Information Sciecne (CCIS), 257: 424-436, Springer-Verlag, December 2011.