The Best of Abstract Interpretations | Proceedings of the ACM on Programming Languages We study “the best of abstract interpretations”, that is, the best possible abstract interpretations of programs. Abstract interpretations are inductively defined by composing abstract transfer functi...

Here it is our forthcoming POPL25 paper about “the best of abstract interpretations” with @ranzato.bsky.social !!

dl.acm.org/doi/10.1145/...

My first post here is indeed sad: just discovered that App in the Air (the best app for tracking your flights) has been shut down 😢! ...and this was my tracking from 2017 to 2024.