출판 Art of Invariant Generation applied to Symbolic Bound Computation (Lecture Series) Sumit Gulwani Oregon Summer School | July 2009 동영상 동영상 동영상 프로젝트
출판 Contextual Bandits with Similarity Information Aleksandrs Slivkins MSR-TR-2009-191 | July 2009 Technical report on arxiv.org (http://arxiv.org/abs/0907.3986). 프로젝트
출판 Maximum Bipartite Flow in Networks with Adaptive Channel Width Yossi Azar, Aleksander Madry, Thomas Moscibroda, Debmalya Panigrahi, Aravind Srinivasan 36th International Colloquium on Automata, Languages and Programming (ICALP) | July 2009
출판 Equilibria in Congestion Game Models: Existence, Complexity and Efficiency Vasilis Syrgkanis July 2009 박사학위논문: Cornell University Library | July 2009
출판 Crowdsourcing and All-Pay Auctions Dominic DiPalantino, Milan Vojnovic ACM EC ’09, July 6-1, 2009, Stanford, CA | July 2009 프로젝트
출판 Good Learners for Evil Teachers Ofer Dekel, Ohad Shamir Proceedings of the Twenty-Sixth International Conference on Machine Learning | July 2009
출판 On the $alpha$-Sensitivity of Nash Equilibria in PageRank-Based Network Reputation Games Wei Chen, Shang-Hua Teng, Yajun Wang, Yuan Zhou In Proceedings of the 3rd International Frontiers of Algorithmics Workshop (FAW’2009), Hefei, China, June 2009. | June 2009
출판 Bounded Cost Algorithms for Multivalued Consensus using Binary Consensus Instances Jialin Zhang, Wei Chen Information Processing Letters, Elsevier, (109), 2009, pp. 1005 -1009. | June 2009
출판 VS3: SMT Solvers for Program Verification Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster CAV ’09 Proceedings of the 21st International Conference on Computer Aided Verification | June 2009 프로젝트
출판 SPEED: Symbolic Complexity Bound Analysis Sumit Gulwani Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 – July 2, 2009 | June 2009 프로젝트