David Niedzielski Jeffery von Ronne Andreas Gampe Kleanthis Psarris A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination. 137-153 2009 SAS http://dx.doi.org/10.1007/978-3-642-03237-0_11 conf/sas/2009 db/conf/sas/sas2009.html#NiedzielskiRGP09