Publication Beck’s Three Permutations Conjecture: A Counterexample and Some Consequences 53rd Annual IEEE Symposium on Foundations of Computer Science, FOCS 2012, New Brunswick, NJ, USA, October 20-23, 2012 | January 2012
Publication Optimal Discovery With Probabilistic Expert Advice Sébastien Bubeck, Damien Ernst, Aurélien Garivier 51st IEEE Conference on Decision and Control (CDC) | January 2012
Publication Synthesis from Examples: Interaction Models and Algorithms Sumit Gulwani 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing | January 2012 Project
Publication Self-Certification: Bootstrapping Certified Typecheckers in F* with Coq Pierre-Yves Strub, Nikhil Swamy, Cédric Fournet, Juan Chen In Proceedings of the ACM Symposium on Principles on Programming Languages | January 2012 To appear Project
Publication Commensal cuckoo: Secure group partitioning for large-scale services Siddhartha Sen, Michael Freedman Operating Systems Review | January 2012, Vol 46 7 pages
Publication Quantum Algorithm for Data Fitting Nathan Wiebe, Daniel Braun, Seth Lloyd Physical Review Letters | January 2012, Vol 109(5)
Publication Online Task Assignment in Crowdsourcing Markets Chien-Ju Ho, Jennifer Wortman Vaughan Twenty-Sixth AAAI Conference on Artificial Intelligence (AAAI) | January 2012
Publication Population change in and around protected areas Lucas Joppa, L.N., Joppa Ecological Anthropology | January 2012
Publication Optimal Parameters for Locality-Sensitive Hashing Malcolm Slaney, Yury Lifshits, Junfeng He Proceedings of the IEEE | January 2012