Publication Deterring cheating in online environments Henry Corrigan-Gibbs, Nakull Gupta, Curtis Northcutt, Ed Cutrell, Bill Thies ACM Trans. Comput.-Hum. Interact. (TOCHI) | September 2015
Publication The Whodunit Challenge: Mobilizing the Crowd in India Rajan Vaish, Edward Cutrell, William Thies, Bill Thies, Ed Cutrell September 2015
Publication Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances Ravi Mangal, Xin Zhang, Mayur Naik, Aditya Nori SAT ’15: International Conference on Theory and Applications of Satisfiability Testing | September 2015
Publication Secure Computation Interfaces Manuel Costa, Sriram Rajamani, Mark Russinovich, Kapil Vaswani, Orion Hodson, Marcus Peinado MSR-TR-2015-67 | August 2015 Published by Microsoft
Publication Learning Refinement Types He Zhu, Aditya Nori, Suresh Jagannathan International Conference on Functional Programming (ICFP) | August 2015 International Conference on Functional Programming (ICFP)
Publication Interpreting Advertiser Intent in Sponsored Search Bhanu Vattikonda, Santhosh Kodipaka, Hongyan Zhou, Vacha Dave, Saikat Guha, Alex C. Scoeren Proceedings of the 21st ACM Conference on Knowledge Discovery and Data Mining (KDD) | August 2015 Proceedings of the 21st ACM Conference on Knowledge Discovery and Data Mining (KDD)
Publication A User-Guided Approach to Program Analysis Ravi Mangal, Xin Zhang, Mayur Naik, Aditya Nori Foundations of Software Engineering (FSE) | August 2015 Foundations of Software Engineering (FSE) – ACM SIGSOFT Distinguished Paper ACM SIGSOFT Distinguished Paper
Publication Angelic Verification: Precise Verification Modulo Unknowns Shuvendu Lahiri, Akash Lal, Yi Li, Ankush Das Computer Aided Verification (CAV) | July 2015 Project Project
Publication Surrogate Functions for Maximizing Precision at the Top Purushottam Kar, Harikrishna Narasimhan, Prateek Jain Proceedings of the 32nd International Conference on Machine Learning (ICML) | July 2015
Publication Optimizing Non-decomposable Performance Measures: A Tale of Two Classes , Prateek Jain Proceedings of the 32nd International Conference on Machine Learning (ICML) | July 2015
