Publication Slicing Probabilistic Programs Chung-Kil Hur, Aditya Nori, Sriram Rajamani, Selva Samuel Programming Language Design and Implementation (PLDI) | June 2014 Project
Publication Large-scale Multi-label Learning with Missing Labels Hsiang-Fu Yu, Prateek Jain, Purushottam Kar, Inderjit Dhillon Proceedings of the 31st International Conference on Machine Learning (ICML) | June 2014 Proceedings of the 31st International Conference on Machine Learning (ICML)
Publication Ethnography in Parallel Jacki O'Neill, Rinku Gajera COOP 2014-Proceedings of the 11th International Conference on the Design of Cooperative Systems | May 2014 COOP 2014-Proceedings of the 11th International Conference on the Design of Cooperative Systems
Publication Cluster Before You Hallucinate: Approximating Node-capacitated Network Design and Energy Efficient Routing Ravishankar Krishnaswamy, Viswanath Nagarajan, Kirk Pruhs, Cliff Stein Proceedings of the 46th Annual ACM Symposium on Theory of Computing | May 2014 Proceedings of the 46th Annual ACM Symposium on Theory of Computing ISBN: 978-1-4503-2710-7
Publication MUX: Algorithm Selection for Software Model Checkers Varun Tulsian, Aditya Kanade, Rahul Kumar, Akash Lal, Aditya Nori Mining Software Repositories (MSR) | May 2014
Publication Bootstrapping Privacy Compliance in Big Data Systems Shayak Sen, Saikat Guha, Anupam Dutta, Sriram Rajamani, Janice Tsai, Jeannette Wing Proceedings of the 35th IEEE Symposium on Security & Privacy (Oakland) | May 2014 Video
Publication Probabilistic Programming Andy Gordon, Thomas A. Henzinger, Aditya Nori, Sriram Rajamani International Conference on Software Engineering (ICSE Future of Software Engineering) | May 2014 Project
Publication Adtributor: Revenue Debugging in Advertising Systems Ranjita Bhagwan, Rahul Kumar, Ramachandran Ramjee, George Varghese, Surjyakanta Mohapatra, Hemanth Manoharan, Piyush Shah Symposium on Networked Systems Design and Implemenentation (NSDI) | April 2014
Publication Checking Linearizability of Encapsulated Extended Operations Oren Zomer, Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, G. Ramalingam April 2014
Publication Understanding the Linguistic Structure and Evolution of Web Search Queries Rishiraj Saha Roy, M. Dastagiri Reddy, Niloy Ganguly, Monojit Choudhury April 2014