Andrei has received distinguished paper awards at the last three Principle of Programming Languages (POPL) conferences, one of the most prestigious conferences in Computer Science. Congratulations to ...