Symbolic Crosschecking of Data-Parallel Floating-Point Code | Publicación