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]
Abstract is missing.