Achievements in the POPL'25 Student Research Competition:
Grace won the Gold medal (graduate student category) for her work on Store Order Consistency Testing for C-like memory models, and complexity theoretic questions around it.
Jed won the Gold medal (undergraduate student category) for his work on designing property testing algorithms for trace closures of regular languages.