Amar Shah, my mentee, won the
PLDI undergraduate student research competition
!