Publication Counterexample Driven Refinement for Abstract Interpretation Bhargav Gulavani, Sriram Rajamani Proceedings of 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) | March 2006
Publication Combining Abstract Interpreters Sumit Gulwani, Ashish Tiwari MSR-TR-2006-25 | March 2006 Project
Publication SWISH: Semantic Analysis of Window Titles and Switching History Greg Smith, Nuria Oliver, Arun C. Surendran, chintan thakkar MSR-TR-2006-32 | March 2006
Publication Discovering Likely Method Specifications Nikolai Tillmann, Feng Chen, Wolfram Schulte MSR-TR-2005-146 | March 2006 Project Project
Publication Mesh analysis using geodesic mean-shift Ariel Shamir, Lior Shapira, Daniel Cohen-Or Visual Computer | February 2006, Vol 22: pp. 99-108
Publication A Schema Language for Coordinating Construction and Composition of Partial Behavior Descriptions Wolfgang Grieskamp, Nicolas Kicillof MSR-TR-2006-13 | February 2006
Publication Action Machines: a Framework for Encoding and Composing Partial Behaviors Wolfgang Grieskamp, Nikolai Tillmann, Nicolas Kicillof MSR-TR-2006-11 | February 2006
Publication Microsoft Research at RTE-2: Syntactic Contributions in the Entailment Task: an implementation Lucy Vanderwende, Arul Menezes, Rion Snow Proceedings of the Second PASCAL Recognising Textual Entailment Challenge Workshop | January 2006 Proceedings of the Second PASCAL Recognising Textual Entailment Challenge Workshop
Publication Area-Performance Trade-offs in Tiled Dataflow Architectures Steven Swanson, Andrew Putnam, Martha Mercaldi, Ken Michelson, Andrew Petersen, Andrew Schwerin, Mark Oskin, Susan J. Eggers Proceedings of the 33rd Annual International Symposium on Computer Architecture | January 2006 Proceedings of the 33rd Annual International Symposium on Computer Architecture ISBN: 0-7695-2608-X
