Technical reports
Computer Laboratory technical reports
The Department of Computer Science and Technology (formerly 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 a common way to make a departmental PhD thesis widely available.
Most newer technical reports, in particular all published since 2002, are available online in PDF. Older reports can be scanned 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
Series identifiers: OpenDOAR record, ISSN record (print)
Recent additions
- CHERI compartmentalisation for embedded systems
- Memory safety with CHERI capabilities: security analysis, language interpreters, and heap temporal safety
- Dynamic analysis for concurrency optimisation
- Data-driven representations in brain science: modelling approaches in gene expression and neuroimaging domains
- Muntjac multicore RV64 processor: introduction and microarchitectural guide
- Automating representation change across domains for reasoning
- Transparent analysis of multi-modal embeddings
- Assessing the understandability of a distributed algorithm by tweeting buggy pseudocode
- Evidence-based verification and correction of textual claims
- Gaussian Pixie Autoencoder: Introducing Functional Distributional Semantics to continuous latent spaces
- Obstacles to wearable computing
- Improving commercial LiFi network feasibility through rotation invariance, motion prediction, and bandwidth aggregation at the physical layer
- Information dissemination via random walks
- Capability-based access control for cyber physical systems
- Trusted reference monitors for Linux using Intel SGX enclaves