Jing Yu, María Jesús Garzarán, Marc Snir. Techniques for Efficient Software Checking. In Vikram S. Adve, María Jesús Garzarán, Paul Petersen, editors, Languages and Compilers for Parallel Computing, 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers. Volume 5234 of Lecture Notes in Computer Science, pages 16-31, Springer, 2007. [doi]
Abstract is missing.