Technical reports
Computer Laboratory technical reports
The Computer Laboratory has published a Technical Report series (ISSN 1476-2986) since 1974. Technical reports are intended primarily for the long-term archival of results and descriptions that are not suitable for publication elsewhere, due to their length or nature. Technical reports are also the most common way to make a Computer Laboratory PhD thesis widely available. Most newer technical reports, in particular all published since 2002, are available online in PDF.
Catalogue metadata
The metadata in our Technical Report database is also available in various human- or machine-readable formats:
- HTML table with links to HTML abstracts and PDF fulltext
- PDF catalogue with abstracts
- BibTeX (info)
- Open Archives Initiative static repository and PMH gateway base URL (info)
- Simple Dublin Core in RDF/XML (info)
- DBLP XML (info)
- RFC 1807 (info)
- RSS (info)
- the original self-documenting database and abstracts files
Access to paper copies
Older reports can be scanned in on request, or can be ordered as a paper copy from
Technical Reports
Computer Laboratory
University of Cambridge
15 JJ Thomson Avenue
Cambridge CB3 0FD
United Kingdom
phone: +44 1223 763500 fax: +44 1223 334678 email: [Javascript required]
Do not forget to include your postal address with your request. Single paper copies for academic institutions are sent free of charge.
Recent additions
- Towards practical information flow control and audit
- Pipelined image processing for pattern recognition
- Capability Hardware Enhanced RISC Instructions: CHERI Instruction-Set Architecture (Version 5)
- Using multiple representations to develop notational expertise in programming
- Evaluating the viability of remote renewable energy in datacentre computing
- Recomputation-based data reliability for MapReduce using lineage
- Hardware support for compartmentalisation
- Error detection in content word combinations
- HasGP: A Haskell library for Gaussian process inference
- Machine learning and computer algebra
- Survey propagation applied to weighted partial maximum satisfiability
- Discovering and exploiting parallelism in DOACROSS loops
- Web data knowledge extraction
- Access contracts: a dynamic approach to object-oriented access protection
- Self-compilation and self-verification
