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 the technical report series editor).
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
- CheriOS: designing an untrusted single-address-space capability operating system utilising capability hardware and a minimal hypervisor
- Data summarizations for scalable, robust and privacy-aware learning in high dimensions
- Verified security for the Morello capability-enhanced prototype Arm architecture
- Machine-learning approaches for the empirical Schrödinger bridge problem
- Rollercoaster: an efficient group-multicast scheme for mix networks
- Optimisation of a modern numerical library: a bottom-up approach
- Capability memory protection for embedded systems
- Inline and sideline approaches for low-cost memory safety in C
- DSbD CHERI and Morello Capability Essential IP (Version 1)
- Exploring the effect of spatial faithfulness on group decision-making
- Capability Hardware Enhanced RISC Instructions: CHERI Instruction-Set Architecture (Version 8)
- Probabilistic concurrent game semantics
- Complete spatial safety for C and C++ using CHERI capabilities
- Reasoning about effectful programs and evaluation order
- CHERI C/C++ Programming Guide