Publication Adaptive Run-Length / Golomb-Rice Encoding of Quantized Generalized Gaussian Sources with Unknown Statistics Henrique S. Malvar Data Compression Conference | March 2006
Publication POSH: A TLS Compiler that Exploits Program Structure Wei Liu, James Tuck, Luís Ceze, Wonsun Ahn, Karin Strauss, José Renau, Josep Torrellas PPoPP 2006 (Principles and Practice of Parallel Programming) | March 2006
Publication Guessing Attacks and the Computational Soundness of Static Equivalence Martin Abadi, Mathieu Baudet, Bogdan Warinschi Foundations of Software Science and Computation Structures (FOSSACS) 2006 | March 2006 ISBN: 3-540-33045-3
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
