출판 Proofs from Tests Nels Beckman, Aditya Nori, Sriram Rajamani, Robert Simmons MSR-TR-2008-17 | January 2008
출판 Bayesian Coalitional Games Samuel Ieong, Yoav Shoham Proceedings of National Conference on Artificial Intelligence (AAAI) | January 2008
출판 Rapidly Deploying Grammar-Based Speech Applications with Active Learning and Back-off Grammars Tim Paek, Sudeep Gandhe, Max Chickering In Proceedings of the 9th SIGDIAL Workshop on Discourse and Dialogue | January 2008
출판 Universally Composable Multi-party Computation with an Unreliable Common Reference String Vipul Goyal, Jonathan Katz Theory of Cryptography. TCC 2008. Lecture Notes in Computer Science | January 2008
출판 Ranking Abstractions Aziem Chawdhary, Byron Cook, Sumit Gulwani, Mooly Sagiv, Hongseok Yang Programming Languages and Systems. ESOP 2008. Lecture Notes in Computer Science. | January 2008
출판 Constraint-Based Approach for Analysis of Hybrid Systems Sumit Gulwani, Ashish Tiwari Computer Aided Verification (CAV) | January 2008 프로젝트
출판 Evaluation Measures for Preference Judgments Ben Carterette, Paul Bennett Poster-Paper in Proceedings of the 31st Annual International ACM SIGIR Conference on Research and Development in Information Retrieval | January 2008 Poster-Paper in Proceedings of the 31st Annual International ACM SIGIR Conference on Research and Development in Information Retrieval
출판 Performance of Random Medium Access – An asymptotic approach Charles Bordenave, David McDonald, Alexandre Proutiere ACM Sigmetrics | January 2008
출판 On the Stability of Web Crawling and Web Search Reid Anderson, Christian Borgs, Jennifer Chayes, John Hopcroft, Vahab Mirrokni, Shang-Hua Teng ISAAC ’08: Proceedings of the 19th International Symposium on Algorithms and Computation | January 2008 ISAAC '08: Proceedings of the 19th International Symposium on Algorithms and Computation ISBN: 978-3-540-92181-3
출판 Optimizing Compilation with the Value State Dependence Graph December 2007 박사학위논문: University of Cambridge | December 2007