Publication Kernel Method for Percentile Feature Extraction Bernhard Schölkopf, John Platt, Alex J. Smola MSR-TR-2000-22 | February 2000
Publication Language-Agnostic Program Rendering for Presentation, Debugging and Visualization Christian Collberg, Sean Davey, Todd A. Proebsting MSR-TR-2000-09 | February 2000
Publication A Toolkit for Building Dependable and Extensible Home Networking Applications Anish Arora, Wilf Russell, Yi-Min Wang MSR-TR-2000-07 | February 2000
Publication Boolean Programs: A Model and Process for Software Analysis Thomas Ball, Sriram Rajamani MSR-TR-2000-14 | February 2000 Published by Microsoft Project
Publication Definability and Undefinability with Real Order at the Background Yuri Gurevich, Alexander Rabinovich Journal of Symbolic Logic | January 2000, Vol 65(2): pp. 946-958
Publication WebCaL – A Domain Specific Language for Web Caching Sumit Gulwani, Asha Tarachandani, Deepak Gupta, Dheeraj Sanghi, Luciano Porto Barreto , Charles Consel, Gilles Muller Computer Communications | January 2000
Publication A Single Intermediate Language That Supports Multiple Implementations of Exceptions Simon Peyton Jones ACM SIGPLAN ’00 Conference on Programming Language Design and Implementation (PLDI) | January 2000
Publication On the cover time of planar graphs Johan Jonasson, Oded Schramm Electron. Comm. Probab. | January 2000, Vol 5: pp. 85-90
Publication Rigid Reachability, The Non-Symmetric Form of Rigid E-Unification Harald Ganzinger, Florent Jacquemard, Margus Veanes International Journal of Foundations of Computer Science | January 2000, pp. 3-27
Publication Using Abstract State Machines at Microsoft: A Case Study Yuri Gurevich, Wolfram Schulte, Margus Veanes, Mike Barnett Abstract State Machines | January 2000 Abstract State Machines ISBN: 3-540-67959-6 Project
Research
Research