출판 Featherweight concurrency in a portable assembly language Simon Peyton Jones, Norman Ramsey January 2001
출판 Testable Use Cases in the Abstract State Machine Language Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte, Nikolai Tillmann Proc. 2nd Asia-Pacific Conference on Quality Software (APAQS 2001) | January 2001 ISBN: 0-7695-1287-9 프로젝트
출판 Industrial and Economic Properties of Software: Technology, Processes, and Value David G. Messerschmitt, Clemens Szyperski MSR-TR-2001-11 | January 2001
출판 HMM-based Passage Models for Document Classification and Ranking Ludovic Denoyer, Hugo Zaragoza, Patrick Gallinari 23rd European Colloquium on Information Retrieval Research (ECIR’01) | January 2001
출판 Estimating the Impact of Scalable Pointer Analysis on Optimization Manuel Fahndrich MSR-TR-2001-20 | January 2001
출판 Detecting format string vulnerabilities with type qualifiers Kunal Talwar SSYM’01: Proceedings of the 10th conference on USENIX Security Symposium | January 2001
출판 Hidden Variable Structures for Training and Decoding with Graphical Models in ASR Geoffrey Zweig Johns Hopkins Workshop Presentation | January 2001
출판 Mobile Values, New Names, and Secure Communication Martın Abadi, Cédric Fournet 28th ACM Symposium on Principles of Programming Languages (POPL’01) | January 2001
출판 Ensemble SVM Regression Based Multi-View Face Detection System Stan Z. Li, Ji Yan, Hong-Jiang Zhang, Shujie Zhu MSR-TR-2001-09 | January 2001