@inproceedings{Chen08fppol,
  author = {Liqian Chen and Antoine Min\'e and Patrick Cousot},
  title = {A Sound Floating-Point Polyhedra Abstract Domain},
  booktitle = {Asian Symposium on Programming Languages and Systems (APLAS'08)},
  editor = {G. Ramalingam},
  month = {December},
  year = {2008},
  pages = {3--18},
  series = {LNCS},
  volume = {5356},
  publisher = {Springer},
  address = {Bangalore, India},
}