Workshop Publications (reverse chronological)

The copyrights for most of these publications belong to their respective publishers. All papers may be downloaded for personal or research purposes only.

[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.