Techniques for Efficient Software Checking (2007)

by J Yu, M J Garzaran, M Snir
Venue:In Proceedings of Workshop on Languages and Compilers for Parallel Computing (LCPC