Boosting the Performance of Alias-Aware IFDS Analysis with CFL-based Environment Transformers

Published in OOPSLA, 2024