Publication How to “Root” a Rootkit That Supports Root Processes Using Strider GhostBuster Enterprise Scanner Yi-Min Wang, Doug Beck MSR-TR-2005-21 | February 2005
Publication A Black-Box Tracing Technique to Identify Causes of Least-Privilege Incompatibilities (Tech Report) Shuo Chen, John Dunagan, Yi-Min Wang, Chad Verbowski MSR-TR-2005-15 | February 2005
Publication On the Race of Worms, Alerts and Patches Milan Vojnovic, Ayalvadi Ganesh MSR-TR-2005-13 | February 2005
Publication Coupon Replication Systems L. Massoulié, M. Vojnović MSR-TR-2004-112 | February 2005 ACM Sigmetrics 05
Publication Secrecy and Group Creation Luca Cardelli, Giorgio Ghelli, Andy Gordon Information and Computation | January 2005, Vol 196(2): pp. 127-155
Publication Formalizing UML Models and OCL Constraints in PVS Marcel Kyas, Harald Fecher, Frank S. de Boer, Joost Jacob, Jozef Hooman, Mark van der Zwaag, Tamarah Arons, Hillel Kugler Proceedings of the Second Workshop on Semantic Foundations of Engineering Design Languages (SFEDL 2004) | January 2005
Publication Precise Interprocedural Analysis using Random Interpretation Sumit Gulwani, George C. Necula Proceedings of the Principles of Programming Languages (POPL), 2005 | January 2005 Project
Publication Conjugate and Natural Gradient Rules for BYY Harmony Learning on Gaussian Mixture with Automated Model Selection Jinwen Ma, Bin Gao, Yang Wang, Qiansheng Cheng International Journal of Pattern Recognition and Artificial Intelligence | January 2005
Publication Combining Visualization and Statistical Analysis to Improve Operator Confidence and Efficiency for Failure Detection and Localization Peter Bodík, Greg Friedman, Lukas Biewald, Helen Levine, George Candea, Kayur Patel, Gilman Tolle, Jon Hui, Armando Fox, Michael I. Jordan, David Patterson ICAC ’05: International Conference on Autonomic Computing | January 2005
Publication Construction and Use of Linear Regression Models for Processor Performance Analysis P J Joseph, Kapil Vaswani, Matthew J Thazuthaveetil Proceedings of the International Conference on High Performance Computer Architecture (HPCA) | January 2005
