Sharjeel Khan

16 papers A 2B 1Journal 9Unranked 4
YearRankTypeTitle / Venue / Authors
2025 A conf
ASDF: A Compiler for Qwerty, a Basis-Oriented Quantum Programming Language.
CGO
Austin J. Adams, Sharjeel Khan, Arjun S. Bhamra, Ryan R. Abusaada, Anthony M. Cabrera, Cameron C. Hoechst, Travis S. Humble, Jeffrey S. Young, Thomas M. Conte
2025 J jnl
ASDF: A Compiler for Qwerty, a Basis-Oriented Quantum Programming Language.
CoRR
Austin J. Adams, Sharjeel Khan, Arjun S. Bhamra, Ryan R. Abusaada, Anthony M. Cabrera, Cameron C. Hoechst, Travis S. Humble, Jeffrey S. Young, Thomas M. Conte
2025 — conf
Tackling ML-based Dynamic Mispredictions using Statically Computed Invariants for Attack Surface Reduction.
ASPLOS (2)
Chris Porter, Sharjeel Khan, Kangqi Ni, Santosh Pande
2024 J jnl
Combined Static Analysis and Machine Learning Prediction for Application Debloating.
CoRR
Chris Porter, Sharjeel Khan, Kangqi Ni, Santosh Pande
2024 J jnl
Phaedrus: Exploring Dynamic Application Behavior with Lightweight Generative Models and Large-Language Models.
CoRR
Bodhisatwa Chatterjee, Neeraj Jadhav, Sharjeel Khan, Santosh Pande
2024 — conf
Pythia: Compiler-Guided Defense Against Non-Control Data Attacks.
ASPLOS (3)
Sharjeel Khan, Bodhisatwa Chatterjee, Santosh Pande
2024 J jnl
Qwerty: A Basis-Oriented Quantum Programming Language.
CoRR
Austin J. Adams, Sharjeel Khan, Jeffrey S. Young, Thomas M. Conte
2023 J jnl
Beacons: An End-to-End Compiler Framework for Predicting and Utilizing Dynamic Loop Characteristics.
Proc. ACM Program. Lang.
Girish Mururu, Sharjeel Khan, Bodhisatwa Chatterjee, Chao Chen, Chris Porter, Ada Gavrilovska, Santosh Pande
2023 — conf
Decker: Attack Surface Reduction via On-Demand Code Mapping.
ASPLOS (2)
Chris Porter, Sharjeel Khan, Santosh Pande
2023 J jnl
Practical compilation of fexprs using partial evaluation: Fexprs can performantly replace macros in purely-functional Lisp.
CoRR
Nathan Braswell, Sharjeel Khan, Santosh Pande
2022 B conf
Com-CAS: Effective Cache Apportioning under Compiler Guidance.
PACT
Bodhisatwa Chatterjee, Sharjeel Khan, Santosh Pande
2022 A conf
VICO: demand-driven verification for improving compiler optimizations.
ICS
Sharjeel Khan, Bodhisatwa Chatterjee, Santosh Pande
2021 J jnl
Effective Cache Apportioning for Performance Isolation Under Compiler Guidance.
CoRR
Bodhisatwa Chatterjee, Sharjeel Khan, Santosh Pande
2021 J jnl
On-the-fly Code Activation for Attack Surface Reduction.
CoRR
Chris Porter, Sharjeel Khan, Santosh Pande
2020 J jnl
A Compiler Assisted Scheduler for Detecting and Mitigating Cache-Based Side Channel Attacks.
CoRR
Sharjeel Khan, Girish Mururu, Santosh Pande
2018 — conf
Formalization of Automated Trading Systems in a Concurrent Linear Framework.
Linearity-TLLA@FLoC
Iliano Cervesato, Sharjeel Khan, Giselle Reis, Dragisa Zunic