| 2023 | VMCAI | StaticPersist: Compiler Support for PMEM Programming. | Sorav Bansal |
| 2022 | CGO | Automatic Generation of Debug Headers through BlackBox Equivalence Checking. | Vaibhav Kiran Kurhe, Pratik Karia, Shubhani Gupta, Abhishek Rose, Sorav Bansal |
| 2020 | PLDI | OOElala: order-of-evaluation based alias analysis for compiler optimization. | Ankush Phulia, Vaibhav Bhagee, Sorav Bansal |
| 2019 | ASPLOS | HawkEye: Efficient Fine-grained OS Support for Huge Pages. | Ashish Panwar, Sorav Bansal, K. Gopinath |
| 2018 | SAT | Effective Use of SMT Solvers for Program Equivalence Checking Through Invariant-Sketching and Query-Decomposition. | Shubhani Gupta, Aseem Saxena, Anmol Mahajan, Sorav Bansal |
| 2018 | VMCAI | Automatic Verification of Intermittent Systems. | Manjeet Dahiya, Sorav Bansal |
| 2017 | APLAS | Black-Box Equivalence Checking Across Compiler Optimizations. | Manjeet Dahiya, Sorav Bansal |
| 2015 | VEE | Improving Remote Desktopping Through Adaptive Record/Replay. | Shehbaz Jaffer, Piyus Kedia, Sorav Bansal |
| 2013 | ASPLOS | Efficient virtualization on embedded power architecture platforms. | Aashish Mittal, Dushyant Bansal, Sorav Bansal, Varun Sethi |
| 2013 | ISSTA | Variable and thread bounding for systematic testing of multithreaded programs. | Sandeep Bindal, Sorav Bansal, Akash Lal |
| 2013 | SOSP | Fast dynamic binary translation for the kernel. | Piyus Kedia, Sorav Bansal |
| 2011 | COMSNETS | An Empirical study of clock skew behavior in modern mobile and hand-held devices. | Swati Sharma, Huzur Saran, Sorav Bansal |
| 2008 | OSDI | Binary Translation Using Peephole Superoptimizers. | Sorav Bansal, Alex Aiken |
| 2006 | ASPLOS | Automatic generation of peephole superoptimizers. | Sorav Bansal, Alex Aiken |
| 2004 | Broadnets | Design and Analysis of a Cooperative Medium Access Scheme for Wireless Mesh Networks. | Arup Acharya, Archan Misra, Sorav Bansal |
| 2004 | FAST | CAR: Clock with Adaptive Replacement. | Sorav Bansal, Dharmendra S. Modha |
| 2004 | WCNC | Performance of TCP and UDP protocols in multi-hop multi-rate wireless networks. | Sorav Bansal, Rajeev Shorey, Arzad Alam Kherani |
| 2003 | PERCOM | MACA-P: A MAC for Concurrent Transmissions in Multi-Hop Wireless Networks. | Arup Acharya, Archan Misra, Sorav Bansal |
| 2003 | WCNC | Comparing the routing energy overheads of ad-hoc routing protocols. | Sorav Bansal, Rajeev Shorey, Archan Misra |
| 2002 | GLOBECOM | The capacity of multi-hop wireless networks with TCP regulated traffic. | Sorav Bansal, Rajeev Shorey, Shobhit Chugh, Anurag Goel, Kapil Kumar, Archan Misra |
| 2002 | INFOCOM | Energy Efficiency and Throughput for TCP Traffic in Multi-Hop Wireless Networks. | Imran Ali, Rajeev Gupta, Sorav Bansal, Archan Misra, Ashu Razdan, Rajeev Shorey |
| 2002 | WoWMoM | A label-switching packet forwarding architecture for multi-hop wireless LANs. | Arup Acharya, Archan Misra, Sorav Bansal |