Sanjay Bhansali

Google Publications

Previous Publications


    Framework for Instruction-level Tracing and Analysis of Program Executions

    Sanjay Bhansali, Wen-Ke Chen, Stuart de Jong, Andrew Edwards, Ron Murray, Milenko Drinic, Darek Mihocka, Joe Chau

    Proceedings of the 2nd international conference on Virtual execution environments, ACM (2006), pp. 154-163


    Profile-guided proactive garbage collection for locality optimization

    Sanjay Bhansali, Wen-Ke Chen, Trishul M. Chilimbi

    Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation, ACM, pp. 332-340


    Automated Software Synthesis: An Application in Mechanical CAD

    Sanjay Bhansali, Tim. J. Hoar

    IEEE Transactions on Software Engineering, vol. 24(10) (1998), pp. 848-862


    A Principled Approach Towards Symbolic Geometric Constraint Satisfaction

    Sanjay Bhansali, Glenn A. Kramer, Tim J. Hoar

    Journal of Artificial Intelligence Research, vol. 4 (1996), pp. 419-443


    Synthesis of UNIX Programs Using Derivational Analogy

    Sanjay Bhansali, Mehdi T. Harandi

    Machine Learning, vol. 10 (1993), pp. 7-55