Registered user since Wed 9 Jul 2014
I am Associate Professor in the Department of Computer Science at Williams College, MA, USA.
Research Interests: Design and implementation of programming languages and virtual machines, Type-based program analysis, Verification of multithreaded programs, Programming environments.
|PLDI 2015||Committee Member in External Review Committee within the Research Papers-track|
|Show activities from other conferences|
View general profile