@inproceedings{SAS-2009-NiedzielskiRGP,
author = "David Niedzielski and Jeffery von Ronne and Andreas Gampe and Kleanthis Psarris",
booktitle = "{Proceedings of the 16th International Static Analysis Symposium}",
doi = "10.1007/978-3-642-03237-0_11",
isbn = "978-3-642-03236-3",
pages = "137--153",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination}",
volume = 5673,
year = 2009,
}
Tags: