Publication Simple Linear Time Approximation Algorithm for Betweenness Yury Makarychev MSR-TR-2009-74 | June 2009
Publication Reliable Agnostic Learning Varun Kanade, Adam Tauman Kalai, Yishay Mansour Proceedings of the 22nd Annual Conference on Learning Theory (COLT), 2009 | June 2009
Publication The Isotron Algorithm: High-Dimensional Isotonic Regression Adam Tauman Kalai, Ravi Sastry Proceedings of the 22nd Annual Conference on Learning Theory (COLT), 2009 | June 2009
Publication Program Verification using Templates over Predicate Abstraction Saurabh Srivastava, Sumit Gulwani PLDI’09, June 15-20, 2009, Dublin, Ireland | June 2009 Project
Publication Efficient Influence Maximization in Social Networks Wei Chen, Yajun Wang, Siyu Yang Proceedings of the 15th ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD’2009) | June 2009
Publication Vox Populi: Collecting High-Quality Labels from a Crowd Ofer Dekel, Ohad Shamir Proceedings of the Twenty-Second Annual Conference on Learning Theory | June 2009
Publication Privacy Integrated Queries Frank McSherry Proceedings of the 2009 ACM SIGMOD International Conference on Management of Data (SIGMOD) | June 2009 For more information, visit the project page: http://research.microsoft.com/PINQ. Project Project
Publication Differentially Private Recommender Systems: Building Privacy into the Netflix Prize Contenders Ilya Mironov, Frank McSherry Proceedings of the 15th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD) | June 2009 Project
Publication Symbolic Bounded Model Checking of Abstract State Machines Margus Veanes, Nikolaj Bjørner, Yuri Gurevich, Wolfram Schulte Int J Software Informatics | June 2009, pp. 149-170 Project
Publication Merlin: Specification Inference for Explicit Information Flow Problems Ben Livshits, Aditya Nori, Sriram Rajamani, Anindya Banerjee ACM SIGPLAN 2009 Conference on Programming Language Design and Implementation (PLDI) | June 2009
