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
- 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),
- 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),
- 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
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,
- 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,
- Dependable software needs
pervasive debugging, Tim Harris, 2002 ACM SIGOPS European Workshop.
- 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]
virtual machines, Tim Harris, Phd
dissertation, Computer Lab Technical Report 525. [Slides]
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