Parallel Abstract Interpretation for Polynomial Programs with Range Bound Assertions.

S. Akshay, Supratik Chakraborty, Soroush Farokhnia, Amir Goharshady, Harshit Jitendra Motwani, Dorde Zikelic

Browse the full CAV paper archive.