Sorav Bansal

According to our database1, Sorav Bansal authored at least 36 papers between 2001 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
StaticPersist: Compiler Support for PMEM Programming.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2023

2022
Automatic Generation of Debug Headers through BlackBox Equivalence Checking.
Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2022

2020
Counterexample-guided correlation algorithm for translation validation.
Proc. ACM Program. Lang., 2020

OOElala: order-of-evaluation based alias analysis for compiler optimization.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2019
HawkEye: Efficient Fine-grained OS Support for Huge Pages.
Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 2019

2018
Automatic Verification of Intermittent Systems.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

Effective Use of SMT Solvers for Program Equivalence Checking Through Invariant-Sketching and Query-Decomposition.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2018, 2018

2017
The Unicorn Runtime: Efficient Distributed Shared Memory Programming for Hybrid CPU-GPU Clusters.
IEEE Trans. Parallel Distributed Syst., 2017

Modeling Undefined Behaviour Semantics for Checking Equivalence Across Compiler Optimizations.
Proceedings of the Hardware and Software: Verification and Testing, 2017

A Preliminary Performance Model for Optimizing Software Packet Processing Pipelines.
Proceedings of the 8th Asia-Pacific Workshop on Systems, Mumbai, India, September 2, 2017, 2017

Black-Box Equivalence Checking Across Compiler Optimizations.
Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

2015
A Software-only Mechanism for Device Passthrough and Sharing.
CoRR, 2015

Improving Remote Desktopping Through Adaptive Record/Replay.
Proceedings of the 11th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2015

ProSteal: A Proactive Work Stealer for Bulk Synchronous Tasks Distributed on a Cluster of Heterogeneous Machines with Multiple Accelerators.
Proceedings of the 2015 IEEE International Parallel and Distributed Processing Symposium Workshop, 2015

A Scheduling and Runtime Framework for a Cluster of Heterogeneous Machines with Multiple Accelerators.
Proceedings of the 2015 IEEE International Parallel and Distributed Processing Symposium, 2015

2013
Fast dynamic binary translation for the kernel.
Proceedings of the ACM SIGOPS 24th Symposium on Operating Systems Principles, 2013

Variable and thread bounding for systematic testing of multithreaded programs.
Proceedings of the International Symposium on Software Testing and Analysis, 2013

Efficient virtualization on embedded power architecture® platforms.
Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013

2012
Building Resilient Cloud Over Unreliable Commodity Infrastructure
CoRR, 2012

2011
Design and Implementation of the Workflow of an Academic Cloud.
Proceedings of the Databases in Networked Information Systems - 7th International Workshop, 2011

An Empirical study of clock skew behavior in modern mobile and hand-held devices.
Proceedings of the Third International Conference on Communication Systems and Networks, 2011

2008
Binary Translation Using Peephole Superoptimizers.
Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

2006
Energy Efficiency and Capacity for TCP Traffic in Multi-Hop Wireless Networks.
Wirel. Networks, 2006

Checkbochs: Use Hardware to Check Software
CoRR, 2006

Automatic generation of peephole superoptimizers.
Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, 2006

2004
Performance of TCP and UDP protocols in multi-hop multi-rate wireless networks.
Proceedings of the 2004 IEEE Wireless Communications and Networking Conference , 2004

CAR: Clock with Adaptive Replacement.
Proceedings of the FAST '04 Conference on File and Storage Technologies, March 31, 2004

Design and Analysis of a Cooperative Medium Access Scheme for Wireless Mesh Networks.
Proceedings of the 1st International Conference on Broadband Networks (BROADNETS 2004), 2004

2003
High-performance architectures for IP-based multihop 802.11 networks.
IEEE Wirel. Commun., 2003

Observation-based Cooperation Enforcement in Ad Hoc Networks
CoRR, 2003

Comparing the routing energy overheads of ad-hoc routing protocols.
Proceedings of the 2003 IEEE Wireless Communications and Networking, 2003

MACA-P: A MAC for Concurrent Transmissions in Multi-Hop Wireless Networks.
Proceedings of the First IEEE International Conference on Pervasive Computing and Communications (PerCom'03), 2003

2002
A label-switching packet forwarding architecture for multi-hop wireless LANs.
Proceedings of the Fifth International Workshop on Wireless Mobile Multimedia, 2002

Energy Efficiency and Throughput for TCP Traffic in Multi-Hop Wireless Networks.
Proceedings of the Proceedings IEEE INFOCOM 2002, 2002

The capacity of multi-hop wireless networks with TCP regulated traffic.
Proceedings of the Global Telecommunications Conference, 2002

2001
On Hybrid Control of Under-Actuated Mechanical Systems.
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001


  Loading...