Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly. Symbolic crosschecking of floating-point and SIMD code. In Christoph M. Kirsch, Gernot Heiser, editors, European Conference on Computer Systems, Proceedings of the Sixth European conference on Computer systems, EuroSys 2011, alzburg, Austria - April 10-13, 2011. pages 315-328, ACM, 2011. [doi]
@inproceedings{CollingbourneCK11,
title = {Symbolic crosschecking of floating-point and SIMD code},
author = {Peter Collingbourne and Cristian Cadar and Paul H. J. Kelly},
year = {2011},
doi = {10.1145/1966445.1966475},
url = {http://doi.acm.org/10.1145/1966445.1966475},
researchr = {https://researchr.org/publication/CollingbourneCK11},
cites = {0},
citedby = {0},
pages = {315-328},
booktitle = {European Conference on Computer Systems, Proceedings of the Sixth European conference on Computer systems, EuroSys 2011, alzburg, Austria - April 10-13, 2011},
editor = {Christoph M. Kirsch and Gernot Heiser},
publisher = {ACM},
isbn = {978-1-4503-0634-8},
}