Sharjeel Khan

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


Recent Updates

  • [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 fifth-year Computer Science Ph.D. student 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 use hardware pointer authentication to subvert control-flow bending attacks.

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 Cyberpunk 2077), watching TV shows (currently Welcome to Wrexham), 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 Francisco, California to attend LLVM Developers Meeting.

Download CV

Publications

Conference Papers
Pythia: Compiler-Guided Defense Against Non-Control Data Attacks
Sharjeel Khan , Bodhisatwa Chatterjee, and Santosh Pande.
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
Conference Talk
Short 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
Long Slides
Short 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
Large Slides
Short Slides
ICS 2022

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: An Expressive Basis-Oriented Quantum Programming Language
Austin J. Adams, Sharjeel Khan , Arjun Bhamra, Joseph F. Ferraro, Jeffrey Young, and Thomas M. Conte.
Arxiv
Combined Static Analysis and Machine Learning Prediction for Application Debloating
Chris Porter, Sharjeel Khan , Kangqi Ni, and Santosh Pande.
Paper
Arxiv
Practical compilation of fexprs using partial evaluation
Nathan Braswell, Sharjeel Khan , and Santosh Pande.
Paper
Code
Arxiv
Biscuit: A Compiler Assisted Scheduler for Detecting and Mitigating Cache-Based Side Channel Attacks
Sharjeel Khan , Girish Mururu, and Santosh Pande.
Paper
Arxiv

Travel