Array length inference for C library bindings.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016
Automatic array property detection via static analysis.
Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015