According to our database1, Sorav Bansal authored at least 34 papers between 2001 and 2020.
Legend:Book In proceedings Article PhD thesis Other
Proc. ACM Program. Lang., 2020
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020
Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 2019
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
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
Proceedings of the 8th Asia-Pacific Workshop on Systems, Mumbai, India, September 2, 2017, 2017
Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017
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
Proceedings of the ACM SIGOPS 24th Symposium on Operating Systems Principles, 2013
Proceedings of the International Symposium on Software Testing and Analysis, 2013
Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013
Proceedings of the Databases in Networked Information Systems - 7th International Workshop, 2011
Proceedings of the Third International Conference on Communication Systems and Networks, 2011
Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008
Wirel. Networks, 2006
Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, 2006
Proceedings of the 2004 IEEE Wireless Communications and Networking Conference , 2004
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
IEEE Wirel. Commun., 2003
Proceedings of the 2003 IEEE Wireless Communications and Networking, 2003
Proceedings of the First IEEE International Conference on Pervasive Computing and Communications (PerCom'03), 2003
Proceedings of the Fifth International Workshop on Wireless Mobile Multimedia, 2002
Proceedings of the Proceedings IEEE INFOCOM 2002, 2002
Proceedings of the Global Telecommunications Conference, 2002
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001