출판 An abstract interpretation-based static analyzer for modular analysis and verification of Java classes Francesco Logozzo Proceedings of the 8th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI’07) | January 2007
출판 Exploiting code search engines to improve programmer productivity Suresh Thummalapenta OOPSLA ’07: Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion | January 2007 ISBN: 978-1-59593-865-7
출판 Parseweb: a programmer assistant for reusing open source code on the web Suresh Thummalapenta (suthumma), Tao Xie ASE ’07: Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering | January 2007 ISBN: 978-1-59593-882-4
출판 Overcoming Memory Latency And Enabling Parallelism With The Greedy CAM Architecture Ray Bittner MSR-TR-2007-174 | January 2007 Proc. of IEEE Infocom 2006
출판 A Verifying Compiler for a Multi-Threaded Object-Oriented Language Rustan Leino, Wolfram Schulte Software Systems Reliability and Security: Volume 9 NATO Security through Science Series: Information and Communication Security | 글쓴이 IOS Press | 2007, Vol 9
출판 A Garbage-Collecting Typed Assembly Language Chris Hawblitzel, Heng Huang, Lea Wittie, Juan Chen MSR-TR-2006-169 | January 2007 ACM Workshop on Types in Language Design and Implementation (TLDI 07)
출판 Iterative Context Bounding for Systematic Testing of Multithreaded Programs Madan Musuvathi, Shaz Qadeer MSR-TR-2007-14 | January 2007 프로젝트
출판 Adaptive Work-Stealing With Parallelism Feedback Kunal Agrawal, Yuxiong He, Charles E. Leiserson PPOPP | January 2007
출판 Contour and Texture for Visual Recognition of Object Categories Jamie Shotton January 2007 January 2007
출판 Face Recognition using Discriminatively Trained Orthogonal Rank One Tensor Projections Gang Hua, Paul Viola, Steven Drucker Computer Vision and Pattern Recognition, 2007. CVPR ’07. IEEE Conference on | January 2007