Programming languages and software engineering

Mike Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes

1st European Conference on Model-Driven Software Engineering | January 2003

Project Project Project

Wolfram Schulte, Nikolai Tillmann, Margus Veanes, Mike Barnett

QSIC | January 2003

QSIC

ISBN: 0-7695-2015-4

Project Project

Moshe Babaioff, William E. Walsh

ACM Conference on Electronic Commerce (EC’03) | January 2003

Bo Thiesson, Chris Meek

Proceedings of Ninth International Workshop on Artificial Intelligence and Statistics | January 2003

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