Exploiting the Sparseness of Control-flow and Call Graphs for Efficient and On-demand Algebraic Program Analysis GK Conrado, AK Goharshady, K Kochekov, YC Tsai, AK Zaher Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 1993-2022, 2023 | 4 | 2023 |