Registered user since Thu 17 Jul 2014
I am a PhD student at Northeastern University. I am interested in pragmatic programming language design. My current research focuses on enabling programmers to evolve real code bases using tools such as type systems and software contracts.
|ECOOP 2015||Towards Practical Gradual Typing|
|STOP 2015||Position Paper: Performance Evaluation for Gradual Typing|
|Show activities from other conferences|
View general profile