SIMBER: Eliminating Redundant Memory Bound Checks via Statistical Inference

Hongfa Xue, Yurong Chen, Fan Yao, Yongbo Li, Tian Lan, Guru Venkataramani. SIMBER: Eliminating Redundant Memory Bound Checks via Statistical Inference. In Sabrina De Capitani di Vimercati, Fabio Martinelli, editors, ICT Systems Security and Privacy Protection - 32nd IFIP TC 11 International Conference, SEC 2017, Rome, Italy, May 29-31, 2017, Proceedings. Volume 502 of IFIP Advances in Information and Communication Technology, pages 413-426, Springer, 2017. [doi]

@inproceedings{XueCYLLV17,
  title = {SIMBER: Eliminating Redundant Memory Bound Checks via Statistical Inference},
  author = {Hongfa Xue and Yurong Chen and Fan Yao and Yongbo Li and Tian Lan and Guru Venkataramani},
  year = {2017},
  doi = {10.1007/978-3-319-58469-0_28},
  url = {https://doi.org/10.1007/978-3-319-58469-0_28},
  researchr = {https://researchr.org/publication/XueCYLLV17},
  cites = {0},
  citedby = {0},
  pages = {413-426},
  booktitle = {ICT Systems Security and Privacy Protection - 32nd IFIP TC 11 International Conference, SEC 2017, Rome, Italy, May 29-31, 2017, Proceedings},
  editor = {Sabrina De Capitani di Vimercati and Fabio Martinelli},
  volume = {502},
  series = {IFIP Advances in Information and Communication Technology},
  publisher = {Springer},
  isbn = {978-3-319-58469-0},
}