Bob
@rgiacobazzi.bsky.social
Computer scientist and (bad) golfer...
Here it is our forthcoming POPL25 paper about “the best of abstract interpretations” with @ranzato.bsky.social !!
dl.acm.org/doi/10.1145/...
dl.acm.org/doi/10.1145/...
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...
dl.acm.org
January 10, 2025 at 8:18 AM
Here it is our forthcoming POPL25 paper about “the best of abstract interpretations” with @ranzato.bsky.social !!
dl.acm.org/doi/10.1145/...
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.
November 15, 2024 at 10:17 PM
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.