CV
Education
Florida State University
Tallahassee, FL, US
Ph.D., Computer Science
July 2025
(expected)
Lahore University of Management Sciences
Lahore, PK
Bachelors of Science (BS), Computer Science
2018
Government College University
Lahore, PK
Intermediate in Sciences
2014
Work Experience
Projects
Research
- Computer Architecture Security Exploitation
- Lockstep Composition for Unbalanced Loops
- Verification of eBPF Programs
- Deep Learning and NLP project
- Performance of Language Features
- HPC App Analysis using Classification/Clustering
- Automatic Assertion Generation
- Branch Prediction Performance
- Model Checking of Java Programs
- Program Binary Rearrangement
Skills
Programming Languages
C++ (11,14,17,20)
C
Rust
Java
Python
C#/.NET
Golang
Haskell
MATLAB
Unix/Linux System Programming
Bash/Shell Scripting
Network TCP/IP Programming
Assembly
HDL
Verilog
Tools, Frameworks, and Libraries
LLVM Compiler Infrastructure
SeaHorn Verification Framework
SAT/SMT Solvers
JavaPath Finder (for Model Checking)
Deep Learning Frameworks
Data Science
Parallel Programming
AFL Fuzzer
GNU Binutils
Valgrind
Lex/Yacc
Database Languages/Systems
Testing
Debuggers
Build tools
Security tools
Docker
Git/GitHub
Bugzilla
JIRA Bug Tracker
LaTeX
VirtualBox
YAML
IDEs/Text Editors
Web Frameworks
HTML
CSS
JavaScript
REST API
Firebase
Design
Adobe Photoshop
Publications
(Sub)Review Research Papers and Artifacts
- TACAS-2024 (Subreviewer)
- CAV-2024 (Reviewer - Artifact Evaluation)
- VMCAI-2024 (Subreviewer)
- FMCAD-2024 (Subreviewer)
- FMCAD-2023 (Subreviewer)
- TACAS-2023 (Subreviewer)
- FMCAD-2022 (Subreviewer)
- CAV-2022 (Subreviewer)
- FMCAD-2021 (Subreviewer)
- ASE-2021 (Subreviewer)
- ISCE-2020 (Subreviewer)