Publication 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
Publication 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
Publication 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
Publication Overcoming Memory Latency And Enabling Parallelism With The Greedy CAM Architecture Ray Bittner MSR-TR-2007-174 | January 2007 Proc. of IEEE Infocom 2006
Publication 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 | Publié par IOS Press | 2007, Vol 9
Publication 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)
Publication Iterative Context Bounding for Systematic Testing of Multithreaded Programs Madan Musuvathi, Shaz Qadeer MSR-TR-2007-14 | January 2007 Projet
Publication Adaptive Work-Stealing With Parallelism Feedback Kunal Agrawal, Yuxiong He, Charles E. Leiserson PPOPP | January 2007
Publication Contour and Texture for Visual Recognition of Object Categories Jamie Shotton January 2007 January 2007
Publication 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