|||Mahsa Bayati, Brian Crafton, Miriam Leeser, Yijia Gu, and Thomas Wahl (to appear). Identifying volatile numeric expressions in OpenCL applications. 2016. [ bib ]|
|||Miriam Leeser, Jaideep Ramachandran, Thomas Wahl, and Devon Yablonski. OpenCL floating point software on heterogeneous architectures --- portable or not? In Numerical Software Verification (NSV), 2012. [ bib | .pdf ]|
|||Angelo Brillout, Daniel Kroening, Philipp Ruemmer, and Thomas Wahl. Program verification via Craig interpolation for Presburger arithmetic with arrays. In Verification (VERIFY), pages 31--46, 2010. [ bib | .pdf ]|
|||Philipp Ruemmer and Thomas Wahl. An SMT-LIB theory of binary floating-point arithmetic. In Satisfiability Modulo Theories (SMT), 2010. [ bib | .pdf ]|
|||Oliver Karch, Hartmut Noltemeier, and Thomas Wahl. Robot localization: Theory and implementation. In Computational Geometry (CG), 1997. [ bib | .pdf ]|
This file was generated by bibtex2html 1.98.