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
Publication Optimizing Mobile Deployments Ariel Schwartz, Mohini Bhavsar, Ed Cutrell, Jonathan Donner, Melissa Densmore MSR-TR-2014-45 | April 2014
Publication Achieving Privacy in Verifiable Computation with Multiple Servers – Without FHE and without Pre-processing Prabhanjan Ananth, Nishanth Chandran, Vipul Goyal, Bhavana Kanukurthi, Rafail Ostrovsky Public-Key Cryptography – PKC 2014 – 17th International Conference on Practice and Theory in Public-Key Cryptography, Buenos Aires, Argentina | March 2014 ISBN: 978-3-642-54630-3
