workshop.bib

@inproceedings{GW17b,
  author = {Yijia Gu and Thomas Wahl},
  title = {Stabilizing Numeric Programs against Platform Uncertainties},
  booktitle = {Design and Analysis of Robust Systems (DARS)},
  year = {2017},
  pdf = {http://www.ccs.neu.edu/home/wahl/Publications/gw17b.pdf},
  category = {workshop}
}

@inproceedings{BCLGW16,
  author = {Mahsa Bayati and Brian Crafton and Miriam Leeser and Yijia Gu and Thomas Wahl},
  title = {Identifying Volatile Numeric Expressions in {OpenCL} Applications},
  booktitle = {Numerical Reproducibility at Exascale (NRE)},
  year = {2016},
  pdf = {http://www.ccs.neu.edu/home/wahl/Publications/bclgw16.pdf},
  category = {workshop}
}

@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)},
  pages = {31-46},
  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.99.