I'm a PhD candidate in Computer Science at the University of Virginia, advised by Dr. Ashish Venkat. I work on low-level software security through compilers: how a compiler can enforce fine-grained security policies, and how memory objects shape hardware behavior and system security.
Most of my work happens in LLVM, memory allocation and layout, and the parts of programming languages that sit close to the machine. I use compiler infrastructure to analyze, monitor, and instrument programs so that enforcement systems can make better decisions.१
१ my thesis, roughly
I also have a background in threat intelligence, malware analysis, and reverse engineering.२
२ how it started
I'm committed to academic research, and to broadening access to STEM education for people from diverse backgrounds.३
३ more on this under teaching and leadership
Interests: Memory (layout, allocation, safety), compilers (LLVM middle- and back-end), low-level software security, computer architecture.
Recent work
४ the Chromium one is the paper I'd hand you first