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 Detecting format string vulnerabilities with type qualifiers Kunal Talwar SSYM’01: Proceedings of the 10th conference on USENIX Security Symposium | 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 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 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
