Programming languages and software engineering

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

IEEE Trans. Information Theory | 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

Thomas Ball

MSR-TR-2003-86 | 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

Yi-Min Wang, Chad Verbowski, John Dunagan, Yu Chen, Helen Wang, Chun Yuan, Zheng Zhang

October 2003

James Scott, Mike Hazas

Proceedings of the Fifth International Conference on Ubiquitous Computing (UbiComp 2003) | October 2003

Aniruddha R. Thakar, Alexander S. Szalay, Jim Gray

Astronomical Data Analysis Software and Systems XIII, ASP Conference Series | October 2003

Yuri Gurevich

Bulletin of the European Association for Theoretical Computer Science Number 81 | October 2003