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. POPL is one of the ...