Sandeep Dasgupta

binary-decompilation. Extracting high level semantic information from binary code

validating-binary-decompilation. Scalable Validator for Binary Lifters

parallel-processor-design. Super scalar Processor design

x86-64-instruction-summary. Provides various information around an x86/64 instruction.

partial-redundancy-elimination. Partial Redundancy Elimination Pass in LLVM

llvm-slicer. Static Slicer for LLVM 3.5

symbolic-analysis. Customized symbolic analysis to find pointer analysis bugs

profiler-using-clang-based-ast-instrumentation. Clang based AST reformatting tool used for injecting instrumentation code in C/C++ programs. The goal is collecting profiles (run-times and execution frequencies) on C/C++ programs.

dwarf-type-reader. Reading type information from debug info section of executable

PLDI19-X86-64-Semantics. TeX

giri. Giri: Dynamic Program Slicing in LLVM

Leetmap. MIndMap of all the problems in Leetcode

strata-stoke. The stoke branch corresponding to strata project

learning-K. K Learning Experience

stablehlo. Backward compatible ML compute opset inspired by HLO/MHLO

PLDI19-ArtifactEvaluation. Artifact Evaluation, PLDI'19

strata-data-private. Assembly

sdasgup3.github.io. Personal website

k. K Framework Tools 5.0

gri. GRI - An interpreter for a language suitable for graph algorithms

neongoby. This is created out of https://github.com/wujingyue/neongoby

compd_cache.

compositional-decompiler-cache.

x64asm. x64asm branch of stoke project

mlir-tutorial. Shell

statistical-outlier-detection. R

SpISA-19. https://www.cl.cam.ac.uk/~jrh13/spisa19.html

PLDI20-Artifact-Evaluation. Artifact Evaluation, PLDI'20

non-separable-global-dataflow-framework. Extend GCC's GDFA Architecture to Non-separable Framwork

z3-Experiments. Python

strata. Automatic inference of a formal specification of the x86_64 instruction set

parallel-sudoku. Parallel Sudoku Implementation using Charm++

scripts-n-docs. Cheat sheet for common development utilities

andersen. Andersen's inclusion-based pointer analysis re-implementation in LLVM

programming. My programming Tutorials /Experiences