Sorav Bansal

According to our database, Sorav Bansal authored at least 37 papers between 2001 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Modeling Dynamic (De)Allocations of Local Memory for Translation Validation.

Abhishek Rose, Sorav Bansal

Proc. ACM Program. Lang., 2024

2023

StaticPersist: Compiler Support for PMEM Programming.

Sorav Bansal

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2023

2022

Automatic Generation of Debug Headers through BlackBox Equivalence Checking.

Vaibhav Kiran Kurhe, Pratik Karia, Shubhani Gupta, Abhishek Rose, Sorav Bansal

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2022

2020

Counterexample-guided correlation algorithm for translation validation.

Shubhani Gupta, Abhishek Rose, Sorav Bansal

Proc. ACM Program. Lang., 2020

OOElala: order-of-evaluation based alias analysis for compiler optimization.

Ankush Phulia, Vaibhav Bhagee, Sorav Bansal

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019

HawkEye: Efficient Fine-grained OS Support for Huge Pages.

Ashish Panwar, Sorav Bansal, K. Gopinath

Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 2019

2018

Automatic Verification of Intermittent Systems.

Manjeet Dahiya, Sorav Bansal

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

Effective Use of SMT Solvers for Program Equivalence Checking Through Invariant-Sketching and Query-Decomposition.

Shubhani Gupta, Aseem Saxena, Anmol Mahajan, Sorav Bansal

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2018, 2018

2017

The Unicorn Runtime: Efficient Distributed Shared Memory Programming for Hybrid CPU-GPU Clusters.

Tarun Beri, Sorav Bansal, Subodh Kumar

IEEE Trans. Parallel Distributed Syst., 2017

Modeling Undefined Behaviour Semantics for Checking Equivalence Across Compiler Optimizations.

Manjeet Dahiya, Sorav Bansal

Proceedings of the Hardware and Software: Verification and Testing, 2017

A Preliminary Performance Model for Optimizing Software Packet Processing Pipelines.

Ankit Bhardwaj, Atul Shree, V. Bhargav Reddy, Sorav Bansal

Proceedings of the 8th Asia-Pacific Workshop on Systems, Mumbai, India, September 2, 2017, 2017

Black-Box Equivalence Checking Across Compiler Optimizations.

Manjeet Dahiya, Sorav Bansal

Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

2015

A Software-only Mechanism for Device Passthrough and Sharing.

Piyus Kedia, Sorav Bansal

CoRR, 2015

Improving Remote Desktopping Through Adaptive Record/Replay.

Shehbaz Jaffer, Piyus Kedia, Sorav Bansal

Proceedings of the 11th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2015

ProSteal: A Proactive Work Stealer for Bulk Synchronous Tasks Distributed on a Cluster of Heterogeneous Machines with Multiple Accelerators.

Tarun Beri, Sorav Bansal, Subodh Kumar

Proceedings of the 2015 IEEE International Parallel and Distributed Processing Symposium Workshop, 2015

A Scheduling and Runtime Framework for a Cluster of Heterogeneous Machines with Multiple Accelerators.

Tarun Beri, Sorav Bansal, Subodh Kumar

Proceedings of the 2015 IEEE International Parallel and Distributed Processing Symposium, 2015

2013

Fast dynamic binary translation for the kernel.

Piyus Kedia, Sorav Bansal

Proceedings of the ACM SIGOPS 24th Symposium on Operating Systems Principles, 2013

Variable and thread bounding for systematic testing of multithreaded programs.

Sandeep Bindal, Sorav Bansal, Akash Lal

Proceedings of the International Symposium on Software Testing and Analysis, 2013

Efficient virtualization on embedded power architecture® platforms.

Aashish Mittal, Dushyant Bansal, Sorav Bansal, Varun Sethi

Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013

2012

Building Resilient Cloud Over Unreliable Commodity Infrastructure

Piyus Kedia, Sorav Bansal, Deepak Deshpande, Sreekanth Iyer

CoRR, 2012

2011

Design and Implementation of the Workflow of an Academic Cloud.

Abhishek Gupta, Jatin Kumar, Daniel J. Mathew, Sorav Bansal, Subhashis Banerjee, Huzur Saran

Proceedings of the Databases in Networked Information Systems - 7th International Workshop, 2011

An Empirical study of clock skew behavior in modern mobile and hand-held devices.

Swati Sharma, Huzur Saran, Sorav Bansal

Proceedings of the Third International Conference on Communication Systems and Networks, 2011

2008

Binary Translation Using Peephole Superoptimizers.

Sorav Bansal, Alex Aiken

Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

2006

Energy Efficiency and Capacity for TCP Traffic in Multi-Hop Wireless Networks.

Sorav Bansal, Rajeev Shorey, Rajeev Gupta, Archan Misra

Wirel. Networks, 2006

Checkbochs: Use Hardware to Check Software

Sorav Bansal

CoRR, 2006

Automatic generation of peephole superoptimizers.

Sorav Bansal, Alex Aiken

Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, 2006

2004

Performance of TCP and UDP protocols in multi-hop multi-rate wireless networks.

Sorav Bansal, Rajeev Shorey, Arzad Alam Kherani

Proceedings of the 2004 IEEE Wireless Communications and Networking Conference , 2004

CAR: Clock with Adaptive Replacement.

Sorav Bansal, Dharmendra S. Modha

Proceedings of the FAST '04 Conference on File and Storage Technologies, March 31, 2004

Design and Analysis of a Cooperative Medium Access Scheme for Wireless Mesh Networks.

Arup Acharya, Archan Misra, Sorav Bansal

Proceedings of the 1st International Conference on Broadband Networks (BROADNETS 2004), 2004

2003

High-performance architectures for IP-based multihop 802.11 networks.

Arup Acharya, Archan Misra, Sorav Bansal

IEEE Wirel. Commun., 2003

Observation-based Cooperation Enforcement in Ad Hoc Networks

Sorav Bansal, Mary Baker

CoRR, 2003

Comparing the routing energy overheads of ad-hoc routing protocols.

Sorav Bansal, Rajeev Shorey, Archan Misra

Proceedings of the 2003 IEEE Wireless Communications and Networking, 2003

MACA-P: A MAC for Concurrent Transmissions in Multi-Hop Wireless Networks.

Arup Acharya, Archan Misra, Sorav Bansal

Proceedings of the First IEEE International Conference on Pervasive Computing and Communications (PerCom'03), 2003

2002

A label-switching packet forwarding architecture for multi-hop wireless LANs.

Arup Acharya, Archan Misra, Sorav Bansal

Proceedings of the Fifth International Workshop on Wireless Mobile Multimedia, 2002

Energy Efficiency and Throughput for TCP Traffic in Multi-Hop Wireless Networks.

Imran Ali, Rajeev Gupta, Sorav Bansal, Archan Misra, Ashu Razdan, Rajeev Shorey

Proceedings of the Proceedings IEEE INFOCOM 2002, 2002

The capacity of multi-hop wireless networks with TCP regulated traffic.

Sorav Bansal, Rajeev Shorey, Shobhit Chugh, Anurag Goel, Kapil Kumar, Archan Misra

Proceedings of the Global Telecommunications Conference, 2002

2001

On Hybrid Control of Under-Actuated Mechanical Systems.

Eugene Asarin, Sorav Bansal, Bernard Espiau, Thao Dang, Oded Maler

Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001