MSc George Zakhour participated in the Student Research Competition at POPL 2026 where he presented Save Time and Mechanize