Paper on Thread-Modular Abstract Interpretation at SAS’21

I had the joy of presenting our paper on Improving Thread-Modular Abstract Interpretation at the 28th Static Analysis Symposium earlier this year. In it, we contrast two different styles of non-relational thread-modular value analysis, formulate them within a common framework, and provide refinements of either style of analysis.
Feels great to put our ideas which we have been working on for almost a year out there in the community!

Virtual Conference means no nice picture to put here, so I settled on the printed version of our paper 😉

The full paper can be found here, our (extended) preprint is on arXiv.