Sharjeel Khan

Software Engineer @ Google
Mountain View, CA
13 papers · 25 countries · 60 cities

Recent Updates

  • Oct 2026 Talk Zachary Yedidia and I will be giving a quick talk about new updates to Lightweight Fault Isolation and its application in Android at LLVM Developer's Meeting 2026.
  • July 2026 Paper Our paper, DeckerPlus: Whole Program Attack Surface Reduction via Compiler Analysis and Transformations, got accepted to ACM Transactions on Privacy and Security 2026.
  • June 2026 Service I am on the Program Committee for LLVM Developer's Meeting 2026.
  • May 2026 Post I recently posted a RFC on upstreaming the compiler changes for the Lightweight Fault Isolation Target for x86-64 into LLVM.
  • Dec 2025 Service I am on the Artifact Evaluation Committee for CC 2026.
  • Oct 2025 Talk I gave a lightning talk, _FORTIFY_SOURCE in Android, at the 2025 Workshop on Supporting Memory Safety in LLVM.
  • Oct 2025 Talk Austin Adams gave a talk, Leveraging MLIR to Compile a Basis-Oriented Quantum Programming Language, about our Qwerty work at LLVM Developer Meeting 2025.
  • Sep 2025 Service I am a co-organizer of the LLVM Bay Area Monthly Meetup , a monthly gathering for LLVM developers and users in the Bay Area.
  • Sep 2025 Post Talk I posted an RFC on upstreaming Lightweight Fault Isolation into LLVM. Zachary Yedidia and Tal Garfinkel also gave a talk on this work at LLVM Developer Meeting 2025.
  • Jul 2025 Paper Our paper, Qwerty: A Basis-Oriented Quantum Programming Language, got accepted to QCE 2025.
  • Feb 2025 Service I am on the Artifact Evaluation Committee for PLDI 2025.
  • Jan 2025 Paper Our paper, Tackling ML-based Dynamic Mispredictions using Statically Computed Invariants for Attack Surface Reduction, got accepted to ASPLOS 2025.
  • Dec 2024 Career I began my job as a Software Engineer in the Android LLVM Toolchain team at Google.
  • 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.
  • Nov 2023 Post My Google internship work on Orderfiles in Android was posted as a blog post on Android Developers Blog.
  • Oct 2023 Talk I gave a lightning talk about validating orderfiles at the LLVM Developers Meeting.
  • Oct 2023 Paper Our paper, Decker: Attack Surface Reduction via On-demand Code Mapping, got accepted to ASPLOS 2023.
  • 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 Toolchain team at Google.
  • 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.
Show More Updates

About Me

I am a Software Engineer at Google on the Android LLVM Toolchain team. I help maintain and release the Android LLVM Compiler Toolchain to first-party developers and through the Android NDK. I also contribute upstream to LLVM on behalf of Android, landing fixes and features, and co-organize the LLVM Bay Area Monthly Meetup.

Previously, I completed my Ph.D. in Computer Science at the Georgia Institute of Technology, advised by Dr. Santosh Pande . My research spanned the intersection of compilers, programming languages, and systems security. Before that, I was a Research Assistant at Carnegie Mellon University with Dr. Iliano Cervesato and Dr. Giselle Reis , where I also earned my B.S. in Computer Science.

Outside of work, I enjoy video games (currently Halo Campaign), TV shows (currently The Pitt), manga (One Piece), and trying new restaurants. I also love to travel — I have visited 25 countries and over 60 cities. My most recent trips took me across the United States for the FIFA World Cup 2026.

Download CV

Experience

Dec 2024 – Present

Software Engineer

Google

Work on the Android LLVM Toolchain team maintaining and releasing the Android LLVM Compiler Toolchain to first-party developers and through the NDK. Contribute to LLVM upstream on behalf of Android, fixing issues and landing features. Co-organize the LLVM Bay Area Monthly Meetup.

May 2023 – Aug 2023

Software Engineering Intern

Google

Worked on the Android LLVM Toolchain team on Orderfiles in Android. Work was published as a blog post on the Android Developers Blog and presented as a lightning talk at the LLVM Developers Meeting 2023.

May 2022 – Aug 2022

Software Engineering Intern

Meta

Worked on the Redex team, an Android bytecode optimizer for improving app performance.

Aug 2018 – Dec 2024

PhD Candidate, Computer Science

Georgia Institute of Technology

Advised by Dr. Santosh Pande . Research at the intersection of programming languages, security, and compilers. Proposed thesis "A System for Faster Software Verification and Better Compiler Optimizations through Symbiosis" in May 2024. Published at ASPLOS, OOPSLA, CGO, and more.

May 2017 – July 2018

Research Assistant

Carnegie Mellon University

Worked with Dr. Iliano Cervesato and Dr. Giselle Reis on formal methods, logic, and concurrent linear frameworks.

Aug 2013 – May 2017

Bachelor of Science, Computer Science

Carnegie Mellon University

Publications

DeckerPlus: Whole Program Attack Surface Reduction via Compiler Analysis and Transformations
Chris Porter, Sharjeel Khan , and Santosh Pande.
Paper
Journal
ACM TOPS 2026
Qwerty: A Basis-Oriented Quantum Programming Language
Austin J. Adams, Sharjeel Khan , Arjun S. Bhamra, Ryan R. Abusaada, Travis S. Humble, Jeffrey S. Young, and Thomas M. Conte.
Paper
Code
Preprint
Conference
QCE 2025
Tackling ML-based Dynamic Mispredictions using Statically Computed Invariants for Attack Surface Reduction
Chris Porter*, Sharjeel Khan* , Kangqi Ni, and Santosh Pande.
Paper
Code
Conference
ASPLOS 2025
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.
Paper
Preprint
Code
GitHub
Conference
CGO 2025
Pythia: Compiler-Guided Defense Against Non-Control Data Attacks
Sharjeel Khan , Bodhisatwa Chatterjee, and Santosh Pande.
Paper
Poster
Slides
Short Talk
Conference
ASPLOS 2024
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
Journal
IEEE Trans. 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
Journal
IEEE Trans. Radar Systems 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
Preprint
Code
Poster
Slides
Conference Talk
Conference
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
Conference
RadarConf 2023
Decker: Attack Surface Reduction via On-demand Code Mapping
Chris Porter, Sharjeel Khan , and Santosh Pande.
Paper
Preprint
Code
Poster
Slides
Conference Talk
Short Talk
Conference
ASPLOS 2023
Com-CAS: Effective Cache Apportioning under Compiler Guidance
Bodhisatwa Chatterjee, Sharjeel Khan , and Santosh Pande.
Paper
Code
Slides
Conference
PACT 2022
VICO : Demand-driven Verification for Improving Compiler Optimizations
Sharjeel Khan , Bodhisatwa Chatterjee, and Santosh Pande.
Paper
Slides
Conference
ICS 2022
Formalization of Automated Trading Systems in a Concurrent Linear Framework
Iliano Cervesato, Sharjeel Khan , Giselle Reis, and Dragisa Zunic.
Paper
Slides
Code
Workshop
Linearity & TLLA 2018
Phaedrus: Exploring Dynamic Application Behavior with Lightweight Generative Models and Large-Language Models
Bodhisatwa Chatterjee, Neeraj Jadhav, Sharjeel Khan , and Santosh Pande.
Paper
Preprint
arXiv
Practical compilation of fexprs using partial evaluation
Nathan Braswell, Sharjeel Khan , and Santosh Pande.
Paper
Code
Preprint
arXiv
Biscuit: A Compiler Assisted Scheduler for Detecting and Mitigating Cache-Based Side Channel Attacks
Sharjeel Khan , Girish Mururu, and Santosh Pande.
Paper
Preprint
arXiv

Travel

North America
Europe
Asia / Pacific
Africa
Middle East
National Park