Projects

Research

Computer Architecture Security Exploitation
Artifact
January 2023 - May 2023
Florida State University
Lockstep Composition for Unbalanced Loops
Artifact
May 2020 - Present
Florida State University
Verification of eBPF Programs
Artifact
October 2021 - Present
SRI International
Deep Learning and NLP project
Artifact
April 2020 - May 2020
Florida State University
Performance of Language Features
June 2019 - April 2020
Florida State University
HPC App Analysis using Classification/Clustering
Artifact
November 2019 - December 2019
Florida State University
Automatic Assertion Generation
Artifact
November 2019 - December 2019
Florida State University
Branch Prediction Performance
Artifact
October 2019 - December 2019
Florida State University
Model Checking of Java Programs
January 2017 - May 2017
Lahore University of Management Sciences
Program Binary Rearrangement
Artifact
November 2017 - December 2017
Lahore University of Management Sciences

Development

SMT-based Fuzzing Testing of an ML Compiler Front-end
May 2024 - August 2024
Annapurna Labs, Amazon Web Services
Compiler for a Functional Language
Artifact
September 2021 - December 2021
Florida State University
Modifying jEdit
Artifact
March 2019 - May 2019
Florida State University
Peer-to-Peer Distributed File Storage System
Artifact
August 2017 - May 2018
Lahore University of Management Sciences
Parallelized Game of Life
Artifact
November 2017 - December 2017
Lahore University of Management Sciences
Pseudobot
Artifact
March 2017 - May 2017
Lahore University of Management Sciences
Dropbin - A Dropbox-like application
February 2016 - March 2016
Lahore University of Management Sciences
Battleship AI
Artifact
November 2016 - December 2016
Lahore University of Management Sciences
Plants vs. Zombies Game
November 2014 - December 2014
Lahore University of Management Sciences