@article{jiawei2025sel,
author = {Wang, Jiawei and Cheng, Xiao and Sui, Yulei},
title = {Efficient Abstract Interpretation via Selective Widening},
year = {2025},
number = {OOPSLA},
journal = {Proceedings of the ACM on Programming Languages},
publisher={ACM}
}