以下の発表が POPL 2026 Student Research Competition に採択されました。この研究は KU Leuven の Tom Schrijvers と共同で行っているものです。