Pinned Repositories
academic-kickstart
BEEFY-Analysis
scripts for supporting BEEFY analysis
bhargavbh.github.io
homepage
chopsticks
Create parallel reality of your Substrate network.
crucible
Crucible is a library for symbolic simulation of imperative programs
cs50
Assignments and exercises for cs50 course
Explanator
A tool that provides explanations for counterexamples (finite or lasso) generated by LTL model checkers.
fc25-randao-analysis
Artifact for submission #222, FC25
Grant-Milestone-Delivery
Repository to submit finished milestones
PlumbDROID
This is a replication package for the submission titled "Automated Repair of Resource Leaks in Android Applications" to TSE 2021. https://arxiv.org/abs/2003.03201
bhargavbh's Repositories
bhargavbh/PlumbDROID
This is a replication package for the submission titled "Automated Repair of Resource Leaks in Android Applications" to TSE 2021. https://arxiv.org/abs/2003.03201
bhargavbh/academic-kickstart
bhargavbh/BEEFY-Analysis
scripts for supporting BEEFY analysis
bhargavbh/bhargavbh.github.io
homepage
bhargavbh/chopsticks
Create parallel reality of your Substrate network.
bhargavbh/crucible
Crucible is a library for symbolic simulation of imperative programs
bhargavbh/cs50
Assignments and exercises for cs50 course
bhargavbh/Explanator
A tool that provides explanations for counterexamples (finite or lasso) generated by LTL model checkers.
bhargavbh/fc25-randao-analysis
Artifact for submission #222, FC25
bhargavbh/Grant-Milestone-Delivery
Repository to submit finished milestones
bhargavbh/Grants-Program
Web3 Foundation Grants Program
bhargavbh/ityfuzz
Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts
bhargavbh/lift-fuzz-substrate
bhargavbh/Milestone-Delivery
bhargavbh/MIRAI
Rust mid-level IR Abstract Interpreter compatible with builds targeting WASM
bhargavbh/parity-scale-codec
Lightweight, efficient, binary serialization and deserialization codec
bhargavbh/polkadot-sdk-liftfuzz
Lift Fuzz extension to Polkadot-SDK
bhargavbh/PSPs
Polkadot Standards Proposals
bhargavbh/rustlings
:crab: Small exercises to get you used to reading and writing Rust code!
bhargavbh/snowbridge
A trustless bridge between Polkadot and Ethereum
bhargavbh/substrate-node-template
bhargavbh/substrate-runtime-fuzzer
A fuzzing harness for Substrate-based blockchains.
bhargavbh/tla-tutorial