How Fitting is Your Abstract Domain? - Roberto Giacobazzi; Isabella Mastroeni; Elia Perantoni (SAS, 2023)

Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation. - Roberto Giacobazzi; Isabella Mastroeni; Elia Perantoni (ACM Trans. Program. Lang. Syst., 2024)