@inproceedings{LRWY12, author = {Miriam Leeser and Jaideep Ramachandran and Thomas Wahl and Devon Yablonski}, title = {{OpenCL} Floating Point Software on Heterogeneous Architectures {---} Portable or Not?}, booktitle = {Numerical Software Verification (NSV)}, year = {2012}, pdf = {http://www.ccs.neu.edu/home/wahl/Publications/lrwy12.pdf}, category = {workshop} }

@inproceedings{BKRW10a, author = {Angelo Brillout and Daniel Kroening and Philipp Ruemmer and Thomas Wahl}, title = {Program Verification via {C}raig Interpolation for {P}resburger Arithmetic with Arrays}, booktitle = {Verification (VERIFY)}, year = {2010}, pdf = {http://www.ccs.neu.edu/home/wahl/Publications/bkrw10a.pdf}, category = {workshop} }

@inproceedings{RW10, author = {Philipp Ruemmer and Thomas Wahl}, title = {An {SMT-LIB} Theory of Binary Floating-Point Arithmetic}, booktitle = {Satisfiability Modulo Theories (SMT)}, year = {2010}, pdf = {http://www.ccs.neu.edu/home/wahl/Publications/rw10.pdf}, category = {workshop} }

@inproceedings{KNW97, author = {Oliver Karch and Hartmut Noltemeier and Thomas Wahl}, title = {Robot Localization: Theory and Implementation}, booktitle = {Computational Geometry (CG)}, year = {1997}, pdf = {http://www.ccs.neu.edu/home/wahl/Publications/knw97.pdf}, category = {workshop} }

*This file was generated by
bibtex2html 1.97.*