About me

I am a PhD student in Computer Science at University of illinois at Urbana Champaign advised by Prof. Vikram Adve in the ALLVM Research Project.

Research Interests

  • Formal X86-64 semantics & Binary Reverse Engineering
  • Translation Validation of Binary Lifters
  • Dynamic Symbolic Execution
  • Program Static Analysis & verification
  • Compiler Optimizations
  • Parallelizing Compilers
  • Parallel & Power aware Computation

Career Overview