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 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
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 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 A Rounding by Sampling Approach to the Minimum Size k-Arc Connected Subgraph Problem Bundit Laekhanukit, Shayan Oveis Gharan, Mohit Singh Automata, Languages, and Programming – 39th International Colloquium, ICALP (1) 2012 | January 2012
Publication On Black-Box Reductions between Predicate Encryption Schemes Vipul Goyal, Virendra Kumar, Satya Lokam, Mohammad Mahmoody Theory of Cryptography. TCC 2012. Lecture Notes in Computer Science | January 2012
Publication Concurrently Secure Computation in Constant Rounds Sanjam Garg, Vipul Goyal, Abhishek Jain, Amit Sahai January 2012 Advances in Cryptology – EUROCRYPT 2012. EUROCRYPT 2012. Lecture Notes in Computer Science