Amar Shah, my mentee, won the undergraduate PLDI Student Research Competition!