subodhvsharma

Pinned Repositories

poet
POET (Partial Order Exploration Tools)
Language:C5 7 320
benchmarks
Language:C0 4 01
house-allocation-strategy
An algorithm to perform house allocation at IITD
Language:TeX0 3 00
minimum-spanning-trees-alloy
Language:Alloy00
mopper-spo
MOPPER with SPO encoding
Language:C1 4 11
SIoTS-paper
We describe our work on implementing and benchmarking a faster consensus protocol for the IoT systems.
Language:TeX0 1 00
subodhvsharma.github.io
Language:HTML20

subodhvsharma's Repositories

subodhvsharma/subodhvsharma.github.io
Language:HTML20
subodhvsharma/mopper-spo
MOPPER with SPO encoding
Language:C1 4 11
subodhvsharma/benchmarks
Language:C0 4 01
subodhvsharma/house-allocation-strategy
An algorithm to perform house allocation at IITD
Language:TeX0 3 00
subodhvsharma/minimum-spanning-trees-alloy
Language:Alloy00
subodhvsharma/SIoTS-paper
We describe our work on implementing and benchmarking a faster consensus protocol for the IoT systems.
Language:TeX0 1 00