@article{DBLP:journals/toms/MagronCD17,
  author       = {Victor Magron and
                  George A. Constantinides and
                  Alastair F. Donaldson},
  title        = {Certified Roundoff Error Bounds Using Semidefinite Programming},
  journal      = {{ACM} Trans. Math. Softw.},
  volume       = {43},
  number       = {4},
  pages        = {34:1-34:31},
  year         = {2017},
  doi          = {10.1145/3015465},
}