David Niedzielski, Jeffery von Ronne, Andreas Gampe, Kleanthis Psarris. A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination. In Jens Palsberg, Zhendong Su, editors, Static Analysis, 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings. Volume 5673 of Lecture Notes in Computer Science, pages 137-153, Springer, 2009. [doi]
Abstract is missing.