Programming languages and software engineering

Paul Barham, Boris Dragovic, Keir A. Fraser, Steven M. Hand, Tim Harris, Alex C. Ho, Evangelos Kotsovinos, Anil V.S. Madhavapeddy, Rolf Neugebauer, Ian A. Pratt, Andrew K. Warfield

UCAM-CL-TR-553 | January 2003

Bo Thiesson, Chris Meek

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

William R. Mark, R. Steven Glanville, Kurt Akeley, Mark J. Kilgard

SIGGRAPH ’03: ACM SIGGRAPH 2003 Papers | January 2003

ISBN: 1-58113-709-5

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

Moshe Babaioff, William E. Walsh

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

Wolfram Schulte, Nikolai Tillmann, Margus Veanes, Mike Barnett

QSIC | January 2003

QSIC

ISBN: 0-7695-2015-4

Project Project

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