Formalization of Automated Trading Systems in a Concurrent Linear Framework. - Iliano Cervesato; Sharjeel Khan; Giselle Reis; Dragisa Zunic (Linearity-TLLA@FLoC, 2018)

A Compiler Assisted Scheduler for Detecting and Mitigating Cache-Based Side Channel Attacks. - Sharjeel Khan; Girish Mururu; Santosh Pande (CoRR, 2020)

Effective Cache Apportioning for Performance Isolation Under Compiler Guidance. - Bodhisatwa Chatterjee; Sharjeel Khan; Santosh Pande (CoRR, 2021)

On-the-fly Code Activation for Attack Surface Reduction. - Chris Porter; Sharjeel Khan; Santosh Pande (CoRR, 2021)

Com-CAS: Effective Cache Apportioning under Compiler Guidance. - Bodhisatwa Chatterjee; Sharjeel Khan; Santosh Pande (PACT, 2022)

VICO: demand-driven verification for improving compiler optimizations. - Sharjeel Khan; Bodhisatwa Chatterjee; Santosh Pande (ICS, 2022)

Decker: Attack Surface Reduction via On-Demand Code Mapping. - Chris Porter; Sharjeel Khan; Santosh Pande (ASPLOS (2), 2023)

Practical compilation of fexprs using partial evaluation: Fexprs can performantly replace macros in purely-functional Lisp. - Nathan Braswell; Sharjeel Khan; Santosh Pande (CoRR, 2023)

Beacons: An End-to-End Compiler Framework for Predicting and Utilizing Dynamic Loop Characteristics. - Girish Mururu; Sharjeel Khan; Bodhisatwa Chatterjee; Chao Chen 024; Chris Porter; Ada Gavrilovska; Santosh Pande (Proc. ACM Program. Lang., 2023)

Pythia: Compiler-Guided Defense Against Non-Control Data Attacks. - Sharjeel Khan; Bodhisatwa Chatterjee; Santosh Pande (ASPLOS (3), 2024)

Combined Static Analysis and Machine Learning Prediction for Application Debloating. - Chris Porter; Sharjeel Khan; Kangqi Ni; Santosh Pande (CoRR, 2024)

Qwerty: A Basis-Oriented Quantum Programming Language. - Austin J. Adams; Sharjeel Khan; Jeffrey S. Young 001; Thomas M. Conte (CoRR, 2024)

Phaedrus: Exploring Dynamic Application Behavior with Lightweight Generative Models and Large-Language Models. - Bodhisatwa Chatterjee; Neeraj Jadhav; Sharjeel Khan; Santosh Pande (CoRR, 2024)

Tackling ML-based Dynamic Mispredictions using Statically Computed Invariants for Attack Surface Reduction. - Chris Porter; Sharjeel Khan; Kangqi Ni; Santosh Pande (ASPLOS (2), 2025)

ASDF: A Compiler for Qwerty, a Basis-Oriented Quantum Programming Language. - Austin J. Adams; Sharjeel Khan; Arjun S. Bhamra; Ryan R. Abusaada; Anthony M. Cabrera; Cameron C. Hoechst; Travis S. Humble; Jeffrey S. Young 001; Thomas M. Conte (CGO, 2025)