@inproceedings{xue:hal-01648985,
  TITLE = {{SIMBER: Eliminating Redundant Memory Bound Checks via Statistical Inference}},
  AUTHOR = {Xue, Hongfa and Chen, Yurong and Yao, Fan and Li, Yongbo and Lan, Tian and Venkataramani, Guru},
  URL = {https://inria.hal.science/hal-01648985},
  NOTE = {Part 7: Software Security and Privacy},
  BOOKTITLE = {{32th IFIP International Conference on ICT Systems Security and Privacy Protection (SEC)}},
  ADDRESS = {Rome, Italy},
  EDITOR = {Sabrina De Capitani di Vimercati and Fabio Martinelli},
  PUBLISHER = {{Springer International Publishing}},
  SERIES = {ICT Systems Security and Privacy Protection},
  VOLUME = {AICT-502},
  PAGES = {413-426},
  YEAR = {2017},
  MONTH = May,
  DOI = {10.1007/978-3-319-58469-0\_28},
  PDF = {https://inria.hal.science/hal-01648985/file/449885_1_En_28_Chapter.pdf},
  HAL_ID = {hal-01648985},
  HAL_VERSION = {v1},
}