|
|
I have research interests in the areas of compilers, virtual machines, software security, multivariant execution, virtualization, operating systems
Hotpath
I am part of the ’Hotpath’ project which aims at improving the performance of JIT compilation by compiling traces of 'hot' code instead of the traditional approach of JIT compiling hot methods. We are currently using the Maxine Research VM form Sun Microsystems to implement and test our ideas. As part of this project I have implemented optimizations like CSE; and implemented a framework for performance analysis. I am currently trying to identify and implement trace specific optimizations
Orchestra
I was part of the ’Orchestra’ multi-variant execution project which aims at detecting vulnerabilities in software by simultaneously running multiple variants of the software.
I investigated dynamic variant generation techniques using the Strata Dynamic Binary Translation infrastructure. Also worked on variance generation by static binary rewriting.
NISC
As part of my Master's thesis , I developed a GCC based front-end for the No Instruction Set Computer compiler. The project involved modifying GCC to generate XML equivalent
of a C program’s GIMPLE representation. The XML is used as input by the NISC compiler middle-end. Also developed an XML-to-C tool to verify the output of the front-end.
|