There are no reviews yet. Be the first to send feedback to the community and the maintainers!
binary-decompilation
Extracting high level semantic information from binary codevalidating-binary-decompilation
Scalable Validator for Binary Liftersparallel-processor-design
Super scalar Processor designx86-64-instruction-summary
Provides various information around an x86/64 instruction.partial-redundancy-elimination
Partial Redundancy Elimination Pass in LLVMsymbolic-analysis
Customized symbolic analysis to find pointer analysis bugsdwarf-type-reader
Reading type information from debug info section of executableprofiler-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.PLDI19-X86-64-Semantics
Leetmap
MIndMap of all the problems in Leetcodestrata-data-private
gri
GRI - An interpreter for a language suitable for graph algorithmsstrata-stoke
The stoke branch corresponding to strata projectlearning-K
K Learning Experienceneongoby
This is created out of https://github.com/wujingyue/neongobymlir-tutorial
x64asm
x64asm branch of stoke projectprogramming
My programming Tutorials /Experiencescompositional-decompiler-cache
z3-Experiments
statistical-outlier-detection
SpISA-19
https://www.cl.cam.ac.uk/~jrh13/spisa19.htmlPLDI19-ArtifactEvaluation
Artifact Evaluation, PLDI'19non-separable-global-dataflow-framework
Extend GCC's GDFA Architecture to Non-separable Framworkcompd_cache
parallel-sudoku
Parallel Sudoku Implementation using Charm++Love Open Source and this site? Check out how you can help us