Reducing Static Analysis Unsoundness with Approximate Interpretation. - Mathias Rud Laursen; Wenyuan Xu; Anders Møller (Proc. ACM Program. Lang., 2024)