Registered user since Thu 29 May 2014
I am an Assistant Professor at the University of Chicago. I am interested in programming language, compiler, and program analysis technology. My recent work has focused on type systems for dynamic languages. For more information about my work, check out my research page for publications and talks.
|ESOP 2015||IsoLate: A Type System for Self-Recursion|
|Show activities from other conferences|
View general profile