Debugging and detecting numerical errors in computation with posits

Sangeeta Chowdhary, Jay P. Lim, Santosh Nagarakatte. Debugging and detecting numerical errors in computation with posits. In Alastair F. Donaldson, Emina Torlak, editors, Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2020, London, UK, June 15-20, 2020. pages 731-746, ACM, 2020. [doi]

@inproceedings{ChowdharyLN20,
  title = {Debugging and detecting numerical errors in computation with posits},
  author = {Sangeeta Chowdhary and Jay P. Lim and Santosh Nagarakatte},
  year = {2020},
  doi = {10.1145/3385412.3386004},
  url = {https://doi.org/10.1145/3385412.3386004},
  researchr = {https://researchr.org/publication/ChowdharyLN20},
  cites = {0},
  citedby = {0},
  pages = {731-746},
  booktitle = {Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2020, London, UK, June 15-20, 2020},
  editor = {Alastair F. Donaldson and Emina Torlak},
  publisher = {ACM},
  isbn = {978-1-4503-7613-6},
}