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!
The full paper can be found here, our (extended) preprint is on arXiv.