On Hybrid Control of Under-Actuated Mechanical Systems. - Eugene Asarin; Sorav Bansal; Bernard Espiau; Thao Dang 001; Oded Maler (HSCC, 2001)

The capacity of multi-hop wireless networks with TCP regulated traffic. - Sorav Bansal; Rajeev Shorey; Shobhit Chugh; Anurag Goel; Kapil Kumar; Archan Misra (GLOBECOM, 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 (INFOCOM, 2002)

A label-switching packet forwarding architecture for multi-hop wireless LANs. - Arup Acharya; Archan Misra; Sorav Bansal (WOWMOM, 2002)

MACA-P: A MAC for Concurrent Transmissions in Multi-Hop Wireless Networks. - Arup Acharya; Archan Misra; Sorav Bansal (PerCom, 2003)

Comparing the routing energy overheads of ad-hoc routing protocols. - Sorav Bansal; Rajeev Shorey; Archan Misra (WCNC, 2003)

Observation-based Cooperation Enforcement in Ad Hoc Networks - Sorav Bansal; Mary Baker (CoRR, 2003)

High-performance architectures for IP-based multihop 802.11 networks. - Arup Acharya; Archan Misra; Sorav Bansal (IEEE Wirel. Commun., 2003)

Design and Analysis of a Cooperative Medium Access Scheme for Wireless Mesh Networks. - Arup Acharya; Archan Misra; Sorav Bansal (BROADNETS, 2004)

CAR: Clock with Adaptive Replacement. - Sorav Bansal; Dharmendra S. Modha (FAST, 2004)

Performance of TCP and UDP protocols in multi-hop multi-rate wireless networks. - Sorav Bansal; Rajeev Shorey; Arzad Alam Kherani (WCNC, 2004)

Automatic generation of peephole superoptimizers. - Sorav Bansal; Alex Aiken (ASPLOS, 2006)

Checkbochs: Use Hardware to Check Software - Sorav Bansal (CoRR, 2006)

Energy Efficiency and Capacity for TCP Traffic in Multi-Hop Wireless Networks. - Sorav Bansal; Rajeev Shorey; Rajeev Gupta; Archan Misra (Wirel. Networks, 2006)

Binary Translation Using Peephole Superoptimizers. - Sorav Bansal; Alex Aiken (OSDI, 2008)

An Empirical study of clock skew behavior in modern mobile and hand-held devices. - Swati Sharma 003; Huzur Saran; Sorav Bansal (COMSNETS, 2011)

Design and Implementation of the Workflow of an Academic Cloud. - Abhishek Gupta; Jatin Kumar; Daniel J. Mathew; Sorav Bansal; Subhashis Banerjee; Huzur Saran (DNIS, 2011)

Building Resilient Cloud Over Unreliable Commodity Infrastructure - Piyus Kedia; Sorav Bansal; Deepak Deshpande; Sreekanth Iyer (CoRR, 2012)

Efficient virtualization on embedded power architecture® platforms. - Aashish Mittal; Dushyant Bansal; Sorav Bansal; Varun Sethi (ASPLOS, 2013)

Variable and thread bounding for systematic testing of multithreaded programs. - Sandeep Bindal; Sorav Bansal; Akash Lal (ISSTA, 2013)

Fast dynamic binary translation for the kernel. - Piyus Kedia; Sorav Bansal (SOSP, 2013)

A Scheduling and Runtime Framework for a Cluster of Heterogeneous Machines with Multiple Accelerators. - Tarun Beri; Sorav Bansal; Subodh Kumar 001 (IPDPS, 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 001 (IPDPS Workshops, 2015)

Improving Remote Desktopping Through Adaptive Record/Replay. - Shehbaz Jaffer; Piyus Kedia; Sorav Bansal (VEE, 2015)

A Software-only Mechanism for Device Passthrough and Sharing. - Piyus Kedia; Sorav Bansal (CoRR, 2015)

Black-Box Equivalence Checking Across Compiler Optimizations. - Manjeet Dahiya; Sorav Bansal (APLAS, 2017)

A Preliminary Performance Model for Optimizing Software Packet Processing Pipelines. - Ankit Bhardwaj; Atul Shree; V. Bhargav Reddy; Sorav Bansal (APSys, 2017)

Modeling Undefined Behaviour Semantics for Checking Equivalence Across Compiler Optimizations. - Manjeet Dahiya; Sorav Bansal (Haifa Verification Conference, 2017)

The Unicorn Runtime: Efficient Distributed Shared Memory Programming for Hybrid CPU-GPU Clusters. - Tarun Beri; Sorav Bansal; Subodh Kumar 001 (IEEE Trans. Parallel Distributed Syst., 2017)

Effective Use of SMT Solvers for Program Equivalence Checking Through Invariant-Sketching and Query-Decomposition. - Shubhani Gupta; Aseem Saxena; Anmol Mahajan; Sorav Bansal (SAT, 2018)

Automatic Verification of Intermittent Systems. - Manjeet Dahiya; Sorav Bansal (VMCAI, 2018)

HawkEye: Efficient Fine-grained OS Support for Huge Pages. - Ashish Panwar; Sorav Bansal; K. Gopinath (ASPLOS, 2019)

OOElala: order-of-evaluation based alias analysis for compiler optimization. - Ankush Phulia; Vaibhav Bhagee; Sorav Bansal (PLDI, 2020)

Counterexample-guided correlation algorithm for translation validation. - Shubhani Gupta; Abhishek Rose; Sorav Bansal (Proc. ACM Program. Lang., 2020)

Automatic Generation of Debug Headers through BlackBox Equivalence Checking. - Vaibhav Kiran Kurhe; Pratik Karia; Shubhani Gupta; Abhishek Rose; Sorav Bansal (CGO, 2022)

StaticPersist: Compiler Support for PMEM Programming. - Sorav Bansal (VMCAI, 2023)

Modeling Dynamic (De)Allocations of Local Memory for Translation Validation. - Abhishek Rose; Sorav Bansal (Proc. ACM Program. Lang., 2024)