sdasgup3

binary-decompilation

Extracting high level semantic information from binary code

validating-binary-decompilation

Scalable Validator for Binary Lifters

partial-redundancy-elimination

Partial Redundancy Elimination Pass in LLVM

PLDI19-X86-64-Semantics

Leetmap

MIndMap of all the problems in Leetcode

k

K Framework Tools 5.0

learning-K

K Learning Experience

sdasgup3.github.io

Personal website

stablehlo

Backward compatible ML compute opset inspired by HLO/MHLO

compd_cache

compositional-decompiler-cache

PLDI19-ArtifactEvaluation

Artifact Evaluation, PLDI'19

scripts-n-docs

Cheat sheet for common development utilities

SpISA-19

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

x64asm

x64asm branch of stoke project

z3-Experiments

conv_arithmetic

A technical report on convolution arithmetic in the context of deep learning

ghidra

Ghidra is a software reverse engineering (SRE) framework

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

mcsema

x86 to LLVM bitcode translation framework

mini-era

Mini-ERA is a simplified still-representative version of the main ERA workload.

onnx

Open standard for machine learning interoperability

opentuner

An extensible framework for program autotuning

openxla-xla

A machine learning compiler for GPUs, CPUs, and ML accelerators

PLDI20-Artifact-Evaluation

Artifact Evaluation, PLDI'20

pytorch

Tensors and Dynamic neural networks in Python with strong GPU acceleration

remill

Machine code to LLVM binary translator

self-webifying

Repository of files to host my webpage and blog.

stoke

STOKE: A stochastic superoptimizer and program synthesizer

xla

Enabling PyTorch on XLA Devices (e.g. Google TPU)