default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSorav Bansal
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j5]Abhishek Rose, Sorav Bansal
:
Modeling Dynamic (De)Allocations of Local Memory for Translation Validation. Proc. ACM Program. Lang. 8(OOPSLA1): 1463-1492 (2024)- [i6]Abhishek Rose, Sorav Bansal:
Modeling Dynamic (De)Allocations of Local Memory for Translation Validation. CoRR abs/2403.05302 (2024) - 2023
- [c28]Sorav Bansal:
StaticPersist: Compiler Support for PMEM Programming. VMCAI 2023: 44-65 - 2022
- [c27]Vaibhav Kiran Kurhe, Pratik Karia, Shubhani Gupta, Abhishek Rose, Sorav Bansal:
Automatic Generation of Debug Headers through BlackBox Equivalence Checking. CGO 2022: 144-154 - 2020
- [j4]Shubhani Gupta, Abhishek Rose, Sorav Bansal:
Counterexample-guided correlation algorithm for translation validation. Proc. ACM Program. Lang. 4(OOPSLA): 221:1-221:29 (2020) - [c26]Ankush Phulia, Vaibhav Bhagee, Sorav Bansal:
OOElala: order-of-evaluation based alias analysis for compiler optimization. PLDI 2020: 839-853
2010 – 2019
- 2019
- [c25]Ashish Panwar, Sorav Bansal, K. Gopinath:
HawkEye: Efficient Fine-grained OS Support for Huge Pages. ASPLOS 2019: 347-360 - 2018
- [c24]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: 365-382 - [c23]Manjeet Dahiya, Sorav Bansal:
Automatic Verification of Intermittent Systems. VMCAI 2018: 161-182 - 2017
- [j3]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): 1518-1534 (2017) - [c22]Manjeet Dahiya, Sorav Bansal:
Black-Box Equivalence Checking Across Compiler Optimizations. APLAS 2017: 127-147 - [c21]Ankit Bhardwaj, Atul Shree, V. Bhargav Reddy, Sorav Bansal:
A Preliminary Performance Model for Optimizing Software Packet Processing Pipelines. APSys 2017: 26:1-26:7 - [c20]Manjeet Dahiya, Sorav Bansal:
Modeling Undefined Behaviour Semantics for Checking Equivalence Across Compiler Optimizations. Haifa Verification Conference 2017: 19-34 - 2016
- [e1]Heming Cui, Francis C. M. Lau, Sorav Bansal, Lin Zhong:
Proceedings of the 7th ACM SIGOPS Asia-Pacific Workshop on Systems, APSys '16, Hong Kong, China, August 4-5, 2016. ACM 2016, ISBN 978-1-4503-4265-0 [contents] - 2015
- [c19]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: 17-26 - [c18]Tarun Beri, Sorav Bansal, Subodh Kumar:
A Scheduling and Runtime Framework for a Cluster of Heterogeneous Machines with Multiple Accelerators. IPDPS 2015: 146-155 - [c17]Shehbaz Jaffer, Piyus Kedia, Sorav Bansal:
Improving Remote Desktopping Through Adaptive Record/Replay. VEE 2015: 161-172 - [i5]Piyus Kedia, Sorav Bansal:
A Software-only Mechanism for Device Passthrough and Sharing. CoRR abs/1508.06367 (2015) - 2013
- [c16]Aashish Mittal, Dushyant Bansal, Sorav Bansal, Varun Sethi:
Efficient virtualization on embedded power architecture® platforms. ASPLOS 2013: 445-458 - [c15]Sandeep Bindal, Sorav Bansal, Akash Lal:
Variable and thread bounding for systematic testing of multithreaded programs. ISSTA 2013: 145-155 - [c14]Piyus Kedia, Sorav Bansal:
Fast dynamic binary translation for the kernel. SOSP 2013: 101-115 - 2012
- [i4]Sandeep Bindal, Sorav Bansal, Akash Lal:
Variable and Thread Bounding for Systematic Testing of Multithreaded Programs. CoRR abs/1207.2544 (2012) - [i3]Piyus Kedia, Sorav Bansal, Deepak Deshpande, Sreekanth Iyer:
Building Resilient Cloud Over Unreliable Commodity Infrastructure. CoRR abs/1208.6406 (2012) - 2011
- [c13]Swati Sharma, Huzur Saran, Sorav Bansal:
An Empirical study of clock skew behavior in modern mobile and hand-held devices. COMSNETS 2011: 1-4 - [c12]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: 16-25
2000 – 2009
- 2008
- [c11]Sorav Bansal, Alex Aiken:
Binary Translation Using Peephole Superoptimizers. OSDI 2008: 177-192 - 2006
- [j2]Sorav Bansal, Rajeev Shorey, Rajeev Gupta, Archan Misra:
Energy Efficiency and Capacity for TCP Traffic in Multi-Hop Wireless Networks. Wirel. Networks 12(1): 5-21 (2006) - [c10]Sorav Bansal, Alex Aiken:
Automatic generation of peephole superoptimizers. ASPLOS 2006: 394-403 - [i2]Sorav Bansal:
Checkbochs: Use Hardware to Check Software. CoRR abs/cs/0601068 (2006) - 2004
- [c9]Arup Acharya, Archan Misra, Sorav Bansal:
Design and Analysis of a Cooperative Medium Access Scheme for Wireless Mesh Networks. BROADNETS 2004: 621-631 - [c8]Sorav Bansal, Dharmendra S. Modha:
CAR: Clock with Adaptive Replacement. FAST 2004: 187-200 - [c7]Sorav Bansal, Rajeev Shorey, Arzad Alam Kherani:
Performance of TCP and UDP protocols in multi-hop multi-rate wireless networks. WCNC 2004: 231-236 - 2003
- [j1]Arup Acharya, Archan Misra, Sorav Bansal:
High-performance architectures for IP-based multihop 802.11 networks. IEEE Wirel. Commun. 10(5): 22-28 (2003) - [c6]Arup Acharya, Archan Misra, Sorav Bansal:
MACA-P: A MAC for Concurrent Transmissions in Multi-Hop Wireless Networks. PerCom 2003: 505-508 - [c5]Sorav Bansal, Rajeev Shorey, Archan Misra:
Comparing the routing energy overheads of ad-hoc routing protocols. WCNC 2003: 1155-1161 - [i1]Sorav Bansal, Mary Baker:
Observation-based Cooperation Enforcement in Ad Hoc Networks. CoRR cs.NI/0307012 (2003) - 2002
- [c4]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: 133-137 - [c3]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: 210-219 - [c2]Arup Acharya, Archan Misra, Sorav Bansal:
A label-switching packet forwarding architecture for multi-hop wireless LANs. WOWMOM 2002: 33-40 - 2001
- [c1]Eugene Asarin, Sorav Bansal, Bernard Espiau, Thao Dang, Oded Maler:
On Hybrid Control of Under-Actuated Mechanical Systems. HSCC 2001: 77-88
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:05 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
