Symbolic Crosschecking of Floating-Point and SIMD Code Peter Collingbourne Cristian Cadar Paul H. J. Kelly

First Page		Document Content
Date: 2016-03-08 07:04:45 Concurrent computing Computing Computer architecture X86 instructions SIMD AltiVec Streaming SIMD Extensions Processor register SSE2 Symbolic execution MMX Constant folding		Symbolic Crosschecking of Floating-Point and SIMD Code Peter Collingbourne Cristian Cadar Paul H. J. Kelly Add to Reading List Source URL: www.doc.ic.ac.uk Download Document from Source Website File Size: 256,17 KB Share Document on Facebook

	CS:APP2e Web Aside ASM:SSE: SSE-Based Support for Floating Point∗ Randal E. Bryant David R. O’Hallaron August 5, 2014 DocID: 1q0er - View Document
	Symbolic Crosschecking of Floating-Point and SIMD Code Peter Collingbourne Cristian Cadar Paul H. J. Kelly DocID: 1pUTw - View Document
	Compiling for Scalable Computing Systems – the Merit of SIMD Ayal Zaks Intel Corporation Acknowledgements: too many to list DocID: 1nUjj - View Document
	Universal SIMD-Mathlibrary Helmut Dersch Furtwangen University of Applied Sciences August 20, 2008 Abstract Standard functions for single precision floating point vector datatypes DocID: 1nnmN - View Document
	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Verified Compilation of Floating-Point Computations Sylvie Boldo · Jacques-Henri Jourdan · DocID: 1njVg - View Document