Announcement_21

Just accepted: Our tutorial paper Mixed Flow-Sensitive Static Analysis: Engineering Modularity will appear at FM. 👨‍🏫 The corresponding half-day tutorial will happen on May 19. See you there! 🇯🇵