Sharjeel Khan

Computer Science PhD Candidate at Georgia Institute of Technology
Klaus Advanced Computing Building 2337, Atlanta, Georgia 30332
smkhan [at] gatech [dot] edu


Recent Updates

  • [Nov 2024] [Paper] Our paper, ASDF: A Compiler for Qwerty, a Basis-Oriented Quantum Programming Language, got accepted to CGO 2025.
  • [Sep 2024] [Paper] Our paper, Real-time Digital RF Emulation - II: A Near Memory Custom Accelerator, got accepted to IEEE Transactions on Radar Systems 2024.
  • [Sep 2024] [Paper] Our paper, Real-time Digital RF Emulation - I: The Direct Path Computational Model, got accepted to IEEE Transactions on Radar Systems 2024.
  • [May 2024] [Career] I proposed my thesis "A System for Faster Software Verification and Better Compiler Optimizations through Symbiosis" and officially became a PhD candidate.
  • [Mar 2024] [Paper] Our paper, Pythia: Compiler-Guided Defense Against Non-Control Data Attacks, got accepted to ASPLOS 2024.
  • [Oct 2023] [Talk] I gave a lightning talk about validating orderfiles at the LLVM Developers Meeting.
  • [Sep 2023] [Paper] Our paper, Beacons: A End-to-End Compiler Framework for Predicting and Utilizing Dynamic Loop Characteristics, got accepted to OOPSLA 2023.
  • [May 2023] [Career] I began my internship in the Android LLVM team at Google.
  • [Oct 2023] [Paper] Our paper, Decker: Attack Surface Reduction via On-demand Code Mapping, got accepted to ASPLOS 2023.
  • [Jan 2023] [Paper] Our paper, A High Performance Computing Architecture for Real-Time Digital Emulation of RF Interactions, got accepted to RadarConf 2023.
  • [June 2022] [Paper] Our paper, Com-CAS: Effective Cache Apportioning under Compiler Guidance, got accepted to PACT 2022.
  • [May 2022] [Career] I began my internship in the Redex team at Meta.
  • [Apr 2022] [Paper] Our paper, VICO : Demand-driven Verification for Improving Compiler Optimizations, got accepted to ICS 2022.
  • [Apr 2022] [Career] I was chosen as President of the School of Computer Science Graduate Student Association.

About Me

Hey, my name is Sharjeel Khan. I am a Computer Science Ph.D. candidate at Georgia Institute of Technology working with Dr. Santosh Pande . My research interests lie in the intersection of programming languages, security, and compilers research. I am working on using program analysis to improve software verification techniques or solve security problems. Currently, I am working on three projects:

  • I use compiler analysis and machine learning to improve software verification of safety properties in codebases.
  • I use static analysis to subvert ROP/JOP chains within any program.
  • I am working on a new quantum programming language and its compiler.

I did my Bachelors in Computer Science from Carnegie Mellon University. Before I started my Ph.D., I was a Research Assistant at Carnegie Mellon University working under Dr. Iliano Cervesato and Dr. Giselle Reis .

My hobbies range from playing video games (currently Metaphor), watching TV shows (currently High Potential), reading manga (One Piece), or trying out new restaurants. In addition, I love to travel to new countries and meet new people. I have been to around 20+ countries and 40+ cities. My most recent trip was to San Diego, California to present my paper at ASPLOS.

Download CV

Publications

Conference Papers
ASDF: A Compiler for Qwerty, a Basis-Oriented Quantum Programming Language
Austin J. Adams, Sharjeel Khan , Arjun Bhamra, Ryan Abusaada, Anthony M. Cabrera, Cameron Hoechst, Travis S. Humble, Jeffrey S. Young, and Thomas M. Conte.
CGO 2025
Pythia: Compiler-Guided Defense Against Non-Control Data Attacks
Sharjeel Khan , Bodhisatwa Chatterjee, and Santosh Pande.
Paper
Poster
Slides
Short Talk
ASPLOS 2024
Beacons: A End-to-End Compiler Framework for Predicting and Utilizing Dynamic Loop Characteristics
Girish Mururu*, Sharjeel Khan* , Bodhisatwa Chatterjee*, Chao Chen, Chris Porter, Ada Gavrilovska, and Santosh Pande. (* Authors contributed equally )
Paper
Code
Poster
Slides
Conference Talk
OOPSLA 2023
A High Performance Computing Architecture for Real-Time Digital Emulation of RF Interactions
Mandovi Mukherjee, Nael Mizanur Rahman, Coleman DeLude, Joseph Driscoll, Uday Kamal, Jongseok Woo, Jamin Seo, Sudarshan Sharma, Xiangyu Mao, Payman Behnam, Sharjeel Khan , Daehyun Kim, Jianming Tong, Prachi Sinha, Santosh Pande, Tushar Krishna, Justin Romberg, Madhavan Swaminathan, and Saibal Mukhopadhyay.
Paper
RadarConf 2023
Decker: Attack Surface Reduction via On-demand Code Mapping
Chris Porter, Sharjeel Khan , and Santosh Pande.
Paper
Code
Poster
Slides
Conference Talk
Short Talk
ASPLOS 2023
Com-CAS: Effective Cache Apportioning under Compiler Guidance
Bodhisatwa Chatterjee, Sharjeel Khan , and Santosh Pande.
Paper
Code
Slides
PACT 2022
VICO : Demand-driven Verification for Improving Compiler Optimizations
Sharjeel Khan , Bodhisatwa Chatterjee, and Santosh Pande.
Paper
Slides
ICS 2022

Journal Papers
Real-time Digital RF Emulation - II: A Near Memory Custom Accelerator
Xiangyu Mao*, Mandovi Mukherjee*, Nael Mizanur Rahman*, Coleman DeLude*, Joseph Driscoll*, Sudarshan Sharma, Payman Behnam, Uday Kamal, Jongseok Woo, Daehyun Kim, Sharjeel Khan , Jianming Tong, Jamin Seo, Prachi Sinha, Madhavan Swaminathan, Tushar Krishna, Santosh Pande, Justin Romberg, and Saibal Mukhopadhyay. (* Authors contributed equally )
Paper
IEEE Transactions on
Radar Systems 2024
Real-time Digital RF Emulation - I: The Direct Path Computational Model
Coleman DeLude*, Joseph Driscoll*, Mandovi Mukherjee*, Nael Mizanur Rahman*, Xiangyu Mao, Uday Kamal, Sharjeel Khan , Hariharan Sivaraman, Eric Huang, Jeffrey McHarg, Madhavan Swaminathan, Santosh Pande, Saibal Mukhopadhyay, and Justin Romberg. (* Authors contributed equally )
Paper
IEEE Transactions on
Radar Systems 2024

Workshop Papers
Formalization of Automated Trading Systems in a Concurrent Linear Framework
Iliano Cervesato, Sharjeel Khan , Giselle Reis, and Dragisa Zunic.
Paper
Slides
Code
Linearity &
TLLA Workshop 2018

Arxiv
Qwerty: A Basis-Oriented Quantum Programming Language
Austin J. Adams, Sharjeel Khan , Jeffrey Young, and Thomas M. Conte.
Paper
Technical Report
Combined Static Analysis and Machine Learning Prediction for Application Debloating
Chris Porter, Sharjeel Khan , Kangqi Ni, and Santosh Pande.
Paper
Preprint
Practical compilation of fexprs using partial evaluation
Nathan Braswell, Sharjeel Khan , and Santosh Pande.
Paper
Code
Preprint
Biscuit: A Compiler Assisted Scheduler for Detecting and Mitigating Cache-Based Side Channel Attacks
Sharjeel Khan , Girish Mururu, and Santosh Pande.
Paper
Preprint

Travel