@inproceedings{Chen11avi,
  author = {Liqian Chen and Antoine Min\'e and Ji Wang and Patrick Cousot},
  title  = {Linear Absolute Value Relation Analysis},
  booktitle = {20th European Symposium on Programming (ESOP 2011)},
  editor = {G. Barthe},
  month  = {March 30--April 1},
  year   =  {2011},
  pages  = {156--175},
  series = {LNCS},
  volume = {6602},
  publisher = {Springer},
  address   = {Saarbr{\"u}cken, Germany},
}