Incremental Abstract Interpretation. LNCS'20.
Shows how the top-down solver can be employed for the incremental analysis of program code that is undergoing changes.
Three Improvements to the Top-Down Solver. PPDP'18.
Describes how the top-down solver can be tuned to deal with non-monotonic right-hand sides, store abstract values only where necessary, and to work with side-effecting constraint systems.