Pinned Repositories
subodhvsharma.github.io
mopper-spo
MOPPER with SPO encoding
benchmarks
house-allocation-strategy
An algorithm to perform house allocation at IITD
minimum-spanning-trees-alloy
SIoTS-paper
We describe our work on implementing and benchmarking a faster consensus protocol for the IoT systems.
poet
POET (Partial Order Exploration Tools)
subodhvsharma's Repositories
subodhvsharma/subodhvsharma.github.io
subodhvsharma/minimum-spanning-trees-alloy
subodhvsharma/SIoTS-paper
We describe our work on implementing and benchmarking a faster consensus protocol for the IoT systems.
subodhvsharma/benchmarks
subodhvsharma/mopper-spo
MOPPER with SPO encoding
subodhvsharma/house-allocation-strategy
An algorithm to perform house allocation at IITD