I submitted an extended abstract to the POPL 2025 Student Research competition, which has been accepted into the poster presentation stage. See you at POPL 2025!
Update 2025-01-23: I proceeded to Round 3 (Oral presentation) and gave my talk, here are my slides!
Update 2025-01-23: I’m honoured to receive the Gold prize ($500) and advance to the ACM SRC Grand Finals! Thank you for our discussions during the poster session and for listening to my talk!