公開日 Automated partitioning design in parallel database systems Rimma Nehme, Nicolas Bruno International Conference on Management of Data | June 2011
公開日 Constant round non-malleable protocols using one way functions Vipul Goyal STOC ’11 Proceedings of the forty-third annual ACM symposium on Theory of computing | June 2011
公開日 Dueling Algorithms Nicole Immorlica, Adam Tauman Kalai, Brendan Lucier, Ankur Moitra, Andrew Postlewaite, Moshe Tennenholtz MSR-TR-2016-1045 | June 2011 ISBN: 978-1-4503-0691-1 SIAM Workshop on Algorithms Engineering and Experimentation (ALENEX 06)
公開日 Euclid Writes an Algorithm: A Fairytale Leslie Lamport International Journal of Software and Informatics 5, 1-2 (2011) | June 2011, 巻1: pp. 7-20
公開日 GSP Auctions with Correlated Types Brendan Lucier, Renato Paes Leme ACM Conference on Electronic Commerce 2011 | June 2011 ISBN: 978-1-4503-0261-6
公開日 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 プロジェクト
公開日 Learning Time-Based Presence Probabilities John Krumm, A.J. Brush Pervasive 2011 | 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