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 Stochastic HPSG Parse Selection using the Redwoods Corpus Kristina Toutanova, Christopher D. Manning, Stephan Oepen, Dan Flickinger Journal of Logic and Computation | 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
Publication Abstract interpretation and Object-oriented languages: quo vadis? Francesco Logozzo, Agostino Cortesi Proceedings of the 1st International Workshop on Abstract Interpretation and Object-oriented languages(Aiool’05), | January 2005 Proceedings of the 1st International Workshop on Abstract Interpretation and Object-oriented languages(Aiool'05),
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
