Sorav Bansal

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 13

Top Topics

Interactive Dynamic Influence Diagrams

Query Decomposition

Distributed Shared Memory

Top Venues

Proc. ACM Program. Lang.

Publications

Abhishek Rose, Sorav Bansal
Modeling Dynamic (De)Allocations of Local Memory for Translation Validation. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Abhishek Rose, Sorav Bansal
Modeling Dynamic (De)Allocations of Local Memory for Translation Validation. CoRR (2024)
Sorav Bansal
StaticPersist: Compiler Support for PMEM Programming. VMCAI (2023)
Vaibhav Kiran Kurhe, Pratik Karia, Shubhani Gupta, Abhishek Rose, Sorav Bansal
Automatic Generation of Debug Headers through BlackBox Equivalence Checking. CGO (2022)
Shubhani Gupta, Abhishek Rose, Sorav Bansal
Counterexample-guided correlation algorithm for translation validation. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Ankush Phulia, Vaibhav Bhagee, Sorav Bansal
OOElala: order-of-evaluation based alias analysis for compiler optimization. PLDI (2020)
Ashish Panwar, Sorav Bansal, K. Gopinath
HawkEye: Efficient Fine-grained OS Support for Huge Pages. ASPLOS (2019)
Manjeet Dahiya, Sorav Bansal
Automatic Verification of Intermittent Systems. VMCAI (2018)
Shubhani Gupta, Aseem Saxena, Anmol Mahajan, Sorav Bansal
Effective Use of SMT Solvers for Program Equivalence Checking Through Invariant-Sketching and Query-Decomposition. SAT (2018)
Manjeet Dahiya, Sorav Bansal
Modeling Undefined Behaviour Semantics for Checking Equivalence Across Compiler Optimizations. Haifa Verification Conference (2017)
Manjeet Dahiya, Sorav Bansal
Black-Box Equivalence Checking Across Compiler Optimizations. APLAS (2017)
Tarun Beri, Sorav Bansal, Subodh Kumar
The Unicorn Runtime: Efficient Distributed Shared Memory Programming for Hybrid CPU-GPU Clusters. IEEE Trans. Parallel Distributed Syst. 28 (5) (2017)
Ankit Bhardwaj, Atul Shree, V. Bhargav Reddy, Sorav Bansal
A Preliminary Performance Model for Optimizing Software Packet Processing Pipelines. APSys (2017)
Shehbaz Jaffer, Piyush Kedia, Sorav Bansal
Improving Remote Desktopping Through Adaptive Record/Replay. VEE (2015)
Tarun Beri, Sorav Bansal, Subodh Kumar
A Scheduling and Runtime Framework for a Cluster of Heterogeneous Machines with Multiple Accelerators. IPDPS (2015)
Tarun Beri, Sorav Bansal, Subodh Kumar
ProSteal: A Proactive Work Stealer for Bulk Synchronous Tasks Distributed on a Cluster of Heterogeneous Machines with Multiple Accelerators. IPDPS Workshops (2015)
Piyush Kedia, Sorav Bansal
A Software-only Mechanism for Device Passthrough and Sharing. CoRR (2015)
Piyush Kedia, Sorav Bansal
Fast dynamic binary translation for the kernel. SOSP (2013)
Sandeep Bindal, Sorav Bansal, Akash Lal
Variable and thread bounding for systematic testing of multithreaded programs. ISSTA (2013)
Aashish Mittal, Dushyant Bansal, Sorav Bansal, Varun Sethi
Efficient virtualization on embedded power architecture® platforms. ASPLOS (2013)
Piyush Kedia, Sorav Bansal, Deepak Deshpande, Sreekanth Iyer
Building Resilient Cloud Over Unreliable Commodity Infrastructure CoRR (2012)
Sandeep Bindal, Sorav Bansal, Akash Lal
Variable and Thread Bounding for Systematic Testing of Multithreaded Programs CoRR (2012)
Abhishek Gupta, Jatin Kumar, Daniel J. Mathew, Sorav Bansal, Subhashis Banerjee, Huzur Saran
Design and Implementation of the Workflow of an Academic Cloud. DNIS (2011)
Swati Sharma, Huzur Saran, Sorav Bansal
An Empirical study of clock skew behavior in modern mobile and hand-held devices. COMSNETS (2011)
Sorav Bansal, Alex Aiken
Binary Translation Using Peephole Superoptimizers. OSDI (2008)
Sorav Bansal, Alex Aiken
Automatic generation of peephole superoptimizers. ASPLOS (2006)
Sorav Bansal
Checkbochs: Use Hardware to Check Software CoRR (2006)
Sorav Bansal, Rajeev Shorey, Rajeev Gupta, Archan Misra
Energy Efficiency and Capacity for TCP Traffic in Multi-Hop Wireless Networks. Wirel. Networks 12 (1) (2006)
Sorav Bansal, Dharmendra S. Modha
CAR: Clock with Adaptive Replacement. FAST (2004)
Sorav Bansal, Rajeev Shorey, Arzad Alam Kherani
Performance of TCP and UDP protocols in multi-hop multi-rate wireless networks. WCNC (2004)
Arup Acharya, Archan Misra, Sorav Bansal
Design and Analysis of a Cooperative Medium Access Scheme for Wireless Mesh Networks. BROADNETS (2004)
Arup Acharya, Archan Misra, Sorav Bansal
MACA-P: A MAC for Concurrent Transmissions in Multi-Hop Wireless Networks. PerCom (2003)
Arup Acharya, Archan Misra, Sorav Bansal
High-performance architectures for IP-based multihop 802.11 networks. IEEE Wirel. Commun. 10 (5) (2003)
Sorav Bansal, Mary Baker
Observation-based Cooperation Enforcement in Ad Hoc Networks CoRR (2003)
Sorav Bansal, Rajeev Shorey, Archan Misra
Comparing the routing energy overheads of ad-hoc routing protocols. WCNC (2003)
Arup Acharya, Archan Misra, Sorav Bansal
A label-switching packet forwarding architecture for multi-hop wireless LANs. WOWMOM (2002)
Sorav Bansal, Rajeev Shorey, Shobhit Chugh, Anurag Goel, Kapil Kumar, Archan Misra
The capacity of multi-hop wireless networks with TCP regulated traffic. GLOBECOM (2002)
Imran Ali, Rajeev Gupta, Sorav Bansal, Archan Misra, Ashu Razdan, Rajeev Shorey
Energy Efficiency and Throughput for TCP Traffic in Multi-Hop Wireless Networks. INFOCOM (2002)
Eugene Asarin, Sorav Bansal, Bernard Espiau, Thao Dang, Oded Maler
On Hybrid Control of Under-Actuated Mechanical Systems. HSCC (2001)