Login / Signup
SIMBER: Eliminating Redundant Memory Bound Checks via Statistical Inference.
Hongfa Xue
Yurong Chen
Fan Yao
Yongbo Li
Tian Lan
Guru Venkataramani
Published in:
SEC (2017)
Keyphrases
</>
statistical inference
eliminating redundant
bayesian inference
graphical models
model selection
statistical learning
lower bound
upper bound
statistical methods
main memory
worst case
memory requirements
metadata
statistical analysis
text mining
contingency tables
permutation tests
image segmentation