Sorav Bansal - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 33 from 33

2024

Modeling Dynamic (De)Allocations of Local Memory for Translation ValidationAbhishek Rose, Sorav Bansal. PACMPL, 8(OOPSLA1):1463-1492, 2024. [doi]

2023

StaticPersist: Compiler Support for PMEM ProgrammingSorav Bansal. vmcai 2023: 44-65 [doi]

2022

Automatic Generation of Debug Headers through BlackBox Equivalence CheckingVaibhav Kiran Kurhe, Pratik Karia, Shubhani Gupta, Abhishek Rose, Sorav Bansal. CGO 2022: 144-154 [doi]

2020

Counterexample-guided correlation algorithm for translation validationShubhani Gupta, Abhishek Rose, Sorav Bansal. PACMPL, 4(OOPSLA), 2020. [doi]

OOElala: order-of-evaluation based alias analysis for compiler optimizationAnkush Phulia, Vaibhav Bhagee, Sorav Bansal. PLDI 2020: 839-853 [doi]

2019

HawkEye: Efficient Fine-grained OS Support for Huge PagesAshish Panwar, Sorav Bansal, K. Gopinath. asplos 2019: 347-360 [doi]

2018

Automatic Verification of Intermittent SystemsManjeet Dahiya, Sorav Bansal. vmcai 2018: 161-182 [doi]

Effective Use of SMT Solvers for Program Equivalence Checking Through Invariant-Sketching and Query-DecompositionShubhani Gupta, Aseem Saxena, Anmol Mahajan, Sorav Bansal. sat 2018: 365-382 [doi]

2017

2015

A Scheduling and Runtime Framework for a Cluster of Heterogeneous Machines with Multiple AcceleratorsTarun Beri, Sorav Bansal, Subodh Kumar. ipps 2015: 146-155 [doi]

ProSteal: A Proactive Work Stealer for Bulk Synchronous Tasks Distributed on a Cluster of Heterogeneous Machines with Multiple AcceleratorsTarun Beri, Sorav Bansal, Subodh Kumar. ipps 2015: 17-26 [doi]

Improving Remote Desktopping Through Adaptive Record/ReplayShehbaz Jaffer, Piyush Kedia, Sorav Bansal. vee 2015: 161-172 [doi]

2013

Variable and thread bounding for systematic testing of multithreaded programsSandeep Bindal, Sorav Bansal, Akash Lal. ISSTA 2013: 145-155 [doi]

Fast dynamic binary translation for the kernelPiyush Kedia, Sorav Bansal. sosp 2013: 101-115 [doi]

Efficient virtualization on embedded power architecture® platformsAashish Mittal, Dushyant Bansal, Sorav Bansal, Varun Sethi. asplos 2013: 445-458 [doi]

2011

Design and Implementation of the Workflow of an Academic CloudAbhishek Gupta, Jatin Kumar, Daniel J. Mathew, Sorav Bansal, Subhashis Banerjee, Huzur Saran. dnis 2011: 16-25 [doi]

An Empirical study of clock skew behavior in modern mobile and hand-held devicesSwati Sharma, Huzur Saran, Sorav Bansal. comsnets 2011: 1-4 [doi]

2008

Binary Translation Using Peephole SuperoptimizersSorav Bansal, Alex Aiken. osdi 2008: 177-192 [doi]

2006

Automatic generation of peephole superoptimizersSorav Bansal, Alex Aiken. asplos 2006: 394-403 [doi]

Energy Efficiency and Capacity for TCP Traffic in Multi-Hop Wireless NetworksSorav Bansal, Rajeev Shorey, Rajeev Gupta, Archan Misra. winet, 12(1):5-21, 2006. [doi]

2004

Design and Analysis of a Cooperative Medium Access Scheme for Wireless Mesh NetworksArup Acharya, Archan Misra, Sorav Bansal. broadnets 2004: 621-631 [doi]

CAR: Clock with Adaptive ReplacementSorav Bansal, Dharmendra S. Modha. FAST 2004: 187-200 [doi]

Performance of TCP and UDP protocols in multi-hop multi-rate wireless networksSorav Bansal, Rajeev Shorey, Arzad Alam Kherani. wcnc 2004: 231-236 [doi]

2003

High-performance architectures for IP-based multihop 802.11 networksArup Acharya, Archan Misra, Sorav Bansal. wc, 10(5):22-28, 2003. [doi]

MACA-P: A MAC for Concurrent Transmissions in Multi-Hop Wireless NetworksArup Acharya, Archan Misra, Sorav Bansal. percom 2003: 505-508 [doi]

Comparing the routing energy overheads of ad-hoc routing protocolsSorav Bansal, Rajeev Shorey, Archan Misra. wcnc 2003: 1155-1161 [doi]

2002

2001

On Hybrid Control of Under-Actuated Mechanical SystemsEugene Asarin, Sorav Bansal, Bernard Espiau, Thao Dang, Oded Maler. hybrid 2001: 77-88 [doi]

Sign in or sign up to see more results.

runs on WebDSL