Baozeng Ding, Yeping He, Yanjun Wu, Alex Miller, John Criswell. Baggy Bounds with Accurate Checking. In 23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Dallas, TX, USA, November 27-30, 2012. pages 195-200, IEEE, 2012. [doi]
Abstract is missing.