Programming languages and software engineering

Yuri Gurevich, Saharon Shelah

MSR-TR-2002-127 | December 2002

Note : Revised April 2003.

John Field, Deepak Goyal, G. Ramalingam, Eran Yahav

December 2002

Madanlal Musuvathi, David Park, Andy Chou, Dawson R. Engler, David L. Dill, Madan Musuvathi

OSDI 02: Fifth Symposium on Operating Systems Design and Implementation | December 2002

OSDI 02: Fifth Symposium on Operating Systems Design and Implementation

Project

Emery D. Berger, Ben Zorn, Kathryn S McKinley

17th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA’02) | November 2002

The BlueGene-L Team, Karin Strauss

SC 2002 (Supercomputing) | November 2002

Test of Time Award

“Test of Time” award at the 2020 Supercomputing Conference

David R. Hanson

MSR-TR-2002-112 | November 2002

Note: Revised April 2003

Don Syme, Andy Gordon

9th International Conference on Logic for Programming Artificial Intelligence and Reasoning | October 2002

ISBN: 978-3-540-00010-5 (Print) 978-3-540-36078-0 (Online)

Andreas Blass, Yuri Gurevich

Bulletin of the European Association for Theoretical Computer Science | October 2002

Tim Sheard, Simon Peyton Jones

Proceedings of the 2002 Haskell Workshop, Pittsburgh | October 2002