Publication Partial Updates: Exploration Yuri Gurevich, Nikolai Tillmann Springer J. of Universal Computer Science | January 2001
Publication Featherweight concurrency in a portable assembly language Simon Peyton Jones, Norman Ramsey January 2001
Publication Detecting format string vulnerabilities with type qualifiers Kunal Talwar SSYM’01: Proceedings of the 10th conference on USENIX Security Symposium | January 2001
Publication Online Markets for Distributed Market Services: the MAJIC system Lior Levy, Liad Blumrosen, Noam Nisan USITS 01 | January 2001
Publication Testable Use Cases in the Abstract State Machine Language Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte, Nikolai Tillmann Proc. 2nd Asia-Pacific Conference on Quality Software (APAQS 2001) | January 2001 ISBN: 0-7695-1287-9 Project
Publication Generation of Named Entities Maria-Luisa Jiménez European Association for Machine Translation | January 2001
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
