381 citations · 383 across the 6 of their papers we have counts for
6 papers
Modeling Dynamic (De)Allocations of Local Memory for Translation Validation
Abhishek Rose, Sorav Bansal
End-to-End Translation Validation is the problem of verifying the executable code generated by a compiler against the corresponding input source code for a single compilation. This…
A Software-only Mechanism for Device Passthrough and Sharing
Piyus Kedia, Sorav Bansal
Network processing elements in virtual machines, also known as Network Function Virtualization (NFV) often face CPU bottlenecks at the virtualization interface. Even highly optimiz…
Building Resilient Cloud Over Unreliable Commodity Infrastructure
Piyus Kedia, Sorav Bansal, Deepak Deshpande +1
Cloud Computing has emerged as a successful computing paradigm for efficiently utilizing managed compute infrastructure such as high speed rack-mounted servers, connected with high…
Variable and Thread Bounding for Systematic Testing of Multithreaded Programs
Sandeep Bindal, Sorav Bansal, Akash Lal
Previous approaches to systematic state-space exploration for testing multi-threaded programs have proposed context-bounding and depth-bounding to be effective ranking algorithms f…
Checkbochs: Use Hardware to Check Software
Sorav Bansal
In this paper, we present a system called Checkbochs, a machine simulator that checks rules about its guest operating system and applications at the hardware level. The properties…
Observation-based Cooperation Enforcement in Ad Hoc Networks
Sorav Bansal, Mary Baker
Ad hoc networks rely on the cooperation of the nodes participating in the network to forward packets for each other. A node may decide not to cooperate to save its resources while…