Scalable Relational Analysis via Relational Bound Propagation. - Stevens, Clay; Bagheri, Hamid (ICSE: International Conference on Software Engineering, 2024)