@inproceedings{68b96754ead948a181dcf8d2093a7ef1,
title = "Bounds checking: an instance of hybrid analysis",
author = "Troels Henriksen and Oancea, {Cosmin Eugen}",
year = "2014",
doi = "10.1145/2627373.2627388",
language = "English",
isbn = "978-1-4503-2937-8",
pages = "88--94",
booktitle = "Proceedings of ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming",
publisher = "Association for Computing Machinery",
note = "null ; Conference date: 12-06-2014 Through 13-06-2014",
}