Chavhan Sujeet Yashavant's repositories
backdoorDetector
A static analysis tool to detect potential backdoors hidden in Ethereum smart contracts.
Language:Python000
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:C000
ChampSim
ChampSim repository
Language:C++NOASSERTION000
Language:C++NOASSERTION000
monosat
MonoSAT - An SMT solver for Monotonic Theories
Language:C++MIT000
Language:Python000