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]
@inproceedings{YuGS07:0,
title = {Techniques for Efficient Software Checking},
author = {Jing Yu and María Jesús Garzarán and Marc Snir},
year = {2007},
doi = {10.1007/978-3-540-85261-2_2},
url = {http://dx.doi.org/10.1007/978-3-540-85261-2_2},
researchr = {https://researchr.org/publication/YuGS07%3A0},
cites = {0},
citedby = {0},
pages = {16-31},
booktitle = {Languages and Compilers for Parallel Computing, 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers},
editor = {Vikram S. Adve and María Jesús Garzarán and Paul Petersen},
volume = {5234},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-85260-5},
}