Sharjeel Khan

Third Year Computer Science PhD Student at Georgia Institute of Technology
Klaus Advanced Computing Building 2337, Atlanta, Georgia 30332

About Me

Hey, my name is Sharjeel Khan. I am a third-year Computer Science Ph.D. student at Georgia Institute of Technology working with Dr. Santosh Pande . My research interests lie in programming languages, compilers and security research. I am working on leveraging machine learning and deep learning algorithms for improving program analysis and program verification techniques. Currently, I am working on utilizing reinforcement learning for improving performance in SAT solvers and program debloating.

I am originally from Hyderabad, India, but I lived my entire childhood in the Middle East (Dubai then Doha). I did my undergraduate studies 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

In my free time, I learn about new tools to use in my side projects. Currently, I am just trying to add more functionalities to this website by adding a map of my travels and displaying my blog posts from Medium here. Other hobbies range from playing video games (currently Destiny) or board games (Red Dragon Inn), watching TV shows (currently Wandavision), reading manga (One Piece), or trying out new restaurants.

In addition, I love to travel to new countries and to meet new people. I have been to around 20+ countries and 40+ cities. My most recent trip was to Turkey when I backpacked through Istanbul, Ephesus, Cappadocia, and Pamukkale.


Publications

Under Review
Effective Cache Apportioning for Performance Isolation Under Compiler Guidance
Bodhisatwa Chatterjee, Sharjeel Khan , and Santosh Pande.
Preprint
Biscuit: A Compiler Assisted Scheduler for Detecting and Mitigating Cache-Based Side Channel Attacks
Sharjeel Khan , Girish Mururu, and Santosh Pande.
Preprint

Workshop Papers
Formalization of Automated Trading Systems in a Concurrent Linear Framework
Iliano Cervesato, Sharjeel Khan , Giselle Reis, and Dragisa Zunic.
Linearity & TLLA Workshop 2018


Travel