piyus

IIIT Delhi

@Systems-IIITD New Delhi

Pinned Repositories

btkernel
Fast Binary Translator for the Kernel
Language:C27 6 09
CGuard_proj
CGuard project repository
00
changes_cg
Language:C++00
clang_cg
Language:C++00
examples_cg
Small test cases for CGuard
Language:C00
jemalloc_cg
Language:C0 1 00
llvm_cg
Language:LLVM00
Phoenix-2.0_cg
Language:C0 1 00
piyus.github.io
Language:HTML00
qemu-rr
A full system Record/Replay implementation in qemu-0.13.0
Language:C8 3 04

piyus's Repositories

piyus/btkernel
Fast Binary Translator for the Kernel
Language:C27 6 09
piyus/qemu-rr
A full system Record/Replay implementation in qemu-0.13.0
Language:C8 3 04
piyus/CGuard_proj
CGuard project repository
00
piyus/changes_cg
Language:C++00
piyus/clang_cg
Language:C++00
piyus/examples_cg
Small test cases for CGuard
Language:C00
piyus/jemalloc_cg
Language:C0 1 00
piyus/llvm_cg
Language:LLVM00
piyus/Phoenix-2.0_cg
Language:C0 1 00
piyus/piyus.github.io
Language:HTML00
piyus/resources_cg
Scripts for SPEC, LLVM, etc.
Language:Shell
piyus/Verifier
A verifier for checking IFC properties
Language:C++2 0
piyus/Webserver
Webserver_SGX
Language:C2 0