Sharjeel Khan

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 12

Top Topics

Trading Systems

Partial Evaluation

Surface Fitting

Programming Language

Top Venues

Proc. ACM Program. Lang.

Publications

Austin Adams, Sharjeel Khan, Jeffrey S. Young, Thomas M. Conte
Qwerty: A Basis-Oriented Quantum Programming Language. CoRR (2024)
Sharjeel Khan, Bodhisatwa Chatterjee, Santosh Pande
Pythia: Compiler-Guided Defense Against Non-Control Data Attacks. ASPLOS (3) (2024)
Chris Porter, Sharjeel Khan, Kangqi Ni, Santosh Pande
Combined Static Analysis and Machine Learning Prediction for Application Debloating. CoRR (2024)
Nathan Braswell, Sharjeel Khan, Santosh Pande
Practical compilation of fexprs using partial evaluation: Fexprs can performantly replace macros in purely-functional Lisp. CoRR (2023)
Girish Mururu, Sharjeel Khan, Bodhisatwa Chatterjee, Chao Chen, Chris Porter, Ada Gavrilovska, Santosh Pande
Beacons: An End-to-End Compiler Framework for Predicting and Utilizing Dynamic Loop Characteristics. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Chris Porter, Sharjeel Khan, Santosh Pande
Decker: Attack Surface Reduction via On-Demand Code Mapping. ASPLOS (2) (2023)
Bodhisatwa Chatterjee, Sharjeel Khan, Santosh Pande
Com-CAS: Effective Cache Apportioning under Compiler Guidance. PACT (2022)
Sharjeel Khan, Bodhisatwa Chatterjee, Santosh Pande
VICO: demand-driven verification for improving compiler optimizations. ICS (2022)
Bodhisatwa Chatterjee, Sharjeel Khan, Santosh Pande
Effective Cache Apportioning for Performance Isolation Under Compiler Guidance. CoRR (2021)
Chris Porter, Sharjeel Khan, Santosh Pande
On-the-fly Code Activation for Attack Surface Reduction. CoRR (2021)
Sharjeel Khan, Girish Mururu, Santosh Pande
A Compiler Assisted Scheduler for Detecting and Mitigating Cache-Based Side Channel Attacks. CoRR (2020)
Iliano Cervesato, Sharjeel Khan, Giselle Reis, Dragisa Zunic
Formalization of Automated Trading Systems in a Concurrent Linear Framework. Linearity-TLLA@FLoC (2018)