Publication Industrial and Economic Properties of Software: Technology, Processes, and Value David G. Messerschmitt, Clemens Szyperski MSR-TR-2001-11 | January 2001
Publication Design and Implementation of Generics for the .NET Common Language Runtime Andrew Kennedy, Don Syme Programming Language Design and Implementation | January 2001 Project
Publication Hidden Variable Structures for Training and Decoding with Graphical Models in ASR Geoffrey Zweig Johns Hopkins Workshop Presentation | January 2001
Publication Kernel expansions with unlabeled examples Martin Szummer, Tommi Jaakkola Advances in Neural Information Processing Systems (NIPS) | January 2001
Publication Mobile Values, New Names, and Secure Communication Martın Abadi, Cédric Fournet 28th ACM Symposium on Principles of Programming Languages (POPL’01) | January 2001
Publication Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell Simon Peyton Jones Engineering theories of software construction | Published by IOS Press | 2001 ISBN: ISBN 1 58603 1724
Publication A Proof Sketch Of Something Which May Possibly Be A Conjecture of Oege de Moor Nick Benton December 2000
Publication Boolean and Cartesian Abstraction for Model Checking C Programs Thomas Ball, Andreas Podelski, Sriram Rajamani MSR-TR-2000-115 | December 2000 Published by Microsoft Project
Publication Compression of Concentric Mosaic with Rebinning of Slits (ROSS) Y. Wu, Jin Li December 2000
Research
Research
