Sorav Bansal's Publications

(by area, in reverse chronological order)


  1. P. Kedia, S. Bansal, "A Software-only Mechanism for Device Passthrough and Sharing". Technical report, August 2015. [ PDF ]

  2. S. Jaffer, P. Kedia, S. Bansal, "Improving Remote Desktopping through Adaptive Record/Replay", ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environment (VEE 2015), March 2015. [ PDF ]

  3. T. Beri, S. Bansal, S. Kumar, "A scheduling and runtime framework for a cluster of heterogeneous machines with multiple accelerators", to appear in the Proceedings of the IEEE International Parallel and Distributed Processing Symposium (IPDPS 2015), May 2015. [ PDF ]

  4. P. Kedia, S. Bansal, "Fast Dynamic Binary Translation for the Kernel", In Proceedings of the ACM Symposium on Operating Systems Principles (SOSP 2013), November 2013. [ PDF, talk-PDF, talk-PPTX, talk-youtube ].

  5. A. Mittal, D. Bansal, S. Bansal, V. Sethi, "Efficient Virtualization on Embedded Power Architecture Platforms", In Proceedings of the Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2013), March 2013. [ PDF, talk-PDF, talk-PPTX ]

  6. P. Kedia, S. Bansal, D. Deshpande, S. Iyer, "Building Resilient Cloud Over Unreliable Commodity Infrastructure", IEEE Cloud Computing for Emerging Markets (CCEM 2012), Bangalore, India. October 2012. [ PDF ]

Peephole Superoptimization

  1. S. Bansal, A. Aiken, Binary Translation Using Peephole Translation Rules, US Patent 7712092, May 2010. [ PDF, Link ]

  2. S. Bansal, A. Aiken, "Binary Translation Using Peephole Superoptimizers," In Proceedings of Symposium on Operating Systems Design and Implementation (OSDI 2008), December 2008. [ PDF, PS, HTML, FAQ, slides, audio ]

  3. S. Bansal, "Peephole Superoptimization", Ph.D. Thesis, Stanford University, June 2008. [ PDF ]

  4. S. Bansal, A. Aiken, "Automatic Generation of Peephole Superoptimizers," In Proceedings of the Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2006), October 2006. [ PDF, PS, slides ]

Caching Algorithms in Operating/Storage Systems

  1. S. Bansal, P. McKenney, D. Modha, "Apparatus, System, and Method for Dynamically Allocating Main Memory among a Plurality of Applications", US Patent 07487320, Feb 2009. [ PDF, Link ]

  2. S. Bansal, D. Modha, "Method and System of CLOCK with Adaptive Cache Replacement and Temporal Filtering", US Patent 2006/0069876, March 2006. [ PDF, Link ]

  3. S. Bansal, D. Modha, "CAR: Clock with Adaptive Replacement," presented at File and Storage Technologies (FAST 2004), April 2004. [ PDF, PDF of Presentation ]

Parallel Computing/Concurrency Testing

  1. Variable and Thread Bounding for Systematic Testing of Multithreaded Programs, In Proceedings of the International Symposium in Software Testing and Analysis (ISSTA 2013), July 2013. [ PDF, PDF of Presentation ]

  2. S. Bansal, "Checkbochs: Use Hardware to Check Software," Technical Report, Jan 2006. [ PDF, PS, Email Archives ]

Multi-hop Wireless Networks

  1. S. Bansal, R. Shorey, R. Gupta, A. Misra, "Energy Efficiency and Capacity of TCP Traffic in Multi-Hop Wireless Networks," ACM/Kluwer Journal of Wireless Networks, Feb. 2006. [ PDF, SpringerLink ]

  2. A. Acharya, A. Misra, S. Bansal, "Design and Analysis of a Cooperative Medium Access Scheme for Wireless Mesh Networks," presented at BROADNETS 2004, October 2004. [ External Link ]

  3. A. Acharya, A. Misra, S. Bansal, "High-Performance Architectures for IP-based Multi-hop 802.11 Networks," IEEE Wireless Communications Magazine (Special Issue on Merging IP and Wireless Networks), October 2003. [ PDF ]

  4. A. Acharya, A. Misra, S. Bansal, "MACA-P: A MAC for Concurrent Transmissions in Multihop Networks," presented at PERCOM 2003, March 2003. [ PDF ]

  5. S. Bansal, R. Shorey, A. Misra, "Comparing the Routing Energy Overheads of Ad-Hoc Routing Protocols," presented at WCNC 2003, March 2003. [ PDF ]

  6. S. Bansal, M. Baker, "Observation-based Cooperation Enforcement in Ad Hoc Networks," Stanford Technical Report, July 2003. [ PDF ]

  7. S. Bansal, R. Shorey, S. Chugh, A. Goel, K. Kumar, A. Misra, "The Capacity of Multi-Hop Wireless Networks with TCP Regulated Traffic," presented at GLOBECOM 2002, November 2002. [ PDF ]

  8. A. Acharya, A. Misra, S. Bansal, "A Label-Switching Packet Forwarding Architecture for Multi-Hop Wireless LANs," presented at WoWMoM 2002, September 2002. [ PDF, PS ]. Won Best Paper Award

  9. I. Ali, S. Bansal, R. Gupta, A. Misra, R. Shorey, A. Razdan, "Energy Efficiency and Throughput for TCP Traffic in Multi-Hop Wireless Networks," presented at INFOCOM 2002. [ PDF ]

  10. A. Acharya, A. Misra, S. Bansal, "Supporting Concurrent Transmissions in Multi-Hop Wireless Networks," presented at New York Metro-Area Networking Workshop 2002. [ PDF ]

Others (area mentioned in brackets)

  1. (System and Network Security) S. Sharma, H. Saran, S. Bansal, "An Empiricial Study of Clock-Skew Behaviour in Modern Mobile and Hand-held Devices," presented at COMSNETS 2011. [ PDF ]

  2. (Hybrid Systems) E. Asarin, S. Bansal, B. Espiau, T. Dang, O. Maler, "On Hybrid Control of Under-actuated Mechanical Systems," presented at HSCC 2001. [ PDF ]

  3. (Algorithms for Computer Graphics) N. Jain, S. Bansal, S. Kapoor, "Efficient Object BSP Trees," presented at ICVGIP 2000. [ PDF ]. my first paper :-)