Research Assistant, PL/Compilers Lab
- LLVM-based program analysis and constant-time transformations for secure compilation.
- Explored control-flow merging techniques in LLVM to improve symbolic execution efficiency and bug-detection robustness.
About Me
I am a PhD candidate in Computer Science at Virginia Tech, under the supervision of Dr Kirshanthan Sundarajah. My research is centered on compilers, programming languages, and automated testing.
I am driven by a passion for leveraging compiler and programming language techniques to unravel complex challenges within Computer Science. My academic journey began at Lahore University of Management Sciences, where I earned my B.S. in Computer Science.
When I'm not immersed in research, I find balance through hiking and playing sports.
Research
My research lies at the intersection of compilers, programming languages, and automated software testing. I am passionate about making the code robust and secure, by finding bugs using automated testing techniques, and compiler transformations to ensure security.
Core Interests
Compilers
Programming Languages
Automated Testing
Software Verification
Static Analysis
Work Experience
Software Engineer
- Built a 2D/3D annotation interface for digital-twin models; optimized rendering pipeline.
- Integrated Three.js, Mapbox, and Nexus.js for synchronized transformations.
Research Assistant
- Evaluated source-code, binary, and container debloating techniques to analyze their impact on size, functionality, and security.
- First author of a paper on this work accepted at the IEEE Secure Development Conference ’24.
Resume
You can view my latest resume below.
Contact
I’m always open to collaborations, discussions, and new ideas. Feel free to reach out — I’d love to connect!
Send an Email