sujeetc

Student@IIT KanpurKanpur

Pinned Repositories

backdoorDetector
A static analysis tool to detect potential backdoors hidden in Ethereum smart contracts.
Language:Python00
Cache-Memory-Hog
Cache and main memory hog programs. These are programs with specific access patterns to evict the already existing cache blocks of various applications. These programs were designed to demonstrate that application performance is nearly linearly correlated with cache access rate (as shown in Section 3.1 of Subramanian et al. "The Application Slowdown Model" @ https://users.ece.cmu.edu/~omutlu/pub/application-slowdown-model_micro15.pdf)
Language:C00
ChampSim
ChampSim repository
Language:C++02
ChampSim-Inclusive
Language:C++02
monosat
MonoSAT - An SMT solver for Monotonic Theories
Language:C++00
ScrawlD
Language:Python43 2 413
slither
Static Analyzer for Solidity and Vyper
Language:Python00
Smart_Contract_Website_Material
Language:Solidity10
sujeetc
00
TOR-Model
Language:Python00

sujeetc/ScrawlD
Language:Python43 2 413
sujeetc/Smart_Contract_Website_Material
Language:Solidity10
sujeetc/backdoorDetector
A static analysis tool to detect potential backdoors hidden in Ethereum smart contracts.
Language:Python00
sujeetc/Cache-Memory-Hog
Cache and main memory hog programs. These are programs with specific access patterns to evict the already existing cache blocks of various applications. These programs were designed to demonstrate that application performance is nearly linearly correlated with cache access rate (as shown in Section 3.1 of Subramanian et al. "The Application Slowdown Model" @ https://users.ece.cmu.edu/~omutlu/pub/application-slowdown-model_micro15.pdf)
Language:C00
sujeetc/ChampSim
ChampSim repository
Language:C++02
sujeetc/ChampSim-Inclusive
Language:C++02
sujeetc/monosat
MonoSAT - An SMT solver for Monotonic Theories
Language:C++00
sujeetc/slither
Static Analyzer for Solidity and Vyper
Language:Python00
sujeetc/sujeetc
00
sujeetc/TOR-Model
Language:Python00