Sorav Bansal's Publications

(by area, in reverse chronological order)

Virtualization/Cloud

  1. A. Mittal, D. Bansal, S. Bansal, V. Sethi, "Efficient Virtualization on Embedded Power Architecture Platforms", ASPLOS 2013. [ PDF, PDF of Presentation ]

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

  3. A. Gupta, J. Kumar, D. Mathew, S. Bansal, S. Banerjee, H. Saran, "Design and Implementation of the Workflow of an Academic Cloud," Databases in Networked Information Systems 2011, University of Aizu, Japan, 2011. [ PDF, demo ]

  4. S. Bansal, "Looking Inside the Virtualization Layer for Performance, Security, and Software Fault Tolerance," Microsoft Research Cloud Futures, Redmond, April 2010. [ PDF, slides ]

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), 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), 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 2006/0129782, June 2006. [ 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), April 2004. [ PDF, PDF of Presentation ]

Parallel Computing/Concurrency Testing

  1. Variable and Thread Bounding for Systematic Testing of Multithreaded Programs, ISSTA 2013. [ PDF ]
  2. S. Bansal, "Checkbochs: Use Hardware to Check Software," Technical Report, Jan 2006. [ PDF, PS, Email Archives ]

  3. N. Aron, S. Babu, S. Bansal, A. Chodisetti, "Parallelizing TCP/IP for a Chip Multiprocessor," Stanford Technical Report, July 2003.

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 :-)