Programming languages and software engineering

Eric Horvitz

MSR-TR-2003-97 | December 2003

Kentaro Toyama, Bernard Schoelkopf

MSR-TR-2003-64 | December 2003

Rustan Leino, Mike Barnett, Robert DeLine, Manuel Fähndrich, Wolfram Schulte

Computer Science Colloquium, ETH Zurich | November 2003

Manuel Fahndrich, Rustan Leino

Proceedings of the 2003 ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2003 | November 2003

Proceedings of the 2003 ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2003

Yuri Gurevich

“Foundations of Information and Knowledge Systems” Springer Lecture Notes in Computer Science. | November 2003

Thomas Ball

MSR-TR-2003-86 | November 2003

Andras Gyorgy, Tamas Linder, Philip A. Chou, Bradley J. Betts, Philip A. Chou

IEEE Trans. Information Theory | November 2003

Daan Leijen

November 2003

PhD Thesis: Dept. of Computer Science, Universiteit Utrecht | November 2003

Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, Andrew Warfield

Symposium on Operating Systems Principles (SOSP ’03) | October 2003

Andrew Kennedy, Claudio Russo, Nick Benton

October 2003

October 2003