출판 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 프로젝트
출판 Synthesizing Geometry Constructions Sumit Gulwani, Vijay Anand Korthikanti, Ashish Tiwari PLDI’11, June 4-8, 2011, San Jose, California, USA | June 2011 프로젝트
출판 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 프로젝트
출판 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
출판 Stochastic Variability in Sponsored Search Auctions: Observations and Models Furcy Pin, Peter Key EC11: 12th ACM Conference on Electronic Commerce | June 2011
출판 Detail-free, Posted-Price Mechanisms for Limited Supply Online Auctions Moshe Babaioff, Shaddin Dughmi, Aleksandrs Slivkins Workshop on Bayesian Mechanism Design | June 2011
출판 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
출판 Online Algorithms with Stochastic Input Nikhil Devanur June 2011, 제 10 권: pp. 40-49 글쓴이 ACM, June 2011 | In ACM SIGEcom Exchanges 에디션 에디션 In ACM SIGEcom Exchanges
출판 Optimal Multi-Period Pricing with Service Guarantees Christian Borgs, Jennifer Chayes, Ozan Candogan, Ilan Lobel, Hamid Nazer Zadeh MSR-TR-2011-77 | June 2011