| [1] | Yijia Gu and Thomas Wahl. Stabilizing numeric programs against platform uncertainties. In Design and Analysis of Robust Systems (DARS), 2017. [ bib | .pdf ] |
| [2] | Mahsa Bayati, Brian Crafton, Miriam Leeser, Yijia Gu, and Thomas Wahl. Identifying volatile numeric expressions in OpenCL applications. In Numerical Reproducibility at Exascale (NRE), 2016. [ bib | .pdf ] |
| [3] | 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 ] |
| [4] | 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 ] |
| [5] | Philipp Ruemmer and Thomas Wahl. An SMT-LIB theory of binary floating-point arithmetic. In Satisfiability Modulo Theories (SMT), 2010. [ bib | .pdf ] |
| [6] | 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.99.