Sorav Bansal

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