Research

Currently interested in emulation and re-hosting, vulnerability research, intrusion detection and prevention, and I am working at GrammaTech.

Worked with Sandia National Laboratories when a PhD candidate at Purdue University to develop static and dynamic analysis tools for system emulation. Paper accepted to CSUR :"Challenges in Firmware Re-Hosting, Emulation, and Analysis" and paper to BAR2021:"Is your firmware real or re-hosted?". Papers on Emulator and Function Matching in preparation. (Other papers on Google Scholar)

Worked with Facebook on using Polyhedral model to do numerical analysis integration with taint analysis and vulnerability discovery on millions of lines of code.

September '19: Nature Scientific Journal Paper Acceptance for Scalable Genome Assembly through Parallel de-Bruijn Graph Construction for Multiple k-mers.

I work on parallel computing, bioinformatics and compiler research. AlCoB 2019 paper MULKSG shows how to simultaneously build multiple de Bruijn Graphs to get rid of sequential bottlenecks in other algorithms.

I worked on a domain specific language SARVAVID for a few years. This work embeds SARVAVID in C++. This work is the basis for an ICS 2016 accepted paper, a 2017 paper and a 2019 Nature Scientific Journal Paper. I am interested in working to expand this research and integrate with system emulation and genomic security.

The other papers here are also on de Bruijn graph construction and patching work that was accepted to ACM-BCB with a follow-up journal submission to BMC. I then continued work in genome assembly collaborating with some Sriram Krishnamoorty at PNNL, where I had a paper to AlCoB 2019.

I collaborated with Lawrence Livermore National Laboratory on Static Analysis of MPI Programs at Compile Time using an LLVM Optimization Pass.

I was accepted to present at NCUR 2016 for work done as my senior project of my undergraduate. I built and programmed an electronic tape measure that powered off the audio jack of a mobile device.