Publication Synthesis of Loop-Free Programs Sumit Gulwani, Susmit Jha, Ashish Tiwari, Ramarathnam Venkatesan PLDI’11, June 4-8, 2011, San Jose, California, USA | June 2011 Project
Publication Synthesizing Geometry Constructions Sumit Gulwani, Vijay Anand Korthikanti, Ashish Tiwari PLDI’11, June 4-8, 2011, San Jose, California, USA | June 2011 Project
Publication Path-based Inductive Synthesis for Program Inversion Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri, Jeffrey S. Foster PLDI’11, June 4-8, 2011, San Jose, California, USA | June 2011 Project
Publication Learning Time-Based Presence Probabilities John Krumm, A.J. Brush Pervasive 2011 | June 2011 Project
Publication On the Sum of Square Roots of Polynomials and related problems Neeraj Kayal, Chandan Saha Conference on Computational Complexity (CCC) | June 2011 Invited to ToCT journal
Publication Stochastic Variability in Sponsored Search Auctions: Observations and Models Furcy Pin, Peter Key EC11: 12th ACM Conference on Electronic Commerce | June 2011
Publication Detail-free, Posted-Price Mechanisms for Limited Supply Online Auctions Moshe Babaioff, Shaddin Dughmi, Aleksandrs Slivkins Workshop on Bayesian Mechanism Design | June 2011
Publication On Approximating the Entropy of Polynomial Mappings Zeev Dvir, Dan Gutfreund, Guy Rothblum, Salil Vadhan Proceedings of The Second Symposium on Innovations in Computer Science (ICS 2011), ICS | June 2011 ICS
Publication Online Algorithms with Stochastic Input Nikhil Devanur June 2011, Vol 10: pp. 40-49 Published by ACM, June 2011 | In ACM SIGEcom Exchanges edition edition In ACM SIGEcom Exchanges
Publication Optimal Multi-Period Pricing with Service Guarantees Christian Borgs, Jennifer Chayes, Ozan Candogan, Ilan Lobel, Hamid Nazer Zadeh MSR-TR-2011-77 | June 2011