公開日 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
公開日 Iterative Context Bounding for Systematic Testing of Multithreaded Programs Madan Musuvathi, Shaz Qadeer MSR-TR-2007-14 | January 2007 プロジェクト
公開日 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)
公開日 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
公開日 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