Publications

 

Debug Advisor: A recommender system for debugging 

  • B. Ashok, Joseph Joy, Hongkang Liang, Sriram K. Rajamani, Gopal Srinivasa, Vipindeep Vangala. ACM FSE 2009: 7th joint meeting of the European Software Engineering Conference (ESEC) and ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE) August 2009

 

Crosslingual Location Search

  • Tanuja Joshi, Joseph Joy, Tobias Kellner, Udayan Khurana, A. Kumaran, Vibhuti Sengar. ACM SIGIR '08: 31st Annual International ACM SIGIR Conference, July 2008

 

DirCast: A Practical and Efficient Wi-Fi Multicast System

  • Ranveer Chandra, Sandeep Karanth, Vishnu Navda, Jitu Padhye, Ramachandran Ramjee, Lenin Ravindranath. 17th IEEE International Conference on Network Protocols (ICNP 2009), Oct 2009

 

Robust Location Search from text queries

  • Vibhuti Sengar, Tanuja Joshi, Joseph Joy, Samarth Prakash, Kentaro Toyama. ACM GIS '07: 15th ACM International Symposium on Advances in Geographic Information Systems, November 2007

 

Programming Asynchronous layers with CLARITY

  • Prakash Chandrashekaran, Chris Conway, Joseph Joy and Sriram Rajamani. FSE '07: 15th Annual Symposium on Foundations of Software Engineering, September 2007

 

Synergy - A new algorithm for property checking

  • Bhargav S. Gulavani, Thomas A. Henzinger, Yamini Kannan, Aditya Nori and Sriram Rajamani. FSE '06: 14th Annual Symposium on Foundations of Software Engineering, November 2006

 

Copyright notice:

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without explicit permission of the copyright holder