15 citations · 21 across the 4 of their papers we have counts for
4 papers
DORA: Distributed Oracle Agreement with Simple Majority
Prasanth Chakka, Saurabh Joshi, Aniket Kate +2
Oracle networks feeding off-chain information to a blockchain are required to solve a distributed agreement problem since these networks receive information from multiple sources a…
Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version)
Rajdeep Mukherjee, Saurabh Joshi, Andreas Griesmayer +2
Semiconductor companies have increasingly adopted a methodology that starts with a system-level design specification in C/C++/SystemC. This model is extensively simulated to ensure…
Property-Driven Fence Insertion using Reorder Bounded Model Checking
Saurabh Joshi, Daniel Kroening
Modern architectures provide weaker memory consistency guarantees than sequential consistency. These weaker guarantees allow programs to exhibit behaviours where the program statem…
Automatically finding atomic regions for fixing bugs in Concurrent programs
Saurabh Joshi, Akash Lal
This paper presents a technique for automatically constructing a fix for buggy concurrent programs: given a concurrent program that does not satisfy user-provided assertions, we in…