New paper at APLAS 2022

The paper “Decoupling the Ascending and Descending Phases in Abstract Interpretation” by Vincenzo Arceri, Enea Zaffanella, and Isabella Mastroeni (University of Verona) has just been published by Springer here and will be presented this week in Auckland, New Zealand, at the 20th Asian Symposium on Programming Languages and Systems (APLAS 2022)!