241122_news

🎉 My paper has been accepted as a full paper in the Programming Language track at ACM SAC 2025. See you in Italy in April 2025.