Sharjeel-Khan

Sharjeel Khan's repositories

DDG

This is an implementation to generate dynamic dependence graphs using LLVM and DG tool. The implementation is based on Approach 1 and 2 from Hiralal Agrawal and Joseph R. Horg's Dynamic program slicing paper.

Language:C++400

financialCLF

Formalization of financial systems in linear logic

Language:Makefile2 20

cs7641-project-group11

Language:Jupyter Notebook000

deom119.github.io-cs7641

Language:Jupyter Notebook000

Kesa

Language:JavaScript000

MC9S12C128

In Spring 2016, I did 15-348 Embedded Systems so these are the assignments in the course.

Language:CMIT000

sharjeel-khan.github.io

Hey, this is basically my Portfolio webpage to show off my projects and my skills.

Language:CSSMIT000

z3

The Z3 Theorem Prover

Language:C++NOASSERTION010