About me

I am a full-time Software Engineer at Google Brain working on compilation of deep learning models.

Research Interests

  • Compiler for ML and ML for compilers
  • Compiler Optimizations & Code Generation
  • Formal ISA semantics
  • Binary Reverse Engineering
  • Translation Validation of Binary Lifters
  • Program Static Analysis & verification
  • Parallelizing Compilers
  • Parallel & Power aware Computation

Career Overview