Programming languages and software engineering

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

R. Manevich, G. Ramalingam, J. Field, D. Goyal, M. Sagiv

9th International Symposium, SAS 2002 | September 2002

Frank Hoffmann, James Scott

Proceedings of the Fourth International Conference on Ubiquitous Computing (UbiComp 2002) | September 2002

Leslie Lamport, John Matthews, Mark Tuttle, Yuan Yu

Proceedings of the Tenth ACM SIGOPS European Workshop | September 2002