Registered user since Thu 5 Jun 2014
I am interested in developing PL, SE, and systems techniques to solve real-world problems. In the past, I have designed and implemented static and dynamic techniques to find and fix “runtime bloat” that exists widely in object-oriented software. My recent interests center on (1) how to exploit language/compiler techniques to build scalable Big Data systems and (2) how to build Big Data systems to parallelize and scale sophisticated program analyses.
|SPLASH 2016||Low-Overhead and Fully Automated Statistical Debugging with Abstraction Refinement|
|Show activities from other conferences|
View general profile