Announcement_16

Just accepted: Our paper Data Race Detection by Digest-Driven Abstract Interpretation will appear at VMCAI next year. See you in Rennes! 🇫🇷