Hey, my name is Sharjeel Khan. My primary interest is in Programming Languages, Logic and Software Verification research. Currently, I am a first year PhD student at Georgia Institute of Technology working on Predicting Dynamic Probabilistic Program Paths with Professor Santosh Pande.
In my free time, I blog about my life and my interests on Medium. My interests are playing video games or board games, watching TV shows (On a Brooklyn 99 binge), reading manga (One Piece is the my all-time favorite) and eating new cuisines or new dishes at restaurants. My absolute favorite thing is to code new projects or participate in online programming competitions while listening to music on Spotify.
Aside from all of this, I love to travel. I have been to around 20+ countries and 40+ cities which can be seen below in the Map. Whenever I get the chance, I try to travel to new countries and to meet new people. I normally backpack around the country to see the different cities and cultures. My most recent trip was to Turkey where I visited Istanbul, Ephesus, Cappadocia and Pamukkale.
We are building an intermediate representation (IR) pass which creates a path profile for the program. Using the path profile and a trained decision tree classifier about program paths, we are trying to predict dynamic paths used in the program with a high probability of accuracy alongside a minimum overhead. As a result, we will be able to find all unused code sections for removal. This improves the program’s size, improves the program’s security and decreases your precious time during compilation.
We researched about financial systems more specifically Automated Trading Systems (ATS) where we formalized ATS in Celf so we can verify properties of the system by implementing the meta-theory in Celf.