I am a Lecturer at the University of Cambridge Computer Laboratory. I teach the Concurrent Systems and Applications course and part of the Advanced Systems Topics course. I am a Fellow of Churchill College.

Research publications:

• Exceptions and side-effects in atomic blocks, Tim Harris, PODC Workshop on Concurrency and Synchronization in Java Programs (CSJP 2004), July 2004.

• Brief announcement: implementing multi-word atomic snapshots on current hardware, Chris Purcell and Tim Harris, 23rd Annual ACM Symposium on Principles of Distributed Computing (PODC 2004), July 2004.

• Xen and the Art of Virtualization, Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebar, Ian Pratt and Andrew Warfield, 19th ACM Symposium on Operating Systems Principles (SOSP 2003), October 2003.

• Language support for lightweight transactions, Tim Harris, Keir Fraser, 18th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2003), October 2003.

• Design choices for language-based transactions, Tim Harris, Computer Lab Technical Report 572, August 2003.

• XenoSearch: distributed resource discovery in the XenoServer Open Platform, David Spence, Tim Harris, 12th IEEE International Symposium on High Performance Distributed Computing (HPDC-12), June 2003.

• Managing trust and reputation in the XenoServer Open Platform, Boris Dragovic, Steven Hand, Tim Harris, Evangelos Kotsovinos, Andrew Twigg, 1st International Conference on Trust Management, May 2003.

• Controlling the XenoServer Open Platform, Steven Hand, Tim Harris, Evangelos Kotsovinos, Ian Pratt, 6th IEEE Conference on Open Architectures and Network Programming (OPENARCH '03), to appear April 2003.

• Lighthouses for scalable distributed location, Marcelo Pias, Jon Crowcroft, Steve Wilbur, Tim Harris, Saleem Bhatti, 2nd International Workshop on Peer-to-Peer Systems (IPTPS '03), Feb 2003.

• Xen 2002, P.R. Barham, B. Dragovic, K.A. Fraser, S.M. Hand, T.L. Harris, A.C. Ho, E. Kotsovinos, A.V.S. Madhavapeddy, R. Neugebauer, I.A. Pratt, A.K. Warfield, Computer Lab Technical Report 553, Jan 2003

• The Xenoserver computing infrastructure, K.A. Fraser, S.M. Hand, T.L. Harris, I.M. Leslie, I.A. Pratt, Computer Lab Technical Report 552, Jan 2003

• A practical multi-word compare-and-swap operation, Tim Harris, Keir Fraser, Ian Pratt, 16th International Symposium on Distributed Computing (DISC '02). Slides are available here from my seminar at the Computer Lab. Related to this is Joe Hurd's work on formalizing the algorithm in HOL.

• Storage, mutability and naming in Pasta, Tim Moreton, Ian Pratt, Tim Harris, 1st International Workshop on Peer-to-Peer Computing, May 2002.

• Dependable software needs pervasive debugging, Tim Harris, 2002 ACM SIGOPS European Workshop. [Slides]

• A pragmatic implementation of non-blocking linked lists, Tim Harris, presented at the 2001 IEEE Symposium on Distributed Computing and published as part of volume 2180 of Lecture Notes in Computer Science. [Slides]

• Extensible virtual machines, Tim Harris, Phd dissertation, Computer Lab Technical Report 525. [Slides]

• Dynamic adaptive pre-tenuring, Tim Harris, presented at the 2000 International Symposium on Memory Management.

• Implementation techniques for a multi-service Java Virtual Machine, Tim Harris, Deliverable 4.1.5 of the Pegasus II project [Slides]

• An extensible virtual machine architecture, Tim Harris, presented at the OOPSLA '99 workshop on simplicity, performance and portability in virtual machine design. [Slides]

• Early storage reclamation in a tracing garbage collector, Tim Harris, Published in the April 1999 issue of ACM SIGPLAN Notices [Slides]

• Controlling run-time compilation, Tim Harris, Presented at the 1998 IEEE Workshop on Programming Languages for Real-Time Industrial Applications

• Java on Nemesis, Deliverable 4.1.4 of the Pegasus II project