Pinned Repositories
bibcloud
The bibcloud LaTeX utility (and other related LaTeX tools)
books
clang-llvm-tutorial
clang & llvm examples, e.g. AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analysis, LLVM Backend...
cmake-examples
Useful CMake Examples
config-server
daikon
Dynamic detection of likely invariants
dynamorio
Dynamic Instrumentation Tool Platform
echo
Scalable NVM key-value store from University of Washington
find-heartbleed
clang checker to find heartbleed
llvm-dataflow-analysis
daksunt's Repositories
daksunt/bibcloud
The bibcloud LaTeX utility (and other related LaTeX tools)
daksunt/books
daksunt/clang-llvm-tutorial
clang & llvm examples, e.g. AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analysis, LLVM Backend...
daksunt/cmake-examples
Useful CMake Examples
daksunt/config-server
daksunt/daikon
Dynamic detection of likely invariants
daksunt/dynamorio
Dynamic Instrumentation Tool Platform
daksunt/echo
Scalable NVM key-value store from University of Washington
daksunt/find-heartbleed
clang checker to find heartbleed
daksunt/llvm-dataflow-analysis
daksunt/llvm-passes
Collection of various llvm passes
daksunt/masstree-beta
Beta release of Masstree.
daksunt/ngclone
daksunt/sanitizers
AddressSanitizer, ThreadSanitizer, MemorySanitizer
daksunt/scala-repos
Bunch of Scala code for testing scalafmt
daksunt/Splash-3
The Splash-3 benchmark suite
daksunt/srg-llvm-pass-tutorial
Code used in a short tutorial on LLVM passes for the Software Reliablity Group (SRG) at Imperial
daksunt/stainless
Verification framework for higher-order functional programs
daksunt/TestApplication
daksunt/whisper
WHISPER is a comprehensive benchmark suite for emerging persistent memory technologies.
daksunt/z