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. Older reports can be scanned in on request (please contact our librarian).
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
- Authors index
- 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
Recent additions
- Privacy markets in the Apps and IoT age
- OpenDTrace Specification version 1.0
- Prefetching for complex memory access patterns
- Raising a new generation of cyber defenders
- Optimising data centre operation by removing the transport bottleneck
- Interactive analytical modelling
- Proceedings of the 2017 Scheme and Functional Programming Workshop
- Evaluation of decentralized email architecture and social network analysis based on email attachment sharing
- Formal verification-driven parallelisation synthesis
- Capability Hardware Enhanced RISC Instructions (CHERI): Notes on the Meltdown and Spectre Attacks
- Annotating errors and disfluencies in transcriptions of speech
- Characterizing the impact of network latency on cloud-based applications’ performance
- Hierarchical statistical semantic translation and realization
- Proofs for ‘Verifying Spatial Properties of Array Computations’
- Automated verification of continuous and hybrid dynamical systems