Publication Industrial and Economic Properties of Software: Technology, Processes, and Value David G. Messerschmitt, Clemens Szyperski MSR-TR-2001-11 | January 2001
Publication Featherweight concurrency in a portable assembly language Simon Peyton Jones, Norman Ramsey January 2001
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 Linearly Used Continuations Josh Berdine, Peter W. O'Hearn, Uday S. Reddy, Hayo Thielecke Proceedings of the Third ACM SIGPLAN Workshop on Continuations (CW’01) | December 2000
