출판 Universal Plug and Play Machine Models U. Glässer, Y. Gurevich, M. Veanes, Yuri Gurevich, Margus Veanes MSR-TR-2001-59 | June 2001 프로젝트
출판 Two Case Studies in Predictable Application Scheduling Using Rialto/NT Mike Jones, John Regehr, Stefan Saroiu Appeared in Proceedings of the Seventh Real-Time Technology and Applications Symposium (RTAS 2001) | May 2001
출판 Portability of Syntactic Structure for Language Modeling Ciprian Chelba Proc. of the Int. Conf. on Acoustics, Speech, and Signal Processing | May 2001
출판 Herald: Achieving a Global Event Notification Service Luis Felipe Cabrera, Mike Jones, Marvin Theimer Proceedings of the Eighth Workshop on Hot Topics in Operating Systems (HotOS-VIII) | May 2001
출판 Using Abstraction To Improve Fault Tolerance Miguel Castro, Rodrigo Rodrigues, Barbara Liskov Workshop on Hot Topics in Operating Systems (HotOS’01) | May 2001
출판 Logical Properties of Name Restriction Luca Cardelli, Andy Gordon 5th International Conference, TLCA Kraków, Poland, May 2-5, 2001 | April 2001 ISBN: 9783540419600
출판 Vulcan: Binary Transformation In A Distributed Environment Amitabh Srivastava, Andrew Edwards, Hoi Vo MSR-TR-2001-50 | April 2001
출판 A Query Language Based on the Ambient Logic Luca Cardelli, Giorgio Ghelli SEBD | April 2001 ISBN: 3-540-41862-8
출판 Composing High-Performance Memory Allocators Emery D. Berger, Ben Zorn, Kathryn McKinley MSR-TR-2000-113 | April 2001
출판 Dynamic Points-To Sets: A Comparison with Static Analyses and Potential Applications in Program Understanding and Optimization Markus Mock, Manuvir Das, Craig Chambers, Susan J. Eggers MSR-TR-2001-38 | March 2001