Boosting the Performance of Multi-Solver IFDS Algorithms with Flow-sensitivity Optimizations

Published in CGO, 2024