Technical Reports Index
University of Cambridge Computer Laboratory
ISSN 1476-2986
- UCAM-CL-TR-993
- Paul M. Scherer: Distributional
and relational inductive biases for graph representation learning in
biomedicine, April 2024. (164 pages, PhD thesis)
- UCAM-CL-TR-992
- Allison Randal: Transient
execution vulnerabilities in the security context of server
hardware, December 2023. (145 pages, PhD thesis)
- UCAM-CL-TR-991
- Jacky W. E. Kung: Porting
a mix network client to mobile, December 2023. (57 pages)
- UCAM-CL-TR-990
- Euan Ong: Probing
the foundations of neural algorithmic reasoning, December 2023. (75
pages)
- UCAM-CL-TR-989
- Dimitrios Los: Balanced
allocations under incomplete information: New settings and
techniques, November 2023. (230 pages, PhD thesis)
- UCAM-CL-TR-988
- Vadim Zaliva, Kayvan Memarian, Ricardo Almeida, Jessica Clarke, Brooks Davis, Alex Richardson, David Chisnall, Brian Campbell, Ian Stark, Robert N. M. Watson, Peter Sewell: CHERI C
semantics as an extension of the ISO C17 standard, October 2023. (11
pages)
- UCAM-CL-TR-987
- Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Hesham Almatary, Jonathan Anderson, John Baldwin, Graeme Barnes, David Chisnall, Jessica Clarke, Brooks Davis,
Lee Eisen, Nathaniel Wesley Filardo, Franz A. Fuchs, Richard Grisenthwaite,
Alexandre Joannou, Ben Laurie, A. Theodore Markettos, Simon W. Moore, Steven J. Murdoch, Kyndylan Nienhuis, Robert Norton, Alexander Richardson, Peter Rugg, Peter Sewell,
Stacey Son, Hongyan Xia: Capability
Hardware Enhanced RISC Instructions: CHERI Instruction-Set Architecture
(Version 9), September 2023. (523 pages)
- UCAM-CL-TR-986
- Robert N. M. Watson, Jessica Clarke, Peter Sewell,
Jonathan Woodruff, Simon W. Moore, Graeme Barnes, Richard Grisenthwaite,
Kathryn Stacer, Silviu Baranga, Alexander Richardson: Early
performance results from the prototype Morello microarchitecture,
September 2023. (19 pages)
- UCAM-CL-TR-985
- Sharan S. Agrawal:
Scalable
agent-based models for optimized policy design: applications to the
economics of biodiversity and carbon, August 2023. (84 pages, MPhil
thesis)
- UCAM-CL-TR-984
- Peter David Rugg: Efficient
spatial and temporal safety for microcontrollers and application-class
processors, July 2023. (189 pages, PhD thesis)
- UCAM-CL-TR-983
- Maria Bada, Alice Hutchings, Yanna Papadodimitraki,
Richard Clayton: An
evaluation of police interventions for cybercrime prevention, July
2023. (80 pages)
- UCAM-CL-TR-982
- Robert N. M. Watson, Graeme Barnes, Jessica Clarke, Richard Grisenthwaite,
Peter Sewell, Simon W. Moore, Jonathan Woodruff: Arm
Morello Programme: Architectural security goals and known
limitations, July 2023. (8 pages)
- UCAM-CL-TR-981
- Kayvan Memarian: The
Cerberus C semantics, May 2023. (290 pages, PhD thesis)
- UCAM-CL-TR-980
- Marno van der Maas: Protecting
enclaves from side-channel attacks through physical isolation, March
2023. (120 pages, PhD thesis)
- UCAM-CL-TR-979
- Xuan Guo: Efficient
virtual cache coherency for multicore systems and accelerators,
February 2023. (202 pages, PhD thesis)
- UCAM-CL-TR-978
- Alexander G. Fraser: A Next
Generation Internet Architecture, February 2023. (118 pages)
- UCAM-CL-TR-977
- Akshay Jindal: Motion
quality models for real-time adaptive rendering, January 2023. (132
pages, PhD thesis)
- UCAM-CL-TR-976
- Hesham Almatary: CHERI
compartmentalisation for embedded systems, November 2022. (142
pages, PhD thesis)
- UCAM-CL-TR-975
- Brett Gutstein: Memory
safety with CHERI capabilities: security analysis, language
interpreters, and heap temporal safety, November 2022. (119 pages,
PhD thesis)
- UCAM-CL-TR-974
- Indigo J. D. Orton: Dynamic
analysis for concurrency optimisation, August 2022. (166 pages, PhD
thesis)
- UCAM-CL-TR-973
- Tiago M. L. Azevedo: Data-driven
representations in brain science: modelling approaches in gene
expression and neuroimaging domains, July 2022. (136 pages, PhD
thesis)
- UCAM-CL-TR-972
- Xuan Guo, Daniel Bates, Robert Mullins, Alex Bradbury: Muntjac
multicore RV64 processor: introduction and microarchitectural guide,
June 2022. (27 pages)
- UCAM-CL-TR-971
- Aaron Stockdill: Automating
representation change across domains for reasoning, June 2022. (268
pages, PhD thesis)
- UCAM-CL-TR-970
- Anita L. Verő: Transparent
analysis of multi-modal embeddings, May 2022. (202 pages, PhD
thesis)
- UCAM-CL-TR-969
- Martin Kleppmann: Assessing
the understandability of a distributed algorithm by tweeting buggy
pseudocode, May 2022. (15 pages)
- UCAM-CL-TR-968
- James Thorne: Evidence-based
verification and correction of textual claims, February 2022. (231
pages, PhD thesis)
- UCAM-CL-TR-967
- Primož Fabiani: Gaussian
Pixie Autoencoder: Introducing Functional Distributional Semantics to
continuous latent spaces, January 2022. (50 pages, MPhil thesis)
- UCAM-CL-TR-966
- Helen Oliver: Obstacles
to wearable computing, December 2021. (318 pages, PhD thesis)
- UCAM-CL-TR-965
- Daniel M. Fisher, Jon A. Crowcroft: Improving
commercial LiFi network feasibility through rotation invariance, motion
prediction, and bandwidth aggregation at the physical layer,
November 2021. (79 pages, MPhil thesis)
- UCAM-CL-TR-964
- Hayk Saribekyan: Information
dissemination via random walks, November 2021. (134 pages, PhD
thesis)
- UCAM-CL-TR-963
- Michael G. Dodson: Capability-based
access control for cyber physical systems, October 2021. (127 pages,
PhD thesis)
- UCAM-CL-TR-962
- Harri Bell-Thomas: Trusted
reference monitors for Linux using Intel SGX enclaves, October 2021.
(62 pages)
- UCAM-CL-TR-961
- Lawrence G. Esswood:
CheriOS:
designing an untrusted single-address-space capability operating system
utilising capability hardware and a minimal hypervisor, September
2021. (195 pages, PhD thesis)
- UCAM-CL-TR-960
- Dionysis Manousakas: Data
summarizations for scalable, robust and privacy-aware learning in high
dimensions, September 2021. (130 pages, PhD thesis)
- UCAM-CL-TR-959
- Thomas Bauereiss, Brian Campbell, Thomas Sewell, Alasdair Armstrong, Lawrence Esswood, Ian Stark, Graeme Barnes, Robert N. M. Watson, Peter Sewell: Verified
security for the Morello capability-enhanced prototype Arm
architecture, September 2021. (24 pages)
- UCAM-CL-TR-958
- Francisco Vargas:
Machine-learning
approaches for the empirical Schrödinger bridge problem, June 2021.
(114 pages, MPhil thesis)
- UCAM-CL-TR-957
- Daniel Hugenroth, Martin Kleppmann, Alastair R. Beresford: Rollercoaster:
an efficient group-multicast scheme for mix networks. (27 pages)
- UCAM-CL-TR-956
- Jianxin Zhao: Optimisation
of a modern numerical library: a bottom-up approach, April 2021. (96
pages, PhD thesis)
- UCAM-CL-TR-955
- Hongyan Xia: Capability
memory protection for embedded systems, February 2021. (145 pages,
PhD thesis)
- UCAM-CL-TR-954
- Myoung Jin Nam: Inline
and sideline approaches for low-cost memory safety in C, February
2021. (124 pages, PhD thesis)
- UCAM-CL-TR-953
- Robert N. M. Watson, Jonathan Woodruff, Alexandre Joannou, Simon W. Moore, Peter Sewell,
Arm Limited: DSbD
CHERI and Morello Capability Essential IP (Version 1), December
2020. (25 pages)
- UCAM-CL-TR-952
- David Adeboye: Exploring
the effect of spatial faithfulness on group decision-making, October
2020. (64 pages, MPhil thesis)
- UCAM-CL-TR-951
- Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Hesham Almatary, Jonathan Anderson, John Baldwin, Graeme Barnes, David Chisnall, Jessica Clarke, Brooks Davis,
Lee Eisen, Nathaniel Wesley Filardo, Richard Grisenthwaite,
Alexandre Joannou, Ben Laurie, A. Theodore Markettos, Simon W. Moore, Steven J. Murdoch, Kyndylan Nienhuis, Robert Norton, Alexander Richardson, Peter Rugg, Peter Sewell,
Stacey Son, Hongyan Xia: Capability
Hardware Enhanced RISC Instructions: CHERI Instruction-Set Architecture
(Version 8), October 2020. (590 pages)
- UCAM-CL-TR-950
- Hugo Paquet: Probabilistic
concurrent game semantics, August 2020. (156 pages, PhD thesis)
- UCAM-CL-TR-949
- Alexander Richardson: Complete
spatial safety for C and C++ using CHERI capabilities, June 2020.
(189 pages, PhD thesis)
- UCAM-CL-TR-948
- Dylan McDermott: Reasoning
about effectful programs and evaluation order, June 2020. (150
pages, PhD thesis)
- UCAM-CL-TR-947
- Robert N. M. Watson, Alexander Richardson, Brooks Davis, John Baldwin, David Chisnall, Jessica Clarke, Nathaniel Filardo, Simon W. Moore, Edward Napierala, Peter Sewell, Peter G. Neumann: CHERI
C/C++ Programming Guide, June 2020. (33 pages)
- UCAM-CL-TR-946
- Michael Schaarschmidt: End-to-end
deep reinforcement learning in computer systems, April 2020. (166
pages, PhD thesis)
- UCAM-CL-TR-945
- Maxwell Jay Conway: Machine
learning methods for detecting structure in metabolic flow networks,
March 2020. (132 pages, PhD thesis)
- UCAM-CL-TR-944
- Alexander Vetterl: Honeypots
in the age of universal attacks and the Internet of Things, February
2020. (115 pages, PhD thesis)
- UCAM-CL-TR-943
- Mathew P. Grosvenor: Latency-First
datacenter network scheduling, January 2020. (310 pages, PhD thesis)
- UCAM-CL-TR-942
- Alexander Kuhnle: Evaluating
visually grounded language capabilities using microworlds, January
2020. (142 pages, PhD thesis)
- UCAM-CL-TR-941
- Robert N. M. Watson, Simon W. Moore, Peter Sewell,
Peter G. Neumann:
An
Introduction to CHERI, September 2019. (43 pages)
- UCAM-CL-TR-940
- Kyndylan Nienhuis,
Alexandre Joannou, Anthony Fox, Michael Roe, Thomas Bauereiss, Brian Campbell, Matthew Naylor, Robert M. Norton, Simon W. Moore, Peter G. Neumann, Ian Stark, Robert N. M. Watson, Peter Sewell: Rigorous
engineering for hardware security: formal modelling and proof in the
CHERI design and implementation process, September 2019. (38 pages)
- UCAM-CL-TR-939
- Christine Guo Yu: Effects
of timing on users’ perceived control when interacting with intelligent
systems, August 2019. (284 pages, PhD thesis)
- UCAM-CL-TR-938
- Christopher Bryant: Automatic
annotation of error types for grammatical error correction, June
2019. (138 pages, PhD thesis)
- UCAM-CL-TR-937
- Diana Andreea Popescu: Latency-driven
performance in data centres, June 2019. (190 pages, PhD thesis)
- UCAM-CL-TR-936
- Alexandre J. P. Joannou: High-performance
memory safety: optimizing the CHERI capability machine, May 2019.
(132 pages, PhD thesis)
- UCAM-CL-TR-935
- Heidi Howard: Distributed
consensus revised, April 2019. (151 pages, PhD thesis)
- UCAM-CL-TR-934
- Colin L. Rothwell: Exploitation
from malicious PCI Express peripherals, February 2019. (108 pages)
- UCAM-CL-TR-933
- Noa Zilberman: An
Evaluation of NDP performance, January 2019. (19 pages)
- UCAM-CL-TR-932
- Brooks Davis, Robert N. M. Watson, Alexander Richardson, Peter G. Neumann, Simon W. Moore, John Baldwin, David Chisnall, Jessica Clarke, Nathaniel Wesley Filardo, Khilan Gudka, Alexandre Joannou, Ben Laurie, A. Theodore Markettos, J. Edward Maste, Alfredo Mazzinghi, Edward Tomasz Napierala,
Robert M. Norton, Michael Roe, Peter Sewell, Stacey Son, Jonathan Woodruff: CheriABI:
Enforcing valid pointer provenance and minimizing pointer privilege in
the POSIX C run-time environment, April 2019. (40 pages)
- UCAM-CL-TR-931
- Jyothish Soman: A
Performance-efficient and practical processor error recovery
framework, January 2019. (91 pages, PhD thesis)
- UCAM-CL-TR-930
- Lucian Carata: Provenance-based
computing, December 2018. (132 pages, PhD thesis)
- UCAM-CL-TR-929
- Khaled Baqer: Resilient
payment systems, November 2018. (115 pages, PhD thesis)
- UCAM-CL-TR-928
- Noa Zilberman, Łukasz Dudziak, Matthew Jadczak,
Thomas Parks, Alessandro Rietmann, Vadim Safronov, Daniel Zuo: Cut-through
network switches: architecture, design and implementation, November
2018. (18 pages)
- UCAM-CL-TR-927
- Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Hesham Almatary, Jonathan Anderson, John Baldwin, David Chisnall, Brooks Davis, Nathaniel Wesley Filardo, Alexandre Joannou, Ben Laurie, A. Theodore Markettos, Simon W. Moore, Steven J. Murdoch, Kyndylan Nienhuis, Robert Norton, Alex Richardson, Peter Rugg,
Peter Sewell, Stacey Son, Hongyan Xia: Capability
Hardware Enhanced RISC Instructions: CHERI Instruction-Set Architecture
(Version 7), June 2019. (496 pages)
- UCAM-CL-TR-926
- Ranjan Pal, Konstantinos Psounis, Abhishek Kumar, Jon Crowcroft, Pan Hui, Leana Golubchik, John Kelly,
Aritra Chatterjee, Sasu Tarkoma: Are
cyber-blackouts in service networks likely?: implications for cyber risk
management, October 2018. (32 pages)
- UCAM-CL-TR-925
- Ranjan Pal, Jon Crowcroft, Abhishek Kumar,
Pan Hui, Hamed Haddadi, Swades De, Irene Ng, Sasu Tarkoma, Richard Mortier: Privacy
markets in the Apps and IoT age, September 2018. (45 pages)
- UCAM-CL-TR-924
- George Neville-Neil, Jonathan Anderson, Graeme Jenkinson, Brian Kidney, Domagoj Stolfa, Arun Thomas, Robert N. M. Watson: OpenDTrace
Specification version 1.0, August 2018. (235 pages)
- UCAM-CL-TR-923
- Sam Ainsworth: Prefetching
for complex memory access patterns, July 2018. (146 pages, PhD
thesis)
- UCAM-CL-TR-922
- Frank Stajano, Graham Rymer, Michelle Houghton:
Raising
a new generation of cyber defenders, June 2018. (307 pages)
- UCAM-CL-TR-921
- Toby Moncaster: Optimising
data centre operation by removing the transport bottleneck, June
2018. (130 pages, PhD thesis)
- UCAM-CL-TR-920
- Advait Sarkar: Interactive
analytical modelling, May 2018. (142 pages, PhD thesis)
- UCAM-CL-TR-919
- Nada Amin, François-René Rideau: Proceedings
of the 2017 Scheme and Functional Programming Workshop, March 2018.
(50 pages)
- UCAM-CL-TR-918
- Gregory Y. Tsipenyuk: Evaluation
of decentralized email architecture and social network analysis based on
email attachment sharing, March 2018. (153 pages, PhD thesis)
- UCAM-CL-TR-917
- Matko Botinčan: Formal
verification-driven parallelisation synthesis, March 2018. (163
pages, PhD thesis)
- UCAM-CL-TR-916
- Robert N. M. Watson, Jonathan Woodruff, Michael Roe, Simon W. Moore, Peter G. Neumann: Capability
Hardware Enhanced RISC Instructions (CHERI): Notes on the Meltdown and
Spectre Attacks, February 2018. (16 pages)
- UCAM-CL-TR-915
- Andrew Caines, Diane Nicholls, Paula Buttery: Annotating
errors and disfluencies in transcriptions of speech, December 2017.
(10 pages)
- UCAM-CL-TR-914
- Diana Andreea Popescu, Noa Zilberman, Andrew W. Moore: Characterizing
the impact of network latency on cloud-based applications’
performance, November 2017. (20 pages)
- UCAM-CL-TR-913
- Matic Horvat: Hierarchical
statistical semantic translation and realization, October 2017. (215
pages, PhD thesis)
- UCAM-CL-TR-912
- Ang Kun Joo Michael, Emma Valla, Natinael Solomon Neggatu, Andrew W. Moore: Network
traffic classification via neural networks, September 2017. (25
pages)
- UCAM-CL-TR-911
- Dominic Orchard, Mistral Contrastin, Matthew Danish, Andrew Rice:
Proofs
for ‘Verifying Spatial Properties of Array Computations’, September
2017. (8 pages)
- UCAM-CL-TR-910
- William Denman: Automated
verification of continuous and hybrid dynamical systems, July 2017.
(178 pages, PhD thesis)
- UCAM-CL-TR-909
- Laurent Simon:
Exploring
new attack vectors for the exploitation of smartphones, July 2017.
(167 pages, PhD thesis)
- UCAM-CL-TR-908
- Raphaël L. Proust: ASAP: As
Static As Possible memory management, July 2017. (147 pages, PhD
thesis)
- UCAM-CL-TR-907
- Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Jonathan Anderson, John Baldwin, David Chisnall, Brooks Davis, Alexandre Joannou, Ben Laurie, Simon W. Moore, Steven J. Murdoch, Robert Norton, Stacey Son, Hongyan Xia: Capability
Hardware Enhanced RISC Instructions: CHERI Instruction-Set Architecture
(Version 6), April 2017. (307 pages)
- UCAM-CL-TR-906
- Tomas Petricek: Context-aware
programming languages, March 2017. (218 pages, PhD thesis)
- UCAM-CL-TR-905
- William Sonnex: Fixed
point promotion: taking the induction out of automated induction,
March 2017. (170 pages, PhD thesis)
- UCAM-CL-TR-904
- Zheng Yuan: Grammatical
error correction in non-native English, March 2017. (145 pages, PhD
thesis)
- UCAM-CL-TR-903
- Jannis Bulian: Parameterized
complexity of distances to sparse graph classes, February 2017. (133
pages, PhD thesis)
- UCAM-CL-TR-902
- Raoul-Gabriel Urma:
Programming
language evolution, February 2017. (129 pages, PhD thesis)
- UCAM-CL-TR-901
- Chao Gao: Signal
maps for smartphone localisation, February 2017. (127 pages, PhD
thesis)
- UCAM-CL-TR-900
- Valentin Dalibard: A
framework to build bespoke auto-tuners with structured Bayesian
optimisation, February 2017. (182 pages, PhD thesis)
- UCAM-CL-TR-899
- Douwe Kiela: Deep
embodiment: grounding semantics in perceptual modalities, February
2017. (128 pages, PhD thesis)
- UCAM-CL-TR-898
- Dongting Yu: Access
control for network management, January 2017. (108 pages, PhD
thesis)
- UCAM-CL-TR-897
- Sheharbano Khattak:
Characterization
of Internet censorship from multiple perspectives, January 2017.
(170 pages, PhD thesis)
- UCAM-CL-TR-896
- Kumar Sharad: Learning
to de-anonymize social networks, December 2016. (158 pages, PhD
thesis)
- UCAM-CL-TR-895
- Mariano Felice: Artificial
error generation for translation-based grammatical error correction,
October 2016. (155 pages, PhD thesis)
- UCAM-CL-TR-894
- Christopher Bryant, Mariano Felice: Issues
in preprocessing current datasets for grammatical error correction,
September 2016. (15 pages)
- UCAM-CL-TR-893
- Thomas F. J.-M. Pasquier: Towards
practical information flow control and audit, July 2016. (153 pages,
PhD thesis)
- UCAM-CL-TR-892
- A. Daniel Hall: Pipelined
image processing for pattern recognition, July 2016. (121 pages, PhD
thesis)
- UCAM-CL-TR-891
- Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Jonathan Anderson, David Chisnall, Brooks Davis, Alexandre Joannou, Ben Laurie, Simon W. Moore, Steven J. Murdoch, Robert Norton, Stacey Son, Hongyan Xia: Capability
Hardware Enhanced RISC Instructions: CHERI Instruction-Set Architecture
(Version 5), June 2016. (242 pages)
- UCAM-CL-TR-890
- Alistair G. Stead: Using
multiple representations to develop notational expertise in
programming, June 2016. (301 pages, PhD thesis)
- UCAM-CL-TR-889
- Sherif Akoush, Ripduman Sohan, Andrew Rice, Andy Hopper: Evaluating
the viability of remote renewable energy in datacentre computing,
May 2016. (26 pages)
- UCAM-CL-TR-888
- Sherif Akoush, Ripduman Sohan, Andy Hopper: Recomputation-based
data reliability for MapReduce using lineage, May 2016. (19 pages)
- UCAM-CL-TR-887
- Robert M. Norton: Hardware
support for compartmentalisation, May 2016. (86 pages, PhD thesis)
- UCAM-CL-TR-886
- Ekaterina Kochmar: Error
detection in content word combinations, May 2016. (170 pages, PhD
thesis)
- UCAM-CL-TR-885
- Sean B. Holden: HasGP: A
Haskell library for Gaussian process inference, April 2016. (6
pages)
- UCAM-CL-TR-884
- Zongyan Huang: Machine
learning and computer algebra, April 2016. (113 pages, PhD thesis)
- UCAM-CL-TR-883
- Richard Russell, Sean B. Holden: Survey
propagation applied to weighted partial maximum satisfiability,
March 2016. (15 pages)
- UCAM-CL-TR-882
- Niall Murphy: Discovering
and exploiting parallelism in DOACROSS loops, March 2016. (129
pages, PhD thesis)
- UCAM-CL-TR-881
- Juan M. Tirado, Ovidiu Serban, Qiang Guo, Eiko Yoneki: Web data
knowledge extraction, March 2016. (60 pages)
- UCAM-CL-TR-880
- Janina Voigt: Access
contracts: a dynamic approach to object-oriented access protection,
February 2016. (171 pages, PhD thesis)
- UCAM-CL-TR-879
- Ramana Kumar: Self-compilation
and self-verification, February 2016. (148 pages, PhD thesis)
- UCAM-CL-TR-878
- Marios O. Choudary: Efficient
multivariate statistical techniques for extracting secrets from
electronic devices, September 2015. (164 pages, PhD thesis)
- UCAM-CL-TR-877
- Robert N. M. Watson, David Chisnall, Brooks Davis,
Wojciech Koszek, Simon W. Moore, Steven J. Murdoch, Peter G. Neumann, Jonathan Woodruff: Capability
Hardware Enhanced RISC Instructions: CHERI Programmer’s Guide,
September 2015. (58 pages)
- UCAM-CL-TR-876
- Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Michael Roe, Jonathan Anderson, David Chisnall, Brooks Davis, Alexandre Joannou, Ben Laurie, Simon W. Moore, Steven J. Murdoch, Robert Norton, Stacey Son: Capability
Hardware Enhanced RISC Instructions: CHERI Instruction-Set
Architecture, September 2015. (198 pages)
- UCAM-CL-TR-875
- Theodosia Togia: The
language of collaborative tagging, September 2015. (203 pages, PhD
thesis)
- UCAM-CL-TR-874
- Zhen Bai: Augmented
Reality interfaces for symbolic play in early childhood, September
2015. (292 pages, PhD thesis)
- UCAM-CL-TR-873
- Khilan Gudka, Robert N.M. Watson, Jonathan Anderson, David Chisnall, Brooks Davis, Ben Laurie, Ilias Marinos, Peter G. Neumann, Alex Richardson: Clean
application compartmentalization with SOAAP (extended version),
August 2015. (35 pages)
- UCAM-CL-TR-872
- Jia Meng: The
integration of higher order interactive proof with first order automatic
theorem proving, July 2015. (144 pages, PhD thesis)
- UCAM-CL-TR-871
- Peter R. Calvert: Architecture-neutral
parallelism via the Join Calculus, July 2015. (150 pages, PhD
thesis)
- UCAM-CL-TR-870
- Ali Mustafa Zaidi: Accelerating
control-flow intensive code in spatial hardware, May 2015. (170
pages, PhD thesis)
- UCAM-CL-TR-869
- Robert N. M. Watson, David Chisnall, Brooks Davis,
Wojciech Koszek, Simon W. Moore, Steven J. Murdoch, Peter G. Neumann, Jonathan Woodruff: Bluespec
Extensible RISC Implementation: BERI Software reference, April 2015.
(27 pages)
- UCAM-CL-TR-868
- Robert N. M. Watson, Jonathan Woodruff, David Chisnall, Brooks Davis,
Wojciech Koszek, A. Theodore Markettos, Simon W. Moore, Steven J. Murdoch, Peter G. Neumann, Robert Norton, Michael Roe: Bluespec
Extensible RISC Implementation: BERI Hardware reference, April 2015.
(82 pages)
- UCAM-CL-TR-867
- Nikolai Sultana: Higher-order
proof translation, April 2015. (158 pages, PhD thesis)
- UCAM-CL-TR-866
- Ilias Giechaskiel, George Panagopoulos, Eiko Yoneki: PDTL:
Parallel and distributed triangle listing for massive graphs, April
2015. (14 pages)
- UCAM-CL-TR-865
- Christopher S.F. Smowton: I/O
Optimisation and elimination via partial evaluation, December 2014.
(129 pages, PhD thesis)
- UCAM-CL-TR-864
- Robert N. M. Watson, Peter G. Neumann, Jonathan Woodruff, Jonathan Anderson, David Chisnall, Brooks Davis, Ben Laurie, Simon W. Moore, Steven J. Murdoch, Michael Roe: Capability
Hardware Enhanced RISC Instructions: CHERI Instruction-set
architecture, December 2014. (142 pages)
- UCAM-CL-TR-863
- Jatinder Singh, Jean Bacon, Jon Crowcroft, Anil Madhavapeddy, Thomas Pasquier, W. Kuan Hon,
Christopher Millard: Regional
clouds: technical considerations, November 2014. (18 pages)
- UCAM-CL-TR-862
- Henrik Lieng: Surface
modelling for 2D imagery, October 2014. (177 pages, PhD thesis)
- UCAM-CL-TR-861
- Tadas Baltrusaitis: Automatic
facial expression analysis, October 2014. (218 pages, PhD thesis)
- UCAM-CL-TR-860
- Steffen Loesch: Program
equivalence in functional metaprogramming via nominal Scott domains,
October 2014. (164 pages, PhD thesis)
- UCAM-CL-TR-859
- Lucian Carata, Oliver Chick, James Snee, Ripduman Sohan, Andrew Rice, Andy Hopper: Resourceful:
fine-grained resource accounting for explaining service variability,
September 2014. (12 pages)
- UCAM-CL-TR-858
- Jonathan D. Woodruff: CHERI: A
RISC capability machine for practical memory safety, July 2014. (112
pages, PhD thesis)
- UCAM-CL-TR-857
- Heidi Howard: ARC:
Analysis of Raft Consensus, July 2014. (69 pages)
- UCAM-CL-TR-856
- Awais Athar: Sentiment
analysis of scientific citations, June 2014. (114 pages, PhD thesis)
- UCAM-CL-TR-855
- Patrick K.A. Wollner, Isak Herman,
Haikal Pribadi, Leonardo Impett, Alan F. Blackwell: Mephistophone,
June 2014. (8 pages)
- UCAM-CL-TR-854
- Dominic Orchard: Programming
contextual computations, May 2014. (223 pages, PhD thesis)
- UCAM-CL-TR-853
- Robert N.M. Watson, David Chisnall, Brooks Davis,
Wojciech Koszek, Simon W. Moore, Steven J. Murdoch, Peter G. Neumann, Jonathan Woodruff: Bluespec
Extensible RISC Implementation: BERI Software reference, April 2014.
(34 pages)
- UCAM-CL-TR-852
- Robert N.M. Watson, Jonathan Woodruff, David Chisnall, Brooks Davis,
Wojciech Koszek, A. Theodore Markettos, Simon W. Moore, Steven J. Murdoch, Peter G. Neumann, Robert Norton, Michael Roe: Bluespec
Extensible RISC Implementation: BERI Hardware reference, April 2014.
(76 pages)
- UCAM-CL-TR-851
- Robert N.M. Watson, David Chisnall, Brooks Davis,
Wojciech Koszek, Simon W. Moore, Steven J. Murdoch, Peter G. Neumann, Jonathan Woodruff: Capability
Hardware Enhanced RISC Instructions: CHERI User’s guide, April 2014.
(26 pages)
- UCAM-CL-TR-850
- Robert N.M. Watson, Peter G. Neumann, Jonathan Woodruff, Jonathan Anderson, David Chisnall, Brooks Davis, Ben Laurie, Simon W. Moore, Steven J. Murdoch, Michael Roe: Capability
Hardware Enhanced RISC Instructions: CHERI Instruction-set
architecture, April 2014. (131 pages)
- UCAM-CL-TR-849
- Marcelo Bagnulo Braun, Jon Crowcroft: SNA:
Sourceless Network Architecture, March 2014. (12 pages)
- UCAM-CL-TR-848
- James G. Jardine: Automatically
generating reading lists, February 2014. (164 pages, PhD thesis)
- UCAM-CL-TR-847
- Jatinder Singh, Jean Bacon: SBUS: a
generic policy-enforcing middleware for open pervasive systems,
February 2014. (20 pages)
- UCAM-CL-TR-846
- Daniel Bates: Exploiting
tightly-coupled cores, January 2014. (162 pages, PhD thesis)
- UCAM-CL-TR-845
- Stephen Kell: Black-box
composition of mismatched software components, December 2013. (251
pages, PhD thesis)
- UCAM-CL-TR-844
- Wei Ming Khoo: Decompilation
as search, November 2013. (119 pages, PhD thesis)
- UCAM-CL-TR-843
- Robin Message: Programming
for humans: a new paradigm for domain-specific languages, November
2013. (140 pages, PhD thesis)
- UCAM-CL-TR-842
- Helen Yannakoudakis: Automated
assessment of English-learner writing, October 2013. (151 pages, PhD
thesis)
- UCAM-CL-TR-841
- Arjuna Sathiaseelan, Dirk Trossen, Ioannis Komnios, Joerg Ott, Jon Crowcroft: Information
centric delay tolerant networking: an internet architecture for the
challenged, September 2013. (11 pages)
- UCAM-CL-TR-840
- Marek Rei: Minimally
supervised dependency-based methods for natural language processing,
September 2013. (169 pages, PhD thesis)
- UCAM-CL-TR-839
- Colin Kelly: Automatic
extraction of property norm-like data from large text corpora,
September 2013. (154 pages, PhD thesis)
- UCAM-CL-TR-838
- Silvia Breu: Mining
and tracking in evolving software, June 2013. (104 pages, PhD
thesis)
- UCAM-CL-TR-837
- Hamed Haddadi, Richard Mortier, Derek McAuley, Jon Crowcroft: Human-data
interaction, June 2013. (9 pages)
- UCAM-CL-TR-836
- Janina Voigt, Alan Mycroft: Aliasing
contracts: a dynamic approach to alias protection, June 2013. (27
pages)
- UCAM-CL-TR-835
- Maximilian C. Bolingbroke: Call-by-need
supercompilation, May 2013. (230 pages, PhD thesis)
- UCAM-CL-TR-834
- John Wickerson: Concurrent
verification for sequential programs, May 2013. (149 pages, PhD
thesis)
- UCAM-CL-TR-833
- Alan F. Blackwell, Ignatios Charalampidis: Practice-led
design and evaluation of a live visual constraint language, May
2013. (16 pages)
- UCAM-CL-TR-832
- Gregory A. Chadwick: Communication
centric, multi-core, fine-grained processor architecture, April
2013. (165 pages, PhD thesis)
- UCAM-CL-TR-831
- Meredydd Luff:
Communication
for programmability and performance on multi-core processors, April
2013. (89 pages, PhD thesis)
- UCAM-CL-TR-830
- Paul J. Fox: Massively
parallel neural computation, March 2013. (105 pages, PhD thesis)
- UCAM-CL-TR-829
- Philip Christopher Paul: Microelectronic
security measures, February 2013. (177 pages, PhD thesis)
- UCAM-CL-TR-828
- Rosemary M. Francis: Exploring
networks-on-chip for FPGAs, January 2013. (121 pages, PhD thesis)
- UCAM-CL-TR-827
- Omar S. Choudary: The
smart card detective: a hand-held EMV interceptor, December 2012.
(55 pages)
- UCAM-CL-TR-826
- Fernando M. V. Ramos: GREEN
IPTV: a resource and energy efficient network for IPTV, December
2012. (152 pages, PhD thesis)
- UCAM-CL-TR-825
- Jonathan Anderson: Privacy
engineering for social networks, December 2012. (255 pages, PhD
thesis)
- UCAM-CL-TR-824
- Simon Frankau: Hardware
synthesis from a stream-processing functional language, November
2012. (202 pages, PhD thesis)
- UCAM-CL-TR-823
- Amitabha Roy, Karthik Nilakant, Valentin Dalibard, Eiko Yoneki: Mitigating
I/O latency in SSD-based graph traversal, November 2012. (27 pages)
- UCAM-CL-TR-822
- Richard A. Russell: Planning
with preferences using maximum satisfiability, October 2012. (160
pages, PhD thesis)
- UCAM-CL-TR-821
- Charles Reams: Modelling
energy efficiency for computation, October 2012. (135 pages, PhD
thesis)
- UCAM-CL-TR-820
- Eiko Yoneki, Amitabha Roy: A
unified graph query layer for multiple databases, August 2012. (22
pages)
- UCAM-CL-TR-819
- Joseph Bonneau: Guessing
human-chosen secrets, May 2012. (161 pages, PhD thesis)
- UCAM-CL-TR-818
- Robert N. M. Watson: New
approaches to operating system security extensibility, April 2012.
(184 pages, PhD thesis)
- UCAM-CL-TR-817
- Joseph Bonneau, Cormac Herley,
Paul C. van Oorschot, Frank Stajano: The
quest to replace passwords: a framework for comparative evaluation of
Web authentication schemes, March 2012. (32 pages)
- UCAM-CL-TR-816
- Jean E. Martina: Verification
of security protocols based on multicast communication, March 2012.
(150 pages, PhD thesis)
- UCAM-CL-TR-815
- Christian Richardt: Colour
videos with depth: acquisition, processing and evaluation, March
2012. (132 pages, PhD thesis)
- UCAM-CL-TR-814
- Arjuna Sathiaseelan, Jon Crowcroft: The free
Internet: a distant mirage or near reality?, February 2012. (10
pages)
- UCAM-CL-TR-813
- Andrew B. Lewis:
Reconstructing
compressed photo and video data, February 2012. (148 pages, PhD
thesis)
- UCAM-CL-TR-812
- Pedro Brandão: Abstracting
information on body area networks, January 2012. (144 pages, PhD
thesis)
- UCAM-CL-TR-811
- A. Theodore Markettos: Active
electromagnetic attacks on secure hardware, December 2011. (217
pages, PhD thesis)
- UCAM-CL-TR-810
- Nick Barrow-Williams: Proximity
Coherence for chip-multiprocessors, November 2011. (164 pages, PhD
thesis)
- UCAM-CL-TR-809
- John L. Miller: Distributed
virtual environment scalability and security, October 2011. (98
pages, PhD thesis)
- UCAM-CL-TR-808
- Matko Botinčan, Mike Dodds, Suresh Jagannathan: Resource-sensitive
synchronisation inference by abduction, January 2012. (57 pages)
- UCAM-CL-TR-807
- Ola Mahmoud: Second-order
algebraic theories, October 2011. (133 pages, PhD thesis)
- UCAM-CL-TR-806
- Damien Fay, Jérôme Kunegis, Eiko Yoneki: On joint
diagonalisation for dynamic network analysis, October 2011. (12
pages)
- UCAM-CL-TR-805
- Simon Hay: A model
personal energy meter, September 2011. (207 pages, PhD thesis)
- UCAM-CL-TR-804
- Sean B. Holden: The
HasGP user manual, September 2011. (18 pages)
- UCAM-CL-TR-803
- Ekaterina V. Shutova: Computational
approaches to figurative language, August 2011. (219 pages, PhD
thesis)
- UCAM-CL-TR-802
- Johanna Geiß: Latent
semantic sentence clustering for multi-document summarization, July
2011. (156 pages, PhD thesis)
- UCAM-CL-TR-801
- Amitabha Roy: Software
lock elision for x86 machine code, July 2011. (154 pages, PhD
thesis)
- UCAM-CL-TR-800
- James R. Srinivasan: Improving
cache utilisation, June 2011. (184 pages, PhD thesis)
- UCAM-CL-TR-799
- Thomas Tuerk: A
separation logic framework for HOL, June 2011. (271 pages, PhD
thesis)
- UCAM-CL-TR-798
- Periklis Akritidis: Practical
memory safety for C, June 2011. (136 pages, PhD thesis)
- UCAM-CL-TR-797
- Boris Feigin: Interpretational
overhead in system software, April 2011. (116 pages, PhD thesis)
- UCAM-CL-TR-796
- Jonathan Mak: Facilitating
program parallelisation: a profiling-based approach, March 2011.
(120 pages, PhD thesis)
- UCAM-CL-TR-795
- Aurelie Herbelot: Underspecified
quantification, February 2011. (163 pages, PhD thesis)
- UCAM-CL-TR-794
- Øistein E. Andersen: Grammatical
error prediction, January 2011. (163 pages, PhD thesis)
- UCAM-CL-TR-793
- Shazia Afzal: Affect
inference in learning environments: a functional view of facial affect
analysis using naturalistic data, December 2010. (146 pages, PhD
thesis)
- UCAM-CL-TR-792
- James P. Bridge: Machine
learning and automated theorem proving, November 2010. (180 pages,
PhD thesis)
- UCAM-CL-TR-791
- Andreas Vlachos: Semi-supervised
learning for biomedical information extraction, November 2010. (113
pages, PhD thesis)
- UCAM-CL-TR-790
- Ted Briscoe, Ben Medlock, Øistein Andersen: Automated
assessment of ESOL free text examinations, November 2010. (31 pages)
- UCAM-CL-TR-789
- Byron Cook, Eric Koskinen: Making
prophecies with decision predicates, November 2010. (29 pages)
- UCAM-CL-TR-788
- Byron Cook, Eric Koskinen, Moshe Vardi: Branching-time
reasoning for programs (extended version), July 2011. (38 pages)
- UCAM-CL-TR-787
- Daniel Bernhardt: Emotion
inference from human body motion, October 2010. (227 pages, PhD
thesis)
- UCAM-CL-TR-786
- Arnab Banerjee: Communication
flows in power-efficient Networks-on-Chips, August 2010. (107 pages,
PhD thesis)
- UCAM-CL-TR-785
- Aaron R. Coble: Anonymity,
information, and machine-assisted proof, July 2010. (171 pages, PhD
thesis)
- UCAM-CL-TR-784
- Ripduman Sohan, Andrew Rice, Andrew W. Moore,
Kieran Mansley: Characterizing
10 Gbps network interface energy consumption, July 2010. (10 pages)
- UCAM-CL-TR-783
- Dan O’Keeffe: Distributed
complex event detection for pervasive computing, July 2010. (170
pages, PhD thesis)
- UCAM-CL-TR-782
- Jonathan M. Hayman: Petri
net semantics, June 2010. (252 pages, PhD thesis)
- UCAM-CL-TR-781
- Minor E. Gordon: Stage
scheduling for CPU-intensive servers, June 2010. (119 pages, PhD
thesis)
- UCAM-CL-TR-780
- Michael Roe: Cryptography
and evidence, May 2010. (75 pages, PhD thesis)
- UCAM-CL-TR-779
- Eric K. Henderson: A text
representation language for contextual and distributional
processing, April 2010. (207 pages, PhD thesis)
- UCAM-CL-TR-778
- Viktor Vafeiadis: Automatically
proving linearizability, September 2016. (19 pages)
- UCAM-CL-TR-777
- Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Matthew Parkinson,
Viktor Vafeiadis: Concurrent
Abstract Predicates, April 2010. (43 pages)
- UCAM-CL-TR-776
- Kathryn E. Gray, Alan Mycroft: System
tests from unit tests, March 2010. (27 pages)
- UCAM-CL-TR-775
- Anil Madhavapeddy: Creating
high-performance, statically type-safe network applications, March
2010. (169 pages, PhD thesis)
- UCAM-CL-TR-774
- John Wickerson,
Mike Dodds, Matthew Parkinson: Explicit
stabilisation for modular rely-guarantee reasoning, March 2010. (29
pages)
- UCAM-CL-TR-773
- Thomas J. Cashman: NURBS-compatible
subdivision surfaces, March 2010. (99 pages, PhD thesis)
- UCAM-CL-TR-772
- Matthew R. Lakin: An
executable meta-language for inductive definitions with binders,
March 2010. (171 pages, PhD thesis)
- UCAM-CL-TR-771
- Cecily Morrison: Bodies-in-Space:
investigating technology usage in co-present group interaction,
March 2010. (147 pages, PhD thesis)
- UCAM-CL-TR-770
- Jatinder Singh: Controlling
the dissemination and disclosure of healthcare events, February
2010. (193 pages, PhD thesis)
- UCAM-CL-TR-769
- Sriram Srinivasan: Kilim: A
server framework with lightweight actors, isolation types and zero-copy
messaging, February 2010. (127 pages, PhD thesis)
- UCAM-CL-TR-768
- Cecily Morrison, Adona Iosif, Miklos Danka: Report
on existing open-source electronic medical records, February 2010.
(12 pages)
- UCAM-CL-TR-767
- Massimo Ostilli, Eiko Yoneki, Ian X. Y. Leung,
Jose F. F. Mendes, Pietro Lió, Jon Crowcroft: Ising
model of rumour spreading in interacting communities, January 2010.
(24 pages)
- UCAM-CL-TR-766
- Julian M. Smith: Towards
robust inexact geometric computation, December 2009. (186 pages, PhD
thesis)
- UCAM-CL-TR-765
- Magnus O. Myreen: Formal
verification of machine-code programs, December 2009. (109 pages,
PhD thesis)
- UCAM-CL-TR-764
- Caroline V. Gasperin: Statistical
anaphora resolution in biomedical texts, December 2009. (124 pages,
PhD thesis)
- UCAM-CL-TR-763
- Saar Drimer: Security
for volatile FPGAs, November 2009. (169 pages, PhD thesis)
- UCAM-CL-TR-762
- Evangelia Kalyvianaki: Resource
provisioning for virtualized server applications, November 2009.
(161 pages, PhD thesis)
- UCAM-CL-TR-761
- Jonathan J. Davies: Programming
networks of vehicles, November 2009. (292 pages, PhD thesis)
- UCAM-CL-TR-760
- Alan F. Blackwell, Lee Wilson, Alice Street,
Charles Boulton, John Knell: Radical
innovation: crossing knowledge boundaries with interdisciplinary
teams, November 2009. (124 pages)
- UCAM-CL-TR-759
- Eric Koskinen, Matthew Parkinson, Maurice Herlihy: Coarse-grained
transactions (extended version), August 2011. (34 pages)
- UCAM-CL-TR-758
- Alexey Gotsman: Logics
and analyses for concurrent heap-manipulating programs, October
2009. (160 pages, PhD thesis)
- UCAM-CL-TR-757
- Mark Adcock: Improving
cache performance by runtime data movement, July 2009. (174 pages,
PhD thesis)
- UCAM-CL-TR-756
- Hamed Haddadi, Damien Fay, Steve Uhlig, Andrew W. Moore, Richard Mortier, Almerima Jamakovic: Analysis
of the Internet’s structural evolution, September 2009. (13 pages)
- UCAM-CL-TR-755
- Yujian Gao, Aimin Hao, Qinping Zhao, Neil A. Dodgson: Skin-detached
surface for interactive large mesh editing, September 2009. (18
pages)
- UCAM-CL-TR-754
- Frank Stajano, Paul Wilson: Understanding
scam victims: seven principles for systems security, August 2009.
(22 pages)
- UCAM-CL-TR-753
- John L. Miller, Jon Crowcroft: Carbon:
trusted auditing for P2P distributed virtual environments, August
2009. (20 pages)
- UCAM-CL-TR-752
- Gerhard P. Hancke: Security
of proximity identification systems, July 2009. (161 pages, PhD
thesis)
- UCAM-CL-TR-751
- David C. Turner: Nominal
domain theory for concurrency, July 2009. (185 pages, PhD thesis)
- UCAM-CL-TR-750
- Marco Canini, Wei Li, Martin Zadnik, Andrew W. Moore: AtoZ: an
automatic traffic organizer using NetFPGA, May 2009. (27 pages)
- UCAM-CL-TR-749
- Pan Hui, Eiko Yoneki, Jon Crowcroft, Shu-Yan Chan: Identifying
social communities in complex communications for network efficiency,
May 2009. (14 pages)
- UCAM-CL-TR-748
- Marco Canini, Wei Li, Andrew W. Moore: GTVS:
boosting the collection of application traffic ground truth, April
2009. (20 pages)
- UCAM-CL-TR-747
- Fei Song, Hongke Zhang, Sidong Zhang, Fernando Ramos, Jon Crowcroft: An
estimator of forward and backward delay for multipath transport,
March 2009. (16 pages)
- UCAM-CL-TR-746
- Shishir Nagaraja, Ross Anderson: The
snooping dragon: social-malware surveillance of the Tibetan
movement, March 2009. (12 pages)
- UCAM-CL-TR-745
- Scott Owens, Susmit Sarkar,
Peter Sewell: A better
x86 memory model: x86-TSO (extended version), March 2009. (52 pages)
- UCAM-CL-TR-744
- Anna Ritchie: Citation
context analysis for information retrieval, March 2009. (119 pages,
PhD thesis)
- UCAM-CL-TR-743
- Rebecca F. Watson: Optimising
the speed and accuracy of a Statistical GLR Parser, March 2009. (145
pages, PhD thesis)
- UCAM-CL-TR-742
- Thomas Ridge, Michael Norrish, Peter Sewell: TCP,
UDP, and Sockets: Volume 3: The Service-level Specification,
February 2009. (305 pages)
- UCAM-CL-TR-741
- David N. Cottingham: Vehicular
wireless communication, January 2009. (264 pages, PhD thesis)
- UCAM-CL-TR-740
- Tal Sobol-Shikler: Analysis
of affective expression in speech, January 2009. (163 pages, PhD
thesis)
- UCAM-CL-TR-739
- Salman Taherian: State-based
Publish/Subscribe for sensor systems, January 2009. (240 pages, PhD
thesis)
- UCAM-CL-TR-738
- Scott Fairbanks: High
precision timing using self-timed circuits, January 2009. (99 pages,
PhD thesis)
- UCAM-CL-TR-737
- Na Xu: Static
contract checking for Haskell, December 2008. (175 pages, PhD
thesis)
- UCAM-CL-TR-736
- Mike Dodds, Xinyu Feng, Matthew Parkinson, Viktor Vafeiadis: Deny-guarantee
reasoning, January 2009. (82 pages)
- UCAM-CL-TR-735
- Diarmuid Ó Séaghdha: Learning
compound noun semantics, December 2008. (167 pages, PhD thesis)
- UCAM-CL-TR-734
- Philip Tuddenham: Tabletop
interfaces for remote collaboration, December 2008. (243 pages, PhD
thesis)
- UCAM-CL-TR-733
- Darren Edge: Tangible
user interfaces for peripheral interaction, December 2008. (237
pages, PhD thesis)
- UCAM-CL-TR-732
- Alban Rrustemi: Computing
surfaces – a platform for scalable interactive displays, November
2008. (156 pages, PhD thesis)
- UCAM-CL-TR-731
- Matthew Johnson: A new
approach to Internet banking, September 2008. (113 pages, PhD
thesis)
- UCAM-CL-TR-730
- Robert J. Ennals: Adaptive
evaluation of non-strict programs, August 2008. (243 pages, PhD
thesis)
- UCAM-CL-TR-729
- Damien Fay, Hamed Haddadi, Steve Uhlig, Andrew W. Moore, Richard Mortier, Almerima Jamakovic: Weighted
spectral distribution, September 2008. (13 pages)
- UCAM-CL-TR-728
- Peter J.C. Brown, Christopher T. Faigle: A robust
efficient algorithm for point location in triangulations, February
1997. (16 pages)
- UCAM-CL-TR-727
- Ruoshui Liu, Ian J. Wassell: A novel
auto-calibration system for wireless sensor motes, September 2008.
(65 pages)
- UCAM-CL-TR-726
- Viktor Vafeiadis: Modular
fine-grained concurrency verification, July 2008. (148 pages, PhD
thesis)
- UCAM-CL-TR-725
- Hamed Haddadi, Damien Fay, Almerima Jamakovic, Olaf Maennel, Andrew W. Moore, Richard Mortier, Miguel Rio, Steve Uhlig: Beyond
node degree: evaluating AS topology models, July 2008. (16 pages)
- UCAM-CL-TR-724
- Ulrich Paquet: Bayesian
inference for latent variable models, July 2008. (137 pages, PhD
thesis)
- UCAM-CL-TR-723
- Richard Southern: Animation
manifolds for representing topological alteration, July 2008. (131
pages, PhD thesis)
- UCAM-CL-TR-722
- Mbou Eyole-Monono: Energy-efficient
sentient computing, July 2008. (138 pages, PhD thesis)
- UCAM-CL-TR-721
- Ben W. Medlock: Investigating
classification for natural language processing tasks, June 2008.
(138 pages, PhD thesis)
- UCAM-CL-TR-720
- Lauri I.W. Pesonen: A
capability-based access control architecture for multi-domain
publish/subscribe systems, June 2008. (175 pages, PhD thesis)
- UCAM-CL-TR-719
- William H. Billingsley: The
Intelligent Book: technologies for intelligent and adaptive textbooks,
focussing on Discrete Mathematics, June 2008. (156 pages, PhD
thesis)
- UCAM-CL-TR-718
- Tyler Moore: Cooperative
attack and defense in distributed networks, June 2008. (172 pages,
PhD thesis)
- UCAM-CL-TR-717
- Stephen Julian Rymill: Psychologically-based
simulation of human behaviour, June 2008. (250 pages, PhD thesis)
- UCAM-CL-TR-716
- Gavin M. Bierman, Matthew J. Parkinson, James Noble: UpgradeJ:
Incremental typechecking for class upgrades, April 2008. (35 pages)
- UCAM-CL-TR-715
- Feng Hao: On using
fuzzy data in security mechanisms, April 2008. (69 pages, PhD
thesis)
- UCAM-CL-TR-714
- Tim Moreton: A
wide-area file system for migrating virtual machines, March 2008.
(163 pages, PhD thesis)
- UCAM-CL-TR-713
- Pan Hui: People
are the network: experimental design and evaluation of social-based
forwarding algorithms, March 2008. (160 pages, PhD thesis)
- UCAM-CL-TR-712
- Christian Richardt: Flash-exposure
high dynamic range imaging: virtual photography and depth-compensating
flash, March 2008. (9 pages)
- UCAM-CL-TR-711
- Saar Drimer, Steven J. Murdoch, Ross Anderson: Thinking
inside the box: system-level failures of tamper proofing, February
2008. (37 pages)
- UCAM-CL-TR-710
- Lucy G. Brace-Evans: Event
structures with persistence, February 2008. (113 pages, PhD thesis)
- UCAM-CL-TR-709
- Ford Long Wong: Protocols
and technologies for security in pervasive computing and
communications, January 2008. (167 pages, PhD thesis)
- UCAM-CL-TR-708
- Chi-Kin Chau, Jon Crowcroft, Kang-Won Lee,
Starsky H.Y. Wong: IDRM:
Inter-Domain Routing Protocol for Mobile Ad Hoc Networks, January
2008. (24 pages)
- UCAM-CL-TR-707
- Ian Caulfield: Complexity-effective
superscalar embedded processors using instruction-level distributed
processing, December 2007. (130 pages, PhD thesis)
- UCAM-CL-TR-706
- Steven J. Murdoch: Covert
channel vulnerabilities in anonymity systems, December 2007. (140
pages, PhD thesis)
- UCAM-CL-TR-705
- Alan C. Lawrence: Optimizing
compilation with the Value State Dependence Graph, December 2007.
(183 pages, PhD thesis)
- UCAM-CL-TR-704
- Paul William Hunter: Complexity
and infinite games on finite graphs, November 2007. (170 pages, PhD
thesis)
- UCAM-CL-TR-703
- Jon Crowcroft, Tim Deegan, Christian Kreibich, Richard Mortier, Nicholas Weaver: Lazy
Susan: dumb waiting as proof of work, November 2007. (23 pages)
- UCAM-CL-TR-702
- Alisdair Wren: Relationships
for object-oriented programming languages, November 2007. (153
pages, PhD thesis)
- UCAM-CL-TR-701
- Jacques Jean-Alain Fournier: Vector
microprocessors for cryptography, October 2007. (174 pages, PhD
thesis)
- UCAM-CL-TR-700
- Maja Vuković: Context
aware service composition, October 2007. (225 pages, PhD thesis)
- UCAM-CL-TR-699
- Richard Southern, Neil A. Dodgson: A smooth
manifold based construction of approximating lofted surfaces,
October 2007. (17 pages)
- UCAM-CL-TR-698
- Simon J. Hollis: Pulse-based,
on-chip interconnect, September 2007. (186 pages, PhD thesis)
- UCAM-CL-TR-697
- Chris J. Purcell: Scaling
Mount Concurrency: scalability and progress in concurrent
algorithms, August 2007. (155 pages, PhD thesis)
- UCAM-CL-TR-696
- Oliver J. Woodman: An
introduction to inertial navigation, August 2007. (37 pages)
- UCAM-CL-TR-695
- Karen Su, Inaki Berenguer, Ian J. Wassell,
Xiaodong Wang: Efficient
maximum-likelihood decoding of spherical lattice codes, July 2007.
(29 pages)
- UCAM-CL-TR-694
- Piotr Zieliński: Anti-Ω:
the weakest failure detector for set agreement, July 2007. (24
pages)
- UCAM-CL-TR-693
- Piotr Zieliński: Automatic
classification of eventual failure detectors, July 2007. (21 pages)
- UCAM-CL-TR-692
- Alan F. Blackwell: Toward
an undergraduate programme in Interdisciplinary Design, July 2007.
(13 pages)
- UCAM-CL-TR-691
- Neil A. Dodgson,
Malcolm A. Sabin, Richard Southern: Preconditions
on geometrically sensitive subdivision schemes, August 2007. (13
pages)
- UCAM-CL-TR-690
- Russell Glen Ross: Cluster
storage for commodity computation, June 2007. (178 pages, PhD
thesis)
- UCAM-CL-TR-689
- Ursula H. Augsdörfer, Neil A. Dodgson,
Malcolm A. Sabin: Removing
polar rendering artifacts in subdivision surfaces, June 2007. (7
pages)
- UCAM-CL-TR-688
- Sam Staton: Name-passing
process calculi: operational models and structural operational
semantics, June 2007. (245 pages, PhD thesis)
- UCAM-CL-TR-687
- Viktor Vafeiadis, Matthew Parkinson: A
marriage of rely/guarantee and separation logic, June 2007. (31
pages)
- UCAM-CL-TR-686
- Andrew C. Rice: Dependable
systems for Sentient Computing, May 2007. (150 pages)
- UCAM-CL-TR-685
- John Daugman, Cathryn Downing: Effect
of severe image compression on iris recognition performance, May
2007. (20 pages)
- UCAM-CL-TR-684
- Pan Hui, Jon Crowcroft: Bubble
Rap: Forwarding in small world DTNs in ever decreasing circles, May
2007. (44 pages)
- UCAM-CL-TR-683
- Martin Kleppmann: Simulation
of colliding constrained rigid bodies, April 2007. (65 pages)
- UCAM-CL-TR-682
- Juliano Iyoda: Translating
HOL functions to hardware, April 2007. (89 pages, PhD thesis)
- UCAM-CL-TR-681
- Piotr Zieliński: Indirect
channels: a bandwidth-saving technique for fault-tolerant protocols,
April 2007. (24 pages)
- UCAM-CL-TR-680
- Jing Su, James Scott, Pan Hui, Eben Upton, Meng How Lim,
Christophe Diot, Jon Crowcroft, Ashvin Goel,
Eyal de Lara: Haggle:
Clean-slate networking for mobile devices, January 2007. (30 pages)
- UCAM-CL-TR-679
- Karen Spärck Jones:
Automatic
summarising: a review and discussion of the state of the art,
January 2007. (67 pages)
- UCAM-CL-TR-678
- Andrew D. Twigg: Compact
forbidden-set routing, December 2006. (115 pages, PhD thesis)
- UCAM-CL-TR-677
- Eiko Yoneki: ECCO:
Data centric asynchronous communication, December 2006. (210 pages,
PhD thesis)
- UCAM-CL-TR-676
- R.J. Gibbens, Y. Saacti: Road
traffic analysis using MIDAS data: journey time prediction, December
2006. (35 pages)
- UCAM-CL-TR-675
- Paula J. Buttery: Computational
models for first language acquisition, November 2006. (176 pages,
PhD thesis)
- UCAM-CL-TR-674
- Meng How Lim: Landmark
Guided Forwarding, October 2006. (109 pages, PhD thesis)
- UCAM-CL-TR-673
- Judita Preiss: Probabilistic
word sense disambiguation : Analysis and techniques for combining
knowledge sources, August 2006. (108 pages, PhD thesis)
- UCAM-CL-TR-672
- Calicrates Policroniades-Borraz: Decomposing
file data into discernible items, August 2006. (230 pages, PhD
thesis)
- UCAM-CL-TR-671
- Piotr Zieliński: Low-latency
Atomic Broadcast in the presence of contention, July 2006. (23
pages)
- UCAM-CL-TR-670
- Sarah Thompson: On the
application of program analysis and transformation to high reliability
hardware, July 2006. (215 pages, PhD thesis)
- UCAM-CL-TR-669
- David M. Eyers: Active
privilege management for distributed access control systems, June
2006. (222 pages, PhD thesis)
- UCAM-CL-TR-668
- Piotr Zieliński: Optimistically
Terminating Consensus, June 2006. (35 pages)
- UCAM-CL-TR-667
- Piotr Zieliński: Minimizing
latency of agreement protocols, June 2006. (239 pages, PhD thesis)
- UCAM-CL-TR-666
- Mike Bond, George Danezis: A pact
with the Devil, June 2006. (14 pages)
- UCAM-CL-TR-665
- Huiyun Li: Security
evaluation at design time for cryptographic hardware, April 2006.
(81 pages, PhD thesis)
- UCAM-CL-TR-664
- Alan F. Blackwell: Designing
knowledge: An interdisciplinary experiment in research infrastructure
for shared description, April 2006. (18 pages)
- UCAM-CL-TR-663
- Richard Bergmair: Syntax-driven
analysis of context-free languages with respect to fuzzy relational
semantics, March 2006. (49 pages)
- UCAM-CL-TR-662
- Ted Briscoe: An
introduction to tag sequence grammars and the RASP system parser,
March 2006. (30 pages)
- UCAM-CL-TR-661
- Anna Ritchie: Compatible
RMRS representations from RASP and the ERG, March 2006. (41 pages)
- UCAM-CL-TR-660
- Jeremy Singer: Static
program analysis based on virtual register renaming, February 2006.
(183 pages, PhD thesis)
- UCAM-CL-TR-659
- Viktor Vafeiadis, Maurice Herlihy, Tony Hoare,
Marc Shapiro: A safety
proof of a lazy concurrent list-based set implementation, January
2006. (19 pages)
- UCAM-CL-TR-658
- Carsten Moenning: Intrinsic
point-based surface processing, January 2006. (166 pages, PhD
thesis)
- UCAM-CL-TR-657
- Hyun-Jin Choi: Security
protocol design by composition, January 2006. (155 pages, PhD
thesis)
- UCAM-CL-TR-656
- Pablo Vidales: Seamless
mobility in 4G systems, November 2005. (141 pages, PhD thesis)
- UCAM-CL-TR-655
- Karen Spärck Jones:
Wearing
proper combinations, November 2005. (27 pages)
- UCAM-CL-TR-654
- Matthew J. Parkinson: Local
reasoning for Java, November 2005. (120 pages, PhD thesis)
- UCAM-CL-TR-653
- Richard Clayton: Anonymity and traceability
in cyberspace, November 2005. (189 pages, PhD thesis)
- UCAM-CL-TR-652
- Roongroj Nopsuwanchai: Discriminative
training methods and their applications to handwriting recognition,
November 2005. (186 pages, PhD thesis)
- UCAM-CL-TR-651
- Rob Hague: End-user
programming in multiple languages, October 2005. (122 pages, PhD
thesis)
- UCAM-CL-TR-650
- Rashid Mehmood, Jon Crowcroft: Parallel
iterative solution method for large sparse linear equation systems,
October 2005. (22 pages)
- UCAM-CL-TR-649
- Mark Grundland, Neil A. Dodgson: The
decolorize algorithm for contrast enhancing, color to grayscale
conversion, October 2005. (15 pages)
- UCAM-CL-TR-648
- Moritz Y. Becker: Cassandra:
flexible trust management and its application to electronic health
records, October 2005. (214 pages, PhD thesis)
- UCAM-CL-TR-647
- Sam Staton: An agent
architecture for simulation of end-users in programming-like tasks,
October 2005. (12 pages)
- UCAM-CL-TR-645
- Frank Stajano: RFID is
X-ray vision, August 2005. (10 pages)
- UCAM-CL-TR-644
- Paul Youn, Ben Adida, Mike Bond, Jolyon Clulow, Jonathan Herzog,
Amerson Lin, Ronald L. Rivest, Ross Anderson: Robbing
the bank with a theorem prover, August 2005. (26 pages)
- UCAM-CL-TR-643
- Nathan E. Dimmock: Using
trust and risk for access control in Global Computing, August 2005.
(145 pages, PhD thesis)
- UCAM-CL-TR-642
- Gavin Bierman, Alisdair Wren: First-class
relationships in an object-oriented language, August 2005. (53
pages)
- UCAM-CL-TR-641
- Ross Anderson, Mike Bond, Jolyon Clulow, Sergei Skorobogatov: Cryptographic
processors – a survey, August 2005. (19 pages)
- UCAM-CL-TR-640
- Feng Hao, Ross Anderson, John Daugman: Combining
cryptography with biometrics effectively, July 2005. (17 pages)
- UCAM-CL-TR-639
- Chris Purcell, Tim Harris: Non-blocking
hashtables with open addressing, September 2005. (23 pages)
- UCAM-CL-TR-638
- Piotr Zieliński: Optimistic
Generic Broadcast, July 2005. (22 pages)
- UCAM-CL-TR-637
- Shishir Nagaraja, Ross Anderson: The
topology of covert conflict, July 2005. (15 pages)
- UCAM-CL-TR-636
- Rana Ayman el Kaliouby: Mind-reading
machines: automated inference of complex mental states, July 2005.
(185 pages, PhD thesis)
- UCAM-CL-TR-635
- John Daugman: Results
from 200 billion iris cross-comparisons, June 2005. (8 pages)
- UCAM-CL-TR-634
- Kasim Rehman: Visualisation,
interpretation and use of location-aware interfaces, May 2005. (159
pages, PhD thesis)
- UCAM-CL-TR-633
- Alex Ho, Steven Smith, Steven Hand: On
deadlock, livelock, and forward progress, May 2005. (8 pages)
- UCAM-CL-TR-632
- R.I. Tucker, K. Spärck Jones: Between
shallow and deep: an experiment in automatic summarising, April
2005. (34 pages)
- UCAM-CL-TR-631
- Wenjun Hu, Jon Crowcroft: MIRRORS:
An integrated framework for capturing real world behaviour for models of
ad hoc networks, April 2005. (16 pages)
- UCAM-CL-TR-630
- Sergei P. Skorobogatov: Semi-invasive
attacks – A new approach to hardware security analysis, April 2005.
(144 pages, PhD thesis)
- UCAM-CL-TR-629
- Meng How Lim, Adam Greenhalgh, Julian Chesterfield, Jon Crowcroft: Hybrid
routing: A pragmatic approach to mitigating position uncertainty in
geo-routing, April 2005. (26 pages)
- UCAM-CL-TR-628
- Moritz Y. Becker: A formal
security policy for an NHS electronic health record service, March
2005. (81 pages)
- UCAM-CL-TR-627
- Keith Vertanen: Efficient
computer interfaces using continuous gestures, language models, and
speech, March 2005. (46 pages, MPhil thesis)
- UCAM-CL-TR-626
- Meng How Lim, Adam Greenhalgh, Julian Chesterfield, Jon Crowcroft: Landmark
Guided Forwarding: A hybrid approach for Ad Hoc routing, March 2005.
(28 pages)
- UCAM-CL-TR-625
- Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough: TCP,
UDP, and Sockets: rigorous and experimentally-validated behavioural
specification : Volume 2: The Specification, March 2005. (386 pages)
- UCAM-CL-TR-624
- Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough: TCP,
UDP, and Sockets: rigorous and experimentally-validated behavioural
specification : Volume 1: Overview, March 2005. (88 pages)
- UCAM-CL-TR-623
- Keith Wansbrough: Simple
polymorphic usage analysis, March 2005. (364 pages, PhD thesis)
- UCAM-CL-TR-622
- Jörg H. Lepler: Cooperation
and deviation in market-based resource allocation, March 2005. (173
pages, PhD thesis)
- UCAM-CL-TR-621
- Mark R. Shinwell,
Andrew M. Pitts: Fresh
Objective Caml user manual, February 2005. (21 pages)
- UCAM-CL-TR-620
- Eleftheria Katsiri:
Middleware
support for context-awareness in distributed sensor-driven systems,
February 2005. (176 pages, PhD thesis)
- UCAM-CL-TR-619
- James R. Bulpin: Operating
system support for simultaneous multithreaded processors, February
2005. (130 pages, PhD thesis)
- UCAM-CL-TR-618
- Mark R. Shinwell:
The
Fresh Approach: functional programming with names and binders,
February 2005. (111 pages, PhD thesis)
- UCAM-CL-TR-617
- Augustin Chaintreau, Pan Hui, Jon Crowcroft,
Christophe Diot, Richard Gass, James Scott: Pocket
Switched Networks: Real-world mobility and its consequences for
opportunistic forwarding, February 2005. (26 pages)
- UCAM-CL-TR-616
- Donnla Nic Gearailt: Dictionary
characteristics in cross-language information retrieval, February
2005. (158 pages, PhD thesis)
- UCAM-CL-TR-615
- Evangelos Kotsovinos: Global
public computing, January 2005. (229 pages, PhD thesis)
- UCAM-CL-TR-614
- Robin Milner: Pure
bigraphs, January 2005. (66 pages)
- UCAM-CL-TR-613
- David J. Scott: Abstracting
application-level security policy for ubiquitous computing, January
2005. (186 pages, PhD thesis)
- UCAM-CL-TR-612
- Alastair R. Beresford: Location
privacy in ubiquitous computing, January 2005. (139 pages, PhD
thesis)
- UCAM-CL-TR-611
- Neil A. Dodgson: An
heuristic analysis of the classification of bivariate subdivision
schemes, December 2004. (18 pages)
- UCAM-CL-TR-610
- Tommy Ingulfsen: Influence
of syntax on prosodic boundary prediction, December 2004. (49 pages,
MPhil thesis)
- UCAM-CL-TR-609
- Eleanor Toye, Anil Madhavapeddy, Richard Sharp, David Scott, Alan Blackwell, Eben Upton: Using
camera-phones to interact with context-aware mobile services,
December 2004. (23 pages)
- UCAM-CL-TR-608
- Walt Yao: Trust
management for widely distributed systems, November 2004. (191
pages, PhD thesis)
- UCAM-CL-TR-607
- Neil E. Johnson: Code
size optimization for embedded processors, November 2004. (159
pages, PhD thesis)
- UCAM-CL-TR-606
- Nicholas Nethercote: Dynamic
binary analysis and instrumentation, November 2004. (177 pages, PhD
thesis)
- UCAM-CL-TR-605
- Peter Sewell, James J. Leifer,
Keith Wansbrough, Mair Allen-Williams, Francesco Zappa Nardelli,
Pierre Habouzit, Viktor Vafeiadis: Acute:
High-level programming language design for distributed computation :
Design rationale and language definition, October 2004. (193 pages)
- UCAM-CL-TR-604
- Andrei Serjantov: On the
anonymity of anonymity systems, October 2004. (162 pages, PhD
thesis)
- UCAM-CL-TR-603
- Robin Milner: Bigraphs
whose names have multiple locality, September 2004. (15 pages)
- UCAM-CL-TR-602
- Hasan Amjad: Model
checking the AMBA protocol in HOL, September 2004. (27 pages)
- UCAM-CL-TR-601
- Hasan Amjad: Combining
model checking and theorem proving, September 2004. (131 pages, PhD
thesis)
- UCAM-CL-TR-600
- Brian Ninham Shand: Trust
for resource control: Self-enforcing automatic rational contracts
between computers, August 2004. (154 pages, PhD thesis)
- UCAM-CL-TR-599
- Mohamed F. Hassan: Further
analysis of ternary and 3-point univariate subdivision schemes,
August 2004. (9 pages)
- UCAM-CL-TR-598
- James J. Leifer, Robin Milner: Transition
systems, link graphs and Petri nets, August 2004. (64 pages)
- UCAM-CL-TR-597
- Advaith Siddharthan: Syntactic
simplification and text cohesion, August 2004. (195 pages, PhD
thesis)
- UCAM-CL-TR-596
- Keir Fraser, Steven Hand, Rolf Neugebauer, Ian Pratt, Andrew Warfield,
Mark Williamson: Reconstructing
I/O, August 2004. (16 pages)
- UCAM-CL-TR-595
- Pablo J. Arrighi: Representations
of quantum operations, with applications to quantum cryptography,
July 2004. (157 pages, PhD thesis)
- UCAM-CL-TR-594
- George Danezis: Designing
and attacking anonymous communication systems, July 2004. (150
pages, PhD thesis)
- UCAM-CL-TR-593
- Piotr Zieliński: Paxos at
war, June 2004. (30 pages)
- UCAM-CL-TR-592
- Mike Bond, Daniel Cvrček, Steven J. Murdoch: Unwrapping
the Chrysalis, June 2004. (15 pages)
- UCAM-CL-TR-591
- Silas S. Brown: Conversion
of notations, June 2004. (159 pages, PhD thesis)
- UCAM-CL-TR-590
- Peter R. Pietzuch: Hermes:
A scalable event-based middleware, June 2004. (180 pages, PhD
thesis)
- UCAM-CL-TR-589
- Glynn Winskel, Francesco Zappa Nardelli: new-HOPLA
— a higher-order process language with name generation, May 2004.
(16 pages)
- UCAM-CL-TR-588
- Panit Watcharawitch: MulTEP:
A MultiThreaded Embedded Processor, May 2004. (190 pages, PhD
thesis)
- UCAM-CL-TR-587
- Paul Alexander Cunningham: Verification
of asynchronous circuits, April 2004. (174 pages, PhD thesis)
- UCAM-CL-TR-586
- András Belokosztolszki: Role-based
access control policy administration, March 2004. (170 pages, PhD
thesis)
- UCAM-CL-TR-585
- Mark S. D. Ashdown: Personal
projected displays, March 2004. (150 pages, PhD thesis)
- UCAM-CL-TR-584
- Stephen Brooks: Concise
texture editing, March 2004. (164 pages, PhD thesis)
- UCAM-CL-TR-583
- Cédric Gérot, Loïc Barthe, Neil A. Dodgson,
Malcolm A. Sabin: Subdivision
as a sequence of sampled Cp surfaces and conditions for tuning
schemes, March 2004. (68 pages)
- UCAM-CL-TR-582
- Piotr Zieliński: Latency-optimal
Uniform Atomic Broadcast algorithm, February 2004. (28 pages)
- UCAM-CL-TR-581
- Robin Milner: Axioms
for bigraphical structure, February 2004. (26 pages)
- UCAM-CL-TR-580
- Ole Høgh Jensen, Robin Milner: Bigraphs
and mobile processes (revised), February 2004. (131 pages)
- UCAM-CL-TR-579
- Keir Fraser: Practical
lock-freedom, February 2004. (116 pages, PhD thesis)
- UCAM-CL-TR-578
- Robert Ennals, Richard Sharp, Alan Mycroft: Linear
types for packet processing (extended version), January 2004. (31
pages)
- UCAM-CL-TR-577
- Markus G. Kuhn: Compromising
emanations: eavesdropping risks of computer displays, December 2003.
(167 pages, PhD thesis)
- UCAM-CL-TR-576
- David R. Spence: An
implementation of a coordinate based location system, November 2003.
(12 pages)
- UCAM-CL-TR-575
- Tim Granger: Reconfigurable
wavelength-switched optical networks for the Internet core, November
2003. (184 pages, PhD thesis)
- UCAM-CL-TR-574
- Ivan Edward Sutherland: Sketchpad:
A man-machine graphical communication system, September 2003. (149
pages, PhD thesis)
- UCAM-CL-TR-573
- Lawrence C. Paulson: Mechanizing
compositional reasoning for concurrent systems: some lessons, August
2003. (20 pages)
- UCAM-CL-TR-572
- Tim Harris: Design
choices for language-based transactions, August 2003. (7 pages)
- UCAM-CL-TR-571
- James Hall: Multi-layer
network monitoring and analysis, July 2003. (230 pages, PhD thesis)
- UCAM-CL-TR-570
- Ole Høgh Jensen, Robin Milner: Bigraphs
and mobile processes, July 2003. (121 pages)
- UCAM-CL-TR-569
- James J. Leifer,
Gilles Peskine, Peter Sewell, Keith Wansbrough:
Global
abstraction-safe marshalling with hash types, June 2003. (86 pages)
- UCAM-CL-TR-568
- Gavin Bierman, Michael Hicks, Peter Sewell,
Gareth Stoyle, Keith Wansbrough: Dynamic
rebinding for marshalling and update, with destruct-time λ, February
2004. (85 pages)
- UCAM-CL-TR-567
- Joe Hurd: Using
inequalities as term ordering constraints, June 2003. (17 pages)
- UCAM-CL-TR-566
- Joe Hurd: Formal
verification of probabilistic algorithms, May 2003. (154 pages, PhD
thesis)
- UCAM-CL-TR-565
- Carsten Moenning, Neil A. Dodgson: Fast
Marching farthest point sampling for point clouds and implicit
surfaces, May 2003. (15 pages)
- UCAM-CL-TR-564
- Ulrich Lang: Access
policies for middleware, May 2003. (138 pages, PhD thesis)
- UCAM-CL-TR-563
- G.M. Bierman, M.J. Parkinson, A.M. Pitts: MJ: An
imperative core calculus for Java and Java with effects, April 2003.
(53 pages)
- UCAM-CL-TR-562
- Carsten Moenning, Neil A. Dodgson: Fast
Marching farthest point sampling, April 2003. (16 pages)
- UCAM-CL-TR-561
- Paul B. Menage: Resource
control of untrusted code in an open network environment, March
2003. (185 pages, PhD thesis)
- UCAM-CL-TR-560
- Mike Bond, Piotr Zieliński: Decimalisation
table attacks for PIN cracking, February 2003. (14 pages)
- UCAM-CL-TR-559
- Eiko Yoneki, Jean Bacon:
Pronto:
MobileGateway with publish-subscribe paradigm over wireless network,
February 2003. (22 pages)
- UCAM-CL-TR-558
- Yolanta Beresnevichiene: A role
and context based security model, January 2003. (89 pages, PhD
thesis)
- UCAM-CL-TR-557
- G.M. Bierman, P. Sewell: Iota: A
concurrent XML scripting language with applications to Home Area
Networking, January 2003. (32 pages)
- UCAM-CL-TR-556
- Jon Crowcroft: Turing
Switches – Turing machines for all-optical Internet routing, January
2003. (7 pages)
- UCAM-CL-TR-555
- Jon Crowcroft, Richard Gibbens, Stephen Hailes:
BOURSE –
Broadband Organisation of Unregulated Radio Systems through
Economics, January 2003. (10 pages)
- UCAM-CL-TR-554
- Jon Crowcroft: Towards
a field theory for networks, January 2003. (9 pages)
- UCAM-CL-TR-553
- Paul R. Barham, Boris Dragovic, Keir A. Fraser, Steven M. Hand, Timothy L. Harris, Alex C. Ho, Evangelos Kotsovinos,
Anil V.S. Madhavapeddy, Rolf Neugebauer,
Ian A. Pratt, Andrew K. Warfield: Xen
2002, January 2003. (15 pages)
- UCAM-CL-TR-552
- Keir A. Fraser, Steven M. Hand, Timothy L. Harris, Ian M. Leslie, Ian A. Pratt: The
Xenoserver computing infrastructure, January 2003. (11 pages)
- UCAM-CL-TR-551
- Lawrence C. Paulson: The
relative consistency of the axiom of choice — mechanized using
Isabelle/ZF, December 2002. (63 pages)
- UCAM-CL-TR-550
- Karen Spärck Jones:
Computer
security – a layperson’s guide, from the bottom up, June 2002. (23
pages)
- UCAM-CL-TR-549
- Ross Anderson: Two
remarks on public key cryptology, December 2002. (7 pages)
- UCAM-CL-TR-548
- Anthony Fox: Formal
verification of the ARM6 micro-architecture, November 2002. (59
pages)
- UCAM-CL-TR-547
- Agathoniki Trigoni: Semantic
optimization of OQL queries, October 2002. (171 pages, PhD thesis)
- UCAM-CL-TR-546
- Jonathan David Pfautz: Depth
perception in computer graphics, September 2002. (182 pages, PhD
thesis)
- UCAM-CL-TR-545
- Anthony C.J. Fox: A HOL
specification of the ARM instruction set architecture, June 2001.
(45 pages)
- UCAM-CL-TR-544
- I.P. Ivrissimtzis, M.A. Sabin, N.A. Dodgson: On the
support of recursive subdivision, September 2002. (20 pages)
- UCAM-CL-TR-543
- Kerry Rodden: Evaluating
similarity-based visualisations as interfaces for image browsing,
September 2002. (248 pages, PhD thesis)
- UCAM-CL-TR-542
- I.P. Ivrissimtzis, N.A. Dodgson, M.A. Sabin: A
generative classification of mesh refinement rules with lattice
transformations, September 2002. (13 pages)
- UCAM-CL-TR-541
- L. Barthe, N.A. Dodgson,
M.A. Sabin, B. Wyvill, V. Gaildrat: Different
applications of two-dimensional potential fields for volume
modeling, August 2002. (26 pages)
- UCAM-CL-TR-540
- N.A. Dodgson, J.R. Moore: The use
of computer graphics rendering software in the analysis of a novel
autostereoscopic display design, August 2002. (6 pages)
- UCAM-CL-TR-539
- N.A. Dodgson, M.A. Sabin,
L. Barthe, M.F. Hassan: Towards
a ternary interpolating subdivision scheme for the triangular mesh,
July 2002. (12 pages)
- UCAM-CL-TR-538
- Mark Ashdown, Peter Robinson: The
Escritoire: A personal projected display for interacting with
documents, June 2002. (12 pages)
- UCAM-CL-TR-537
- Mantsika Matooane: Parallel
systems in symbolic and algebraic computation, June 2002. (139
pages, PhD thesis)
- UCAM-CL-TR-536
- Sergei Skorobogatov: Low
temperature data remanence in static RAM, June 2002. (9 pages)
- UCAM-CL-TR-535
- Claudia Faggian, Martin Hyland: Designs,
disputes and strategies, May 2002. (21 pages)
- UCAM-CL-TR-534
- Austin Donnelly: Resource
control in network elements, April 2002. (183 pages, PhD thesis)
- UCAM-CL-TR-533
- Aline Villavicencio: The
acquisition of a unification-based generalised categorial grammar,
April 2002. (223 pages, PhD thesis)
- UCAM-CL-TR-532
- Richard Mortier: Internet
traffic engineering, April 2002. (129 pages, PhD thesis)
- UCAM-CL-TR-531
- Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson: Verifying
the SET registration protocols, March 2002. (24 pages)
- UCAM-CL-TR-530
- Anna Korhonen: Subcategorization
acquisition, February 2002. (189 pages, PhD thesis)
- UCAM-CL-TR-529
- Neil Johnson: The
triVM intermediate language reference manual, February 2002. (83
pages)
- UCAM-CL-TR-528
- Andrew William Moore: Measurement-based
management of network resources, April 2002. (273 pages, PhD thesis)
- UCAM-CL-TR-527
- Umar Saif: Architectures
for ubiquitous systems, January 2002. (271 pages, PhD thesis)
- UCAM-CL-TR-526
- Andrew J. Penrose: Extending
lossless image compression, December 2001. (137 pages, PhD thesis)
- UCAM-CL-TR-525
- Timothy L. Harris: Extensible
virtual machines, December 2001. (209 pages, PhD thesis)
- UCAM-CL-TR-524
- Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson: Verifying
the SET purchase protocols, November 2001. (14 pages)
- UCAM-CL-TR-523
- Robin Milner: Bigraphical
reactive systems: basic theory, September 2001. (87 pages)
- UCAM-CL-TR-522
- Mark F.P. Gillies: Practical
behavioural animation based on vision and attention, September 2001.
(187 pages)
- UCAM-CL-TR-521
- James Leifer: Operational
congruences for reactive systems, September 2001. (144 pages, PhD
thesis)
- UCAM-CL-TR-520
- Mohamed Hassan, Neil A. Dodgson: Ternary
and three-point univariate subdivision schemes, September 2001. (8
pages)
- UCAM-CL-TR-519
- Martin Choquette: Local
evidence in document retrieval, August 2001. (177 pages, PhD thesis)
- UCAM-CL-TR-518
- Jeff Jianxin Yan, Yongdong Wu: An
attack on a traitor tracing scheme, July 2001. (14 pages)
- UCAM-CL-TR-517
- Karen Spärck Jones,
P. Jourlin, S.E. Johnson, P.C. Woodland: The
Cambridge Multimedia Document Retrieval Project: summary of
experiments, July 2001. (30 pages)
- UCAM-CL-TR-516
- Rebecca Isaacs: Dynamic
provisioning of resource-assured and programmable virtual private
networks, September 2001. (145 pages, PhD thesis)
- UCAM-CL-TR-515
- Andrei Serjantov, Peter Sewell, Keith Wansbrough:
The
UDP calculus: rigorous semantics for real networking, July 2001. (70
pages)
- UCAM-CL-TR-514
- Asis Unyapoth: Nomadic
π-calculi: expressing and verifying communication infrastructure for
mobile computation, June 2001. (316 pages, PhD thesis)
- UCAM-CL-TR-513
- Tetsuya Sakai, Karen Spärck Jones:
Generic
summaries for indexing in information retrieval – Detailed test
results, May 2001. (29 pages)
- UCAM-CL-TR-512
- Anthony Fox: An
algebraic framework for modelling and verifying microprocessors using
HOL, March 2001. (24 pages)
- UCAM-CL-TR-511
- Calum Grant: Software
visualization in Prolog, December 1999. (193 pages, PhD thesis)
- UCAM-CL-TR-510
- Richard Mortier, Rebecca Isaacs, Keir Fraser:
Switchlets
and resource-assured MPLS networks, May 2000. (16 pages)
- UCAM-CL-TR-509
- Wojciech Basalaj: Proximity
visualisation of abstract data, January 2001. (117 pages, PhD
thesis)
- UCAM-CL-TR-508
- James Leifer, Robin Milner: Shallow
linear action graphs and their embeddings, October 2000. (16 pages)
- UCAM-CL-TR-507
- Lawrence Paulson: Mechanizing
a theory of program composition for UNITY, November 2000. (28 pages)
- UCAM-CL-TR-506
- Peter Sewell: Modules,
abstract types, and distributed versioning, September 2000. (46
pages)
- UCAM-CL-TR-505
- Gian Luca Cattani, Peter Sewell: Models
for name-passing processes: interleaving and causal, September 2000.
(42 pages)
- UCAM-CL-TR-504
- Oi Yee Kwong: Word
sense selection in texts: an integrated model, September 2000. (177
pages, PhD thesis)
- UCAM-CL-TR-503
- Alan Mycroft, Richard Sharp: Hardware/software
co-design using functional languages, September 2000. (8 pages)
- UCAM-CL-TR-502
- Thomas Marthedal Rasmussen: Formalizing
basic number theory, September 2000. (20 pages)
- UCAM-CL-TR-501
- David Ingram: Integrated
quality of service management, September 2000. (90 pages, PhD
thesis)
- UCAM-CL-TR-500
- Jianxin Yan, Alan Blackwell, Ross Anderson, Alasdair Grant: The
memorability and security of passwords – some empirical results,
September 2000. (13 pages)
- UCAM-CL-TR-499
- James Edward Gain: Enhancing
spatial deformation for virtual sculpting, August 2000. (161 pages,
PhD thesis)
- UCAM-CL-TR-498
- Peter Sewell: Applied
π – a brief tutorial, July 2000. (65 pages)
- UCAM-CL-TR-497
- G.M. Bierman, A. Trigoni: Towards
a formal type system for ODMG OQL, September 2000. (20 pages)
- UCAM-CL-TR-496
- Gian Luca Cattani, James J. Leifer, Robin Milner: Contexts
and embeddings for closed shallow action graphs, July 2000. (56
pages)
- UCAM-CL-TR-495
- Mohammad S.M. Khorsheed: Automatic
recognition of words in Arabic manuscripts, July 2000. (242 pages,
PhD thesis)
- UCAM-CL-TR-494
- Mark David Spiteri: An
architecture for the notification, storage and retrieval of events,
July 2000. (165 pages, PhD thesis)
- UCAM-CL-TR-493
- Giampaolo Bella: Inductive
verification of cryptographic protocols, July 2000. (189 pages, PhD
thesis)
- UCAM-CL-TR-492
- Paweł Tomasz Wojciechowski: Nomadic
Pict: language and infrastructure design for mobile computation,
June 2000. (184 pages, PhD thesis)
- UCAM-CL-TR-491
- Anna Korhonen, Genevive Gorrell, Diana McCarthy:
Is
hypothesis testing useful for subcategorization acquisition?, May
2000. (9 pages)
- UCAM-CL-TR-490
- Peter John Cameron Brown: Selective
mesh refinement for rendering, April 2000. (179 pages, PhD thesis)
- UCAM-CL-TR-489
- Jong-Hyeon Lee: Designing
a reliable publishing framework, April 2000. (129 pages, PhD thesis)
- UCAM-CL-TR-488
- Giampaolo Bella, Fabio Massacci, Lawrence Paulson,
Piero Tramontano: Formal
verification of card-holder registration in SET, March 2000. (15
pages)
- UCAM-CL-TR-487
- Tanja Vos, Doaitse Swierstra: Sequential
program composition in UNITY, March 2000. (20 pages)
- UCAM-CL-TR-486
- James Richard Thomas: Stretching
a point: aspect and temporal discourse, February 2000. (251 pages,
PhD thesis)
- UCAM-CL-TR-485
- Daryl Stewart, Myra VanInwegen: Three
notes on the interpretation of Verilog, January 2000. (47 pages)
- UCAM-CL-TR-484
- Richard Tucker: Automatic
summarising and the CLASP system, January 2000. (190 pages, PhD
thesis)
- UCAM-CL-TR-483
- Hendrik Jaap Bos: Elastic
network control, January 2000. (184 pages, PhD thesis)
- UCAM-CL-TR-482
- John Daugman: Biometric
decision landscapes, January 2000. (15 pages)
- UCAM-CL-TR-481
- Mike Gordon,
Ken Friis Larsen: Combining
the Hol98 proof assistant with the BuDDy BDD package, December 1999.
(71 pages)
- UCAM-CL-TR-480
- Mike Gordon: Programming
combinations of deduction and BDD-based symbolic calculation,
December 1999. (24 pages)
- UCAM-CL-TR-479
- Geraint Price: The
interaction between fault tolerance and security, December 1999.
(144 pages, PhD thesis)
- UCAM-CL-TR-478
- Peter Sewell, Jan Vitek: Secure
composition of untrusted code: wrappers and causality types,
November 1999. (36 pages)
- UCAM-CL-TR-477
- Gian Luca Cattani, Glynn Winskel: Presheaf
models for CCS-like languages, November 1999. (46 pages)
- UCAM-CL-TR-476
- Mark Staples: Linking
ACL2 and HOL, November 1999. (23 pages)
- UCAM-CL-TR-475
- Boaz Lerner, Neil D. Lawrence: A
comparison of state-of-the-art classification techniques with
application to cytogenetics, October 1999. (34 pages)
- UCAM-CL-TR-474
- Boaz Lerner: A
Bayesian methodology and probability density estimation for fluorescence
in-situ hybridization signal classification, October 1999. (31
pages)
- UCAM-CL-TR-473
- Clemens Ballarin: Computer
algebra and theorem proving, October 1999. (122 pages, PhD thesis)
- UCAM-CL-TR-472
- Ben Y. Reis: Simulating
music learning with autonomous listening agents: entropy, ambiguity and
context, September 1999. (200 pages, PhD thesis)
- UCAM-CL-TR-471
- Robert M. Brady, Ross J. Anderson, Robin C. Ball: Murphy’s
law, the fitness of evolving species, and the limits of software
reliability, September 1999. (14 pages)
- UCAM-CL-TR-470
- Florian Kammüller: Modular
reasoning in Isabelle, August 1999. (128 pages, PhD thesis)
- UCAM-CL-TR-469
- Jacques Désiré Fleuriot: A
combination of geometry theorem proving and nonstandard analysis, with
application to Newton’s Principia, August 1999. (135 pages, PhD
thesis)
- UCAM-CL-TR-468
- Stephen Paul Wilcox: Synthesis
of asynchronous circuits, July 1999. (250 pages, PhD thesis)
- UCAM-CL-TR-467
- Lawrence C. Paulson: Mechanizing
UNITY in Isabelle, June 1999. (22 pages)
- UCAM-CL-TR-466
- Boaz Lerner, William Clocksin, Seema Dhanjal, Maj Hultén,
Christipher Bishop: Automatic
signal classification in fluorescence in-situ hybridization images,
May 1999. (24 pages)
- UCAM-CL-TR-465
- Boaz Lerner, Seema Dhanjal, Maj Hultén: Gelfish
– graphical environment for labelling FISH images, May 1999. (20
pages)
- UCAM-CL-TR-464
- Boaz Lerner, William Clocksin, Seema Dhanjal, Maj Hultén,
Christipher Bishop: Feature
representation for the automatic analysis of fluorescence in-situ
hybridization images, May 1999. (36 pages)
- UCAM-CL-TR-463
- Peter Sewell, Jan Vitek: Secure
composition of insecure components, April 1999. (44 pages)
- UCAM-CL-TR-462
- Peter Sewell, Paweł T. Wojciechowski,
Benjamin C. Pierce: Location-independent
communication for mobile agents: a two-level architecture, April
1999. (31 pages)
- UCAM-CL-TR-461
- Joe Hurd: Integrating
Gandalf and HOL, March 1999. (11 pages)
- UCAM-CL-TR-460
- Giampaolo Bella: Message
reception in the inductive approach, March 1999. (16 pages)
- UCAM-CL-TR-459
- Mohamad Afshar: An open
parallel architecture for data-intensive applications, July 1999.
(225 pages, PhD thesis)
- UCAM-CL-TR-458
- Lawrence C. Paulson: Final
coalgebras as greatest fixed points in ZF set theory, March 1999.
(25 pages)
- UCAM-CL-TR-457
- Andrew D. Gordon, Paul D. Hankin: A
concurrent object calculus: reduction and typing, February 1999. (63
pages)
- UCAM-CL-TR-456
- Joshua Robert Xavier Ross: An
evaluation based approach to process calculi, January 1999. (206
pages, PhD thesis)
- UCAM-CL-TR-455
- G.M. Bierman: Multiple
modalities, December 1998. (26 pages)
- UCAM-CL-TR-454
- Andrew M. Pitts: Parametric
polymorphism and operational equivalence, December 1998. (39 pages)
- UCAM-CL-TR-453
- Michael Norrish: C
formalised in HOL, December 1998. (156 pages, PhD thesis)
- UCAM-CL-TR-452
- Florian Kammüller, Lawrence C. Paulson: A formal
proof of Sylow’s theorem : An experiment in abstract algebra with
Isabelle Hol, November 1998. (30 pages)
- UCAM-CL-TR-451
- Sean Rooney: The
structure of open ATM control architectures, November 1998. (183
pages, PhD thesis)
- UCAM-CL-TR-450
- Jacobus Erasmus van der Merwe: Open
service support for ATM, November 1998. (164 pages, PhD thesis)
- UCAM-CL-TR-449
- Florian Kammüller, Markus Wenzel: Locales
: A sectioning concept for Isabelle, October 1998. (16 pages)
- UCAM-CL-TR-448
- G.M. Bierman: A
computational interpretation of the λμ calculus, September 1998. (10
pages)
- UCAM-CL-TR-447
- Giampaolo Bella, Lawrence C. Paulson: Are
timestamps worth the effort? A formal treatment, September 1998. (12
pages)
- UCAM-CL-TR-446
- K. Spärck Jones,
S. Walker, S.E. Robertson: A
probabilistic model of information and retrieval: development and
status, August 1998. (74 pages)
- UCAM-CL-TR-445
- Michael Roe,
Bruce Christianson, David Wheeler: Secure
sessions from weak secrets, July 1998. (12 pages)
- UCAM-CL-TR-444
- Peter Sewell: From
rewrite rules to bisimulation congruences, May 1998. (72 pages)
- UCAM-CL-TR-443
- Lawrence C. Paulson: The
inductive approach to verifying cryptographic protocols, February
1998. (46 pages)
- UCAM-CL-TR-442
- Jacques Fleuriot, Lawrence C. Paulson: A
combination of nonstandard analysis and geometry theorem proving, with
application to Newton’s Principia, January 1998. (13 pages)
- UCAM-CL-TR-441
- Lawrence C. Paulson: A
generic tableau prover and its integration with Isabelle, January
1998. (16 pages)
- UCAM-CL-TR-440
- Lawrence C. Paulson: Inductive
analysis of the internet protocol TLS, December 1997. (19 pages)
- UCAM-CL-TR-439
- David A. Halls: Applying
mobile code to distributed systems, December 1997. (158 pages, PhD
thesis)
- UCAM-CL-TR-438
- Feng Shi: An
architecture for scalable and deterministic video servers, November
1997. (148 pages, PhD thesis)
- UCAM-CL-TR-437
- William S. Harbison: Trusting
in computer systems, December 1997. (95 pages, PhD thesis)
- UCAM-CL-TR-436
- W.F. Clocksin: A new
method for estimating optical flow, November 1997. (20 pages)
- UCAM-CL-TR-435
- Peter Sewell: Global/local
subtyping for a distributed π-calculus, August 1997. (57 pages)
- UCAM-CL-TR-434
- Martin Richards: Demonstration
programs for CTL and μ-calculus symbolic model checking, August
1997. (41 pages)
- UCAM-CL-TR-433
- Martin Richards: Backtracking
algorithms in MCPL using bit patterns and recursion, July 1997. (80
pages)
- UCAM-CL-TR-432
- Lawrence C. Paulson: On two
formal analyses of the Yahalom protocol, July 1997. (16 pages)
- UCAM-CL-TR-431
- Martin Richards: The MCPL
programming manual and user guide, July 1997. (70 pages)
- UCAM-CL-TR-430
- G.J.F. Jones, J.T. Foote, K. Sparck Jones,
S.J. Young: Video
mail retrieval using voice: Report on topic spotting (Deliverable report
on VMR task no. 6), July 1997. (73 pages)
- UCAM-CL-TR-429
- Andrew D. Gordon, Paul D. Hankin, Søren B. Lassen: Compilation
and equivalence of imperative objects, June 1997. (64 pages)
- UCAM-CL-TR-428
- John Harrison: Floating
point verification in HOL Light: the exponential function, June
1997. (112 pages)
- UCAM-CL-TR-427
- Don Syme:
Proving
Java type soundness, June 1997. (35 pages)
- UCAM-CL-TR-426
- Mark Humphrys: Action
selection methods using reinforcement learning, June 1997. (195
pages, PhD thesis)
- UCAM-CL-TR-425
- Leslie Lamport, Lawrence C. Paulson: Should
your specification language be typed?, May 1997. (30 pages)
- UCAM-CL-TR-424
- Fabio Massacci: Simplification
with renaming: a general proof technique for tableau and sequent-based
provers, May 1997. (26 pages)
- UCAM-CL-TR-423
- Karl F. MacDorman: Symbol
grounding: Learning categorical and sensorimotor predictions for
coordination in autonomous robots, May 1997. (170 pages, PhD thesis)
- UCAM-CL-TR-422
- Antony Rowstron: Using
the BONITA primitives: a case study, May 1997. (19 pages)
- UCAM-CL-TR-421
- Michael Norrish: An
abstract dynamic semantics for C, May 1997. (31 pages)
- UCAM-CL-TR-420
- Jonathan Mark Sewell: Managing
complex models for computer graphics, April 1997. (206 pages, PhD
thesis)
- UCAM-CL-TR-419
- James Quentin Stafford-Fraser: Video-augmented
environments, April 1997. (91 pages, PhD thesis)
- UCAM-CL-TR-418
- Lawrence C. Paulson: Mechanized
proofs for a recursive authentication protocol, March 1997. (30
pages)
- UCAM-CL-TR-417
- Peter J.C. Brown: Selective
mesh refinement for interactive terrain rendering, February 1997.
(18 pages)
- UCAM-CL-TR-416
- Donald Syme:
DECLARE:
a prototype declarative proof system for higher order logic,
February 1997. (25 pages)
- UCAM-CL-TR-415
- Steven Leslie Pope: Application
support for mobile computing, February 1997. (145 pages, PhD thesis)
- UCAM-CL-TR-414
- Martín Abadi, Andrew D. Gordon: A
calculus for cryptographic protocols : The SPI calculus, January
1997. (105 pages)
- UCAM-CL-TR-413
- Lawrence C. Paulson: Mechanized
proofs of security protocols: Needham-Schroeder with public keys,
January 1997. (20 pages)
- UCAM-CL-TR-412
- G.M. Bierman: Observations
on a linear PCF (preliminary report), January 1997. (30 pages)
- UCAM-CL-TR-411
- Monica Nesi: Formalising
process calculi in Higher Order Logic, January 1997. (182 pages, PhD
thesis)
- UCAM-CL-TR-410
- John Harrison: Proof
style, January 1997. (22 pages)
- UCAM-CL-TR-409
- Lawrence C. Paulson: Proving
properties of security protocols by induction, December 1996. (24
pages)
- UCAM-CL-TR-408
- John Robert Harrison: Theorem
proving with the real numbers, November 1996. (147 pages, PhD
thesis)
- UCAM-CL-TR-407
- Sebastian Schoenberg: The L4
microkernel on Alpha : Design and implementation, September 1996.
(51 pages)
- UCAM-CL-TR-406
- Lawrence C. Paulson: Tool
support for logics of programs, November 1996. (31 pages)
- UCAM-CL-TR-405
- Richard J. Boulton: A tool
to support formal reasoning about computer languages, November 1996.
(21 pages)
- UCAM-CL-TR-404
- Kam Hong Shum: Adaptive
parallelism for computing on heterogeneous clusters, November 1996.
(147 pages, PhD thesis)
- UCAM-CL-TR-403
- Paul Ronald Barham: Devices
in a multi-service operating system, October 1996. (131 pages, PhD
thesis)
- UCAM-CL-TR-402
- G.J.F. Jones, J.T. Foote, K. Spärck Jones,
S.J. Young: Video
mail retrieval using voice: report on collection of naturalistic
requests and relevance assessments, September 1996. (21 pages)
- UCAM-CL-TR-401
- Gavin Bierman: A
classical linear λ-calculus, July 1996. (41 pages)
- UCAM-CL-TR-400
- Scarlet Schwiderski: Monitoring
the behaviour of distributed systems, July 1996. (161 pages, PhD
thesis)
- UCAM-CL-TR-399
- Richard Hayton: OASIS:
An open architecture for secure interworking services, June 1996.
(102 pages, PhD thesis)
- UCAM-CL-TR-398
- N.A. Dodgson, J.R. Moore: Design
and implementation of an autostereoscopic camera system, June 1996.
(20 pages)
- UCAM-CL-TR-397
- Borut Robič: Optimal
routing in 2-jump circulant networks, June 1996. (7 pages)
- UCAM-CL-TR-396
- Lawrence C. Paulson: Generic
automatic proof tools, May 1996. (28 pages)
- UCAM-CL-TR-395
- Torben Bräuner, Valeria de Paiva: Cut-elimination
for full intuitionistic linear logic, May 1996. (27 pages)
- UCAM-CL-TR-394
- Lawrence C. Paulson: A simple
formalization and proof for the mutilated chess board, April 1996.
(11 pages)
- UCAM-CL-TR-393
- Simon Andrew Crosby: Performance
management in ATM networks, April 1996. (215 pages, PhD thesis)
- UCAM-CL-TR-392
- Uwe Nestmann, Benjamin C. Pierce: Decoding
choice encodings, April 1996. (54 pages)
- UCAM-CL-TR-391
- Andrew John Kennedy: Programming
languages and dimensions, April 1996. (149 pages, PhD thesis)
- UCAM-CL-TR-390
- Richard J. Boulton: Syn: a
single language for specifiying abstract syntax tress, lexical analysis,
parsing and pretty-printing, March 1996. (25 pages)
- UCAM-CL-TR-389
- Wai Wong: A proof
checked for HOL, March 1996. (165 pages)
- UCAM-CL-TR-388
- P.N. Benton: A
unified approach to strictness analysis and optimising
transformations, February 1996. (21 pages)
- UCAM-CL-TR-387
- Scarlet Schwiderski, Andrew Herbert, Ken Moody: Monitoring
composite events in distributed systems, February 1996. (20 pages)
- UCAM-CL-TR-386
- Andrew D. Gordon, Gareth D. Rees: Bisimilarity
for a first-order calculus of objects with subtyping, January 1996.
(78 pages)
- UCAM-CL-TR-385
- Sanjay Saraswat: Performance
evaluation of the Delphi machine, December 1995. (187 pages, PhD
thesis)
- UCAM-CL-TR-384
- Shaw-Cheng Chuang: Securing
ATM networks, January 1995. (30 pages)
- UCAM-CL-TR-383
- Noha Adly: Management
of replicated data in large scale systems, November 1995. (182
pages, PhD thesis)
- UCAM-CL-TR-382
- Oliver M. Castle: Synthetic
image generation for a multiple-view autostereo display, October
1995. (184 pages, PhD thesis)
- UCAM-CL-TR-381
- Uwe Michael Nimscheck: Rendering
for free form deformations, October 1995. (151 pages, PhD thesis)
- UCAM-CL-TR-380
- Burkhard Stiller: Quality-of-Service
issues in networking environments, September 1995. (68 pages)
- UCAM-CL-TR-379
- Lawrence Paulson: Proceedings
of the First Isabelle Users Workshop, September 1995. (265 pages)
- UCAM-CL-TR-378
- Noha Adly: Performance
evaluation of HARP: a hierarchical asynchronous replication protocol for
large scale system, August 1995. (94 pages)
- UCAM-CL-TR-377
- Larry Paulson, Krzysztof Grabczewski: Mechanising
set theory: cardinal arithmetic and the axiom of choice, July 1995.
(33 pages)
- UCAM-CL-TR-376
- Timothy Roscoe: The
structure of a multi-service operating system, August 1995. (113
pages, PhD thesis)
- UCAM-CL-TR-375
- Feng Huang: Restructuring
virtual memory to support distributed computing environments, July
1995. (145 pages, PhD thesis)
- UCAM-CL-TR-374
- Burkhard Stiller: A
framework for QoS updates in a networking environment, July 1995.
- UCAM-CL-TR-373
- Benjamín Macías, Stephen G. Pulman: Natural-language
processing and requirements specifications, July 1995. (73 pages)
- UCAM-CL-TR-372
- Stefan G. Hild: A brief
history of mobile telephony, January 1995. (19 pages)
- UCAM-CL-TR-371
- Kim Ritter Wagner: LIMINF
convergence in Ω-categories, June 1995. (28 pages)
- UCAM-CL-TR-370
- Sten Agerholm: A
package for non-primitive recursive function definitions in HOL,
July 1995. (36 pages)
- UCAM-CL-TR-369
- Sten Agerholm: A
comparison of HOL-ST and Isabelle/ZF, July 1995. (23 pages)
- UCAM-CL-TR-368
- Burkhard Stiller: CogPiT –
configuration of protocols in TIP, June 1995. (73 pages)
- UCAM-CL-TR-367
- Andrew M. Pitts: Categorical
logic, May 1995. (94 pages)
- UCAM-CL-TR-366
- K. Spärck Jones,
G.J.F. Jones, J.T. Foote, S.J. Young: Retrieving
spoken documents: VMR Project experiments, May 1995. (28 pages)
- UCAM-CL-TR-365
- P.N. Benton,
G.M. Bierman, V.C.V. de Paiva: Computational
types from a logical perspective I, May 1995. (19 pages)
- UCAM-CL-TR-364
- Ole Rasmussen: The
Church-Rosser theorem in Isabelle: a proof porting experiment, April
1995. (27 pages)
- UCAM-CL-TR-363
- Ian Stark: Names
and higher-order functions, April 1995. (140 pages, PhD thesis)
- UCAM-CL-TR-362
- Mark Humphrys: W-learning:
competition among selfish Q-learners, April 1995. (30 pages)
- UCAM-CL-TR-361
- Richard John Black: Explicit
network scheduling, April 1995. (121 pages, PhD thesis)
- UCAM-CL-TR-360
- W.F. Clocksin: On the
calculation of explicit polymetres, March 1995. (12 pages)
- UCAM-CL-TR-359
- Jacob Frost: A case
study of co-induction in Isabelle, February 1995. (48 pages)
- UCAM-CL-TR-358
- Simon William Moore: Multithreaded
processor design, February 1995. (125 pages, PhD thesis)
- UCAM-CL-TR-357
- Jonathan P. Bowen, Michael G. Hinchey: Seven
more myths of formal methods, December 1994. (12 pages)
- UCAM-CL-TR-356
- S.E. Robertson, K. Spärck Jones: Simple,
proven approaches to text retrieval, December 1994. (8 pages)
- UCAM-CL-TR-355
- David Wheeler, Roger Needham: Two
cryptographic notes, November 1994. (6 pages)
- UCAM-CL-TR-354
- Sten Agerholm: Formalising
a model of the λ-calculus in HOL-ST, November 1994. (31 pages)
- UCAM-CL-TR-353
- Mike Gordon: Merging
HOL with set theory, November 1994. (40 pages)
- UCAM-CL-TR-352
- P.N. Benton: A mixed
linear and non-linear logic: proofs, terms and models, October 1994.
(65 pages)
- UCAM-CL-TR-351
- Subir Kumar Biswas: Handling
realtime traffic in mobile networks, September 1994. (198 pages, PhD
thesis)
- UCAM-CL-TR-350
- Jonathan P. Bowen, Michael G. Hinchey: Ten
commandments of formal methods, September 1994. (18 pages)
- UCAM-CL-TR-349
- Brian Graham: A HOL
interpretation of Noden, September 1994. (78 pages)
- UCAM-CL-TR-348
- Jane Louise Hunter: Integrated
sound synchronisation for computer animation, August 1994. (248
pages, PhD thesis)
- UCAM-CL-TR-347
- Karen Spärck Jones:
Reflections
on TREC, July 1994. (35 pages)
- UCAM-CL-TR-346
- G.M. Bierman: On
intuitionistic linear logic, August 1994. (191 pages, PhD thesis)
- UCAM-CL-TR-345
- Siani L. Baker: A proof
environment for arithmetic with the Omega rule, August 1994. (17
pages)
- UCAM-CL-TR-344
- Martin John Turner: The
contour tree image encoding technique and file format, July 1994.
(154 pages, PhD thesis)
- UCAM-CL-TR-342
- Stephen Martin Guy Freeman: An
architecture for distributed user interfaces, July 1994. (127 pages,
PhD thesis)
- UCAM-CL-TR-341
- John Bates: Presentation
support for distributed multimedia applications, June 1994. (140
pages)
- UCAM-CL-TR-340
- Eoin Andrew Hyden: Operating
system support for quality of service, June 1994. (102 pages, PhD
thesis)
- UCAM-CL-TR-339
- Brian Logan, Steven Reece, Alison Cawsey, Julia Galliers, Karen Spärck Jones:
Belief
revision and dialogue management in information retrieval, May 1994.
(227 pages)
- UCAM-CL-TR-338
- Zhixue Wu: A new
approach to implementing atomic data types, May 1994. (170 pages,
PhD thesis)
- UCAM-CL-TR-337
- Richard John Boulton: Efficiency
in a fully-expansive theorem prover, May 1994. (126 pages, PhD
thesis)
- UCAM-CL-TR-336
- Barnaby P. Hilken: Towards
a proof theory of rewriting: the simply-typed 2-λ calculus, May
1994. (28 pages)
- UCAM-CL-TR-335
- G.J.F. Jones, J.T. Foote, K. Spärck Jones,
S.J. Young: Video
mail retrieval using voice: report on keyword definition and data
collection (deliverable report on VMR task No. 1), April 1994. (38
pages)
- UCAM-CL-TR-334
- Lawrence C. Paulson: A
concrete final coalgebra theorem for ZF set theory, May 1994. (21
pages)
- UCAM-CL-TR-333
- G.M. Bierman: What is
a categorical model of intuitionistic linear logic?, April 1994. (15
pages)
- UCAM-CL-TR-332
- David Martin Evers: Distributed
computing with objects, March 1994. (154 pages, PhD thesis)
- UCAM-CL-TR-331
- Noha Adly, Akhil Kumar: HPP: a
hierarchical propagation protocol for large scale replication in wide
area networks, March 1994. (24 pages)
- UCAM-CL-TR-330
- Pierre David Wellner: Interacting
with paper on the DigitalDesk, March 1994. (96 pages, PhD thesis)
- UCAM-CL-TR-329
- Paul Curzon: The
formal verification of the Fairisle ATM switching element, March
1994. (105 pages)
- UCAM-CL-TR-328
- Paul Curzon: The
formal verification of the Fairisle ATM switching element: an
overview, March 1994. (46 pages)
- UCAM-CL-TR-327
- Siani L. Baker: A new
application for explanation-based generalisation within automated
deduction, February 1994. (18 pages)
- UCAM-CL-TR-326
- Sai-Lai Lo: A
modular and extensible network storage architecture, January 1994.
(147 pages, PhD thesis)
- UCAM-CL-TR-325
- Richard Crouch: The
temporal properties of English conditionals and modals, January
1994. (248 pages, PhD thesis)
- UCAM-CL-TR-324
- J. von Wright: Verifying
modular programs in HOL, January 1994. (25 pages)
- UCAM-CL-TR-323
- J. von Wright: Representing
higher-order logic proofs in HOL, January 1994. (28 pages)
- UCAM-CL-TR-322
- Guangxing Li: Supporting
distributed realtime computing, December 1993. (113 pages, PhD
thesis)
- UCAM-CL-TR-321
- Andrew M. Pitts: Relational
properties of domains, December 1993. (38 pages)
- UCAM-CL-TR-320
- Lawrence C. Paulson: A
fixedpoint approach to implementing (co)inductive definitions (updated
version), July 1995. (29 pages)
- UCAM-CL-TR-319
- Mark David Hayter: A
workstation architecture to support multimedia, November 1993. (99
pages, PhD thesis)
- UCAM-CL-TR-318
- Jim Grundy: A method
of program refinement, November 1993. (207 pages, PhD thesis)
- UCAM-CL-TR-317
- John Peter Van Tassel: Femto-VHDL:
the semantics of a subset of VHDL and its embedding in the HOL proof
assistant, November 1993. (122 pages, PhD thesis)
- UCAM-CL-TR-316
- Ann Copestake: The
Compleat LKB, August 1993. (126 pages)
- UCAM-CL-TR-315
- Barney Darryl Pell: Strategy
generation and evaluation for meta-game playing, November 1993. (289
pages, PhD thesis)
- UCAM-CL-TR-314
- John Andrew Carroll: Practical
unification-based parsing of natural language. (173 pages, PhD
thesis)
- UCAM-CL-TR-313
- Yves Bertot, Gilles Kahn, Laurent Théry: Proof by
pointing, October 1993. (27 pages)
- UCAM-CL-TR-312
- Lawrence C. Paulson: Set
theory for verification: II : Induction and recursion, September
1993. (46 pages)
- UCAM-CL-TR-311
- Paul Curzon: A
verified Vista implementation, September 1993. (56 pages)
- UCAM-CL-TR-310
- Noha Adly: HARP: a
hierarchical asynchronous replication protocol for massively replicated
systems, August 1993. (34 pages)
- UCAM-CL-TR-309
- Peter Nicholas Benton:
Strictness
analysis of lazy functional programs, August 1993. (154 pages, PhD
thesis)
- UCAM-CL-TR-308
- Jacob Frost: A case
study of co-induction in Isabelle HOL, August 1993. (27 pages)
- UCAM-CL-TR-307
- David D. Lewis, Karen Spärck Jones:
Natural
language processing for information retrieval, July 1993. (22 pages)
- UCAM-CL-TR-306
- Wai Wong: Recording
HOL proofs, July 1993. (57 pages)
- UCAM-CL-TR-305
- P.N. Benton: Strong
normalisation for the linear term calculus, July 1993. (13 pages)
- UCAM-CL-TR-304
- Lawrence C. Paulson: Co-induction
and co-recursion in higher-order logic, July 1993. (35 pages)
- UCAM-CL-TR-303
- Andrew Kennedy: Drawing
trees — a case study in functional programming, June 1993. (9 pages)
- UCAM-CL-TR-302
- Barney Pell: Logic
programming for general game-playing, June 1993. (15 pages)
- UCAM-CL-TR-301
- Zhixue Wu, Ken Moody, Jean Bacon: The
dual-level validation concurrency control method, June 1993. (24
pages)
- UCAM-CL-TR-300
- Wai Wong: Formal
verification of VIPER’s ALU, April 1993. (78 pages)
- UCAM-CL-TR-299
- Bjorn Gamback, Manny Rayner, Barney Pell: Pragmatic
reasoning in bridge, April 1993. (23 pages)
- UCAM-CL-TR-298
- John Matthew Simon Doar: Multicast
in the asynchronous transfer mode environment, April 1993. (168
pages, PhD thesis)
- UCAM-CL-TR-297
- Eike Ritter: Categorical
abstract machines for higher-order typed lambda calculi, April 1993.
(149 pages, PhD thesis)
- UCAM-CL-TR-296
- Z. Wu, K. Moody, J. Bacon:
A
persistent programming language for multimedia databases in the OPERA
project, April 1993. (9 pages)
- UCAM-CL-TR-295
- Jean Bacon, John Bates, Sai Lai Lo, Ken Moody: OPERA :
Storage and presentation support for multimedia applications in a
distributed, ATM network environment, April 1993. (12 pages)
- UCAM-CL-TR-294
- Ken Moody, Jean Bacon,
Noha Adly, Mohamad Afshar, John Bates, Huang Feng, Richard Hayton,
Sai Lai Lo, Scarlet Schwiderski, Robert Sultana, Zhixue Wu: OPERA :
Storage, programming and display of multimedia objects, April 1993.
(9 pages)
- UCAM-CL-TR-293
- Jean Bacon, Ken Moody: Objects
and transactions for modelling distributed applications: concurrency
control and commitment, April 1993. (39 pages)
- UCAM-CL-TR-292
- Cormac John Sreenan: Synchronisation
services for digital continuous media, March 1993. (123 pages, PhD
thesis)
- UCAM-CL-TR-291
- J.R. Galliers, K. Spärck Jones: Evaluating
natural language processing systems, February 1993. (187 pages)
- UCAM-CL-TR-290
- Karen Spärck Jones:
Discourse
modelling for automatic summarising, February 1993. (30 pages)
- UCAM-CL-TR-289
- David Alan Howard Elworthy: The
semantics of noun phrase anaphora, February 1993. (191 pages, PhD
thesis)
- UCAM-CL-TR-288
- Rajeev Gore: Cut-free
sequent and tableau systems for propositional Diodorean modal
logics, February 1993. (19 pages)
- UCAM-CL-TR-287
- Andrew D. Gordon: A
mechanised definition of Silage in HOL, February 1993. (28 pages)
- UCAM-CL-TR-286
- Lawrence C. Paulson: Isabelle’s
object-logics, February 1993. (161 pages)
- UCAM-CL-TR-285
- Andrew Donald Gordon: Functional
programming and input/output, February 1993. (163 pages, PhD thesis)
- UCAM-CL-TR-284
- Claire Grover, John Carroll, Ted Briscoe: The
Alvey Natural Language Tools grammar (4th Release), January 1993.
(260 pages)
- UCAM-CL-TR-283
- Lawrence C. Paulson: The
Isabelle reference manual, February 1993. (78 pages)
- UCAM-CL-TR-282
- Ian M. Leslie, Derek McAuley,
Sape J. Mullender: Pegasus
– Operating system support for distributed multimedia systems,
December 1992. (14 pages)
- UCAM-CL-TR-281
- Sape J. Mullender, Ian M. Leslie, Derek McAuley: Pegasus
project description, September 1992. (23 pages)
- UCAM-CL-TR-280
- Lawrence C. Paulson: Introduction
to Isabelle, January 1993. (61 pages)
- UCAM-CL-TR-279
- Victor A. Carreño: The
transition assertions specification method, December 1992. (18
pages)
- UCAM-CL-TR-278
- Monica Nesi: A
formalization of the process algebra CCS in high order logic. (42
pages)
- UCAM-CL-TR-277
- Barney Pell: METAGAME
in symmetric chess-like games. (30 pages)
- UCAM-CL-TR-276
- Barney Pell: METAGAME:
a new challenge for games and learning. (15 pages)
- UCAM-CL-TR-275
- Barney Pell: Exploratory
learning in the game of GO. (18 pages)
- UCAM-CL-TR-274
- Paul Curzon: Of what
use is a verified compiler specification?, November 1992. (23 pages)
- UCAM-CL-TR-273
- Innes A. Ferguson: TouringMachines:
an architecture for dynamic, rational, mobile agents, November 1992.
(206 pages, PhD thesis)
- UCAM-CL-TR-272
- Martin David Coen: Interactive
program derivation, November 1992. (100 pages, PhD thesis)
- UCAM-CL-TR-271
- Lawrence C. Paulson: Set
theory as a computational logic: I. from foundations to functions,
November 1992. (28 pages)
- UCAM-CL-TR-270
- Chaoying Ma: Designing
a universal name service. (133 pages, PhD thesis)
- UCAM-CL-TR-269
- Alan Mycroft, Arthur Norman: Optimising
compilation, October 1992. (23 pages)
- UCAM-CL-TR-268
- Paul W. Jardetzky: Network
file server design for continuous media, October 1992. (101 pages,
PhD thesis)
- UCAM-CL-TR-267
- Christine Ernoult, Alan Mycroft: Untyped
strictness analysis, October 1992. (13 pages)
- UCAM-CL-TR-266
- Carole Klein: Automatic
exploitation of OR-parallelism in Prolog, September 1992. (18 pages)
- UCAM-CL-TR-265
- Juanito Camilleri, Tom Melham: Reasoning
with inductively defined relations in the HOL theorem prover, August
1992. (49 pages)
- UCAM-CL-TR-264
- Juanito Camilleri: CCS with
environmental guards, August 1992. (19 pages)
- UCAM-CL-TR-263
- C.-H. Luke Ong: The Lazy
Lambda Calculus: an investigation into the foundations of functional
programming, August 1992. (256 pages, PhD thesis)
- UCAM-CL-TR-262
- Nick Benton,
Gavin Bierman, Valeria de Paiva: Term
assignment for intuitionistic linear logic (preliminary report),
August 1992. (57 pages)
- UCAM-CL-TR-261
- Neil Anthony Dodgson: Image
resampling, August 1992. (264 pages, PhD thesis)
- UCAM-CL-TR-260
- Henrik Reif Anderson: Local
computation of alternating fixed-points, June 1992. (21 pages)
- UCAM-CL-TR-259
- Samson Abramsky, C.-H. Luke Ong: Full
abstraction in the Lazy Lambda Calculus. (104 pages)
- UCAM-CL-TR-258
- David J. Greaves, Derek McAuley,
Leslie J. French: Two
papers on ATM networks, May 1992. (22 pages)
- UCAM-CL-TR-257
- Rajeev Prakhakar Goré: Cut-free
sequent and tableau systems for propositional normal modal logics,
May 1992. (160 pages)
- UCAM-CL-TR-256
- Martin Richards: MCPL
programming manual, May 1992. (32 pages)
- UCAM-CL-TR-255
- Rachel Mary Cardell-Oliver: The
formal verification of hard real-time systems, 1992. (151 pages, PhD
thesis)
- UCAM-CL-TR-254
- Richard J. Boulton: A HOL
semantics for a subset of ELLA, April 1992. (104 pages)
- UCAM-CL-TR-253
- Antonio Sanfilippo: The
(other) Cambridge ACQUILEX papers. (141 pages)
- UCAM-CL-TR-252
- Andrew M. Pitts: A
co-induction principle for recursively defined domains. (25 pages)
- UCAM-CL-TR-251
- Xiaofeng Jiang: Multipoint
digital video communications, April 1992. (124 pages, PhD thesis)
- UCAM-CL-TR-250
- Innes A. Ferguson: TouringMachines:
autonomous agents with attitudes, April 1992. (19 pages)
- UCAM-CL-TR-249
- John P. Van Tassel: A
formalisation of the VHDL simulation cycle, March 1992. (24 pages)
- UCAM-CL-TR-248
- Richard J. Boulton: On
efficiency in theorem provers which fully expand proofs into primitive
inferences, February 1992. (23 pages)
- UCAM-CL-TR-247
- Roy Luis Crole: Programming
metalogics with a fixpoint type, February 1992. (164 pages, PhD
thesis)
- UCAM-CL-TR-246
- Victor Poznański: A
relevance-based utterance processing system, February 1992. (295
pages, PhD thesis)
- UCAM-CL-TR-245
- Michael J. Dixon: System
support for multi-service traffic, January 1992. (108 pages, PhD
thesis)
- UCAM-CL-TR-244
- T.F. Melham: A
mechanized theory of the π-calculus in HOL, January 1992. (31 pages)
- UCAM-CL-TR-243
- Alison Cawsey, Julia Galliers, Steven Reece, Karen Spärck Jones:
Automating
the librarian: a fundamental approach using belief revision, January
1992. (39 pages)
- UCAM-CL-TR-242
- Glenford Ezra Mapp: An
object-oriented approach to virtual memory management, January 1992.
(150 pages, PhD thesis)
- UCAM-CL-TR-241
- Thomas Ulrich Vogel: Learning
in large state spaces with an application to biped robot walking,
December 1991. (204 pages, PhD thesis)
- UCAM-CL-TR-240
- Juanito Camilleri: Symbolic
compilation and execution of programs by proof: a case study in HOL,
December 1991. (31 pages)
- UCAM-CL-TR-239
- Mark Thomas Maybury: Planning
multisentential English text using communicative acts, December
1991. (329 pages, PhD thesis)
- UCAM-CL-TR-238
- Ted Briscoe, Ann Copestake,
Valeria de Paiva: Proceedings
of the ACQUILEX Workshop on Default Inheritance in the lexicon,
October 1991. (180 pages)
- UCAM-CL-TR-237
- Derek G. Bridge: Computing
presuppositions in an incremantal language processing system. (212
pages, PhD thesis)
- UCAM-CL-TR-236
- John Anthony Bradshaw: Using
knowledge of purpose and knowledge of structure as a basis for
evaluating the behaviour of mechanical systems. (153 pages, PhD
thesis)
- UCAM-CL-TR-235
- Heng Wang: Modelling
and image generation. (145 pages, PhD thesis)
- UCAM-CL-TR-234
- Karen Spärck Jones:
Two
tutorial papers: Information retrieval & Thesaurus, August 1991.
(31 pages)
- UCAM-CL-TR-233
- John Carroll, Ted Briscoe, Claire Grover: A
development environment for large natural language grammars, July
1991. (65 pages)
- UCAM-CL-TR-232
- Francisco Corella: Mechanising
set theory, July 1991. (217 pages, PhD thesis)
- UCAM-CL-TR-231
- Raphael Yahalom: Managing
the order of transactions in widely-distributed data systems, August
1991. (133 pages, PhD thesis)
- UCAM-CL-TR-230
- J. Galliers: Proceedings
of the Second Belief Representation and Agent Architectures Workshop
(BRAA ’91), August 1991. (255 pages)
- UCAM-CL-TR-229
- David J. Brown: Abstraction
of image and pixel : The thistle display system, August 1991. (197
pages, PhD thesis)
- UCAM-CL-TR-228
- Mark Hayter, Derek McAuley: The desk
area network, May 1991. (11 pages)
- UCAM-CL-TR-227
- Juanito Albert Camilleri: Priority
in process calculi, June 1991. (203 pages, PhD thesis)
- UCAM-CL-TR-226
- Kwok-yan Lam: A new
approach for improving system availability, June 1991. (108 pages,
PhD thesis)
- UCAM-CL-TR-225
- Valeria de Paiva: Categorical
multirelations, linear logic and petri nets (draft), May 1991. (29
pages)
- UCAM-CL-TR-224
- Ted Briscoe, John Carroll: Generalised
probabilistic LR parsing of natural language (corpora) with
unification-based grammars. (45 pages)
- UCAM-CL-TR-223
- Philip Gladwin, Stephen Pulman, Karen Spärck Jones:
Shallow
processing and automatic summarising: a first study, May 1991. (65
pages)
- UCAM-CL-TR-222
- Jonathan Billington: Extensions
to coloured petri nets and their application to protocols. (190
pages, PhD thesis)
- UCAM-CL-TR-221
- Robert Milne: Transforming
axioms for data types into sequential programs. (44 pages)
- UCAM-CL-TR-220
- Cosmos Andrea Nicolaou: A
distributed architecture for multimedia communication systems. (192
pages, PhD thesis)
- UCAM-CL-TR-219
- Ian M. Leslie, Derek M. McAuley,
Mark Hayter, Richard Black, Reto Beller, Peter Newman, Matthew Doar: Fairisle
project working documents : Snapshot 1, March 1991. (56 pages)
- UCAM-CL-TR-218
- Tobias Nipkow: Higher-order
critical pairs, April 1991. (15 pages)
- UCAM-CL-TR-217
- Bhaskar Ramanathan Harita: Dynamic
bandwidth management. (160 pages, PhD thesis)
- UCAM-CL-TR-216
- Carole Susan Klein: Exploiting
OR-parallelism in Prolog using multiple sequential machines. (250
pages, PhD thesis)
- UCAM-CL-TR-215
- Paul Curzon: A
structured approach to the verification of low level microcode. (265
pages, PhD thesis)
- UCAM-CL-TR-214
- J.A. Bradshaw, R.M. Young: Integrating
knowledge of purpose and knowledge of structure for design
evaluation, February 1991. (20 pages)
- UCAM-CL-TR-213
- Valeria Correa Vaz de Paiva: The
Dialectica categories, January 1991. (82 pages, PhD thesis)
- UCAM-CL-TR-212
- K.L. Wrench: A
distributed and-or parallel Prolog network, December 1990. (82
pages)
- UCAM-CL-TR-211
- Karen Spärck Jones:
The
role of artificial intelligence in information retrieval, November
1990. (13 pages)
- UCAM-CL-TR-210
- Tobias Nipkow: Higher-order
unification, polymorphism, and subsorts. (15 pages)
- UCAM-CL-TR-209
- Andrew William Moore: Efficient
memory-based learning for robot control, November 1990. (248 pages,
PhD thesis)
- UCAM-CL-TR-208
- Eike Ritter: Categorical
combinators for the calculus of constructions, October 1990. (43
pages)
- UCAM-CL-TR-207
- Stuart Philip Hawkins: Video
replay in computer animation, October 1990. (161 pages, PhD thesis)
- UCAM-CL-TR-206
- Rachel Cardell-Oliver: Formal
verification of real-time protocols using higher order logic, August
1990. (36 pages)
- UCAM-CL-TR-205
- Lawrence C. Paulson, Andrew W. Smith: Logic
programming, functional programming and inductive definitions. (29
pages)
- UCAM-CL-TR-204
- Roy L. Crole, Andrew M. Pitts: New
foundations for fixpoint computations: FIX-hyperdoctrines and the
FIX-logic, August 1990. (37 pages)
- UCAM-CL-TR-203
- Valeria C.V. de Paiva: Subtyping
in Ponder (preliminary report), August 1990. (35 pages)
- UCAM-CL-TR-202
- Andrew Charles Harter: Three-dimensional
integrated circuit layout, August 1990. (179 pages, PhD thesis)
- UCAM-CL-TR-201
- Thomas Frederick Melham: Formalizing
abstraction mechanisms for hardware verification in higher order
logic, August 1990. (233 pages, PhD thesis)
- UCAM-CL-TR-200
- Tobias Nipkow, Gregor Snelting: Type
classes and overloading resolution via order-sorted unification,
August 1990. (16 pages)
- UCAM-CL-TR-199
- Richard Boulton, Mike Gordon,
John Herbert, John Van Tassel: The HOL
verification of ELLA designs, August 1990. (22 pages)
- UCAM-CL-TR-198
- Andrew M. Pitts: Evaluation
Logic, August 1990. (31 pages)
- UCAM-CL-TR-197
- Thomas Clarke: The
semantics and implementation of aggregates : or : how to express
concurrency without destroying determinism, July 1990. (25 pages)
- UCAM-CL-TR-196
- John Peter Van Tassell: The
semantics of VHDL with Val and Hol: towards practical verification
tools, June 1990. (77 pages)
- UCAM-CL-TR-195
- Jeffrey J. Joyce: Multi-level
verification of microprocessor-based systems, May 1990. (163 pages,
PhD thesis)
- UCAM-CL-TR-194
- Julia Rose Galliers: Proceedings
of the First Belief Representation and Agent Architectures Workshop,
March 1990. (199 pages)
- UCAM-CL-TR-193
- Julia Rose Galliers: Belief
revision and a theory of communication, May 1990. (30 pages)
- UCAM-CL-TR-192
- Lawrence C. Paulson: Designing
a theorem prover, May 1990. (57 pages)
- UCAM-CL-TR-191
- Cosmos Nicolaou: An
architecture for real-time multimedia communications systems,
February 1990. (30 pages)
- UCAM-CL-TR-190
- Ann Copestake: Some
notes on mass terms and plurals, January 1990. (65 pages)
- UCAM-CL-TR-189
- Lawrence C. Paulson, Tobias Nipkow: Isabelle
tutorial and user’s manual, January 1990. (142 pages)
- UCAM-CL-TR-188
- Timothy E. Leonard: Specification
of computer architectures: a survey and annotated bibliography,
January 1990. (42 pages)
- UCAM-CL-TR-187
- Ann Copestake, Karen Spärck Jones:
Natural
language interfaces to databases, September 1989. (36 pages)
- UCAM-CL-TR-186
- Derek Robert McAuley:
Protocol
design for high speed networks, January 1990. (100 pages, PhD
thesis)
- UCAM-CL-TR-185
- Guo Qiang Zhang: Logics
of domains, December 1989. (250 pages, PhD thesis)
- UCAM-CL-TR-184
- David Lawrence Tennenhouse: Site
interconnection and the exchange architecture, October 1989. (225
pages, PhD thesis)
- UCAM-CL-TR-183
- Rachel Cardell-Oliver: The
specification and verification of sliding window protocols in higher
order logic, October 1989. (25 pages)
- UCAM-CL-TR-182
- John M. Levine, Lee Fedder: The
theory and implementation of a bidirectional question answering
system, October 1989. (27 pages)
- UCAM-CL-TR-181
- Tobias Nipkow: Proof
transformations for equational theories, September 1989. (17 pages)
- UCAM-CL-TR-180
- Tobias Nipkow: Formal
verification of data type refinement: Theory and practice, September
1989. (31 pages)
- UCAM-CL-TR-179
- Ursula Martin,
Tobias Nipkow: Automating
Squiggol, September 1989. (16 pages)
- UCAM-CL-TR-178
- Jeffrey J. Joyce: Totally
verified systems: linking verified software to verified hardware,
September 1989. (25 pages)
- UCAM-CL-TR-177
- P.A.J. Noel: Experimenting
with Isabelle in ZF Set Theory, September 1989. (40 pages)
- UCAM-CL-TR-176
- T.J.W. Clarke: Implementing
aggregates in parallel functional languages, August 1989. (13 pages)
- UCAM-CL-TR-175
- Lawrence C. Paulson: A
formulation of the simple theory of types (for Isabelle), August
1989. (32 pages)
- UCAM-CL-TR-174
- James Thomas Woodchurch Clarke: General
theory relating to the implementation of concurrent symbolic
computation, August 1989. (113 pages, PhD thesis)
- UCAM-CL-TR-173
- Roger William Stephen Hale: Programming
in temporal logic, July 1989. (182 pages, PhD thesis)
- UCAM-CL-TR-172
- Julia Rose Galliers: A
theoretical framework for computer models of cooperative dialogue,
acknowledging multi-agent conflict, July 1989. (226 pages)
- UCAM-CL-TR-171
- Jon Fairbairn: Some
types with inclusion properties in ∀, →, μ, June 1989. (10 pages)
- UCAM-CL-TR-170
- Ursula Martin,
Tobias Nipkow: Ordered
rewriting and confluence, May 1989. (18 pages)
- UCAM-CL-TR-169
- Andrew Franklin Seaborne: Filing
in a heterogeneous network, April 1989. (131 pages, PhD thesis)
- UCAM-CL-TR-168
- J.M. Bacon, I.M. Leslie,
R.M. Needham: Distributed
computing with a processor bank, April 1989. (15 pages)
- UCAM-CL-TR-167
- Jeffrey J. Joyce: A
verified compiler for a verified microprocessor, March 1989. (67
pages)
- UCAM-CL-TR-166
- Jean Bacon: Evolution
of operating system structures, March 1989. (28 pages)
- UCAM-CL-TR-165
- Peter Newman: Fast
packet switching for integrated services, March 1989. (145 pages,
PhD thesis)
- UCAM-CL-TR-164
- Li Gong, David J. Wheeler: A matrix
key distribution system, October 1988. (20 pages)
- UCAM-CL-TR-163
- Ann Copestake, Karen Spärck Jones:
Inference
in a natural language front end for databases, February 1989. (87
pages)
- UCAM-CL-TR-162
- Claire Grover, Ted Briscoe, John Carroll,
Bran Boguraev: The
Alvey natural language tools grammar (2nd Release), April 1989. (90
pages)
- UCAM-CL-TR-161
- D.C.J. Matthews: Papers
on Poly/ML, February 1989. (150 pages)
- UCAM-CL-TR-160
- Andrew Gordon: PFL+: A
Kernal Scheme for Functions I/O, February 1989. (26 pages)
- UCAM-CL-TR-159
- Andrew M. Pitts: Non-trivial
power types can’t be subtypes of polymorphic types, January 1989.
(12 pages)
- UCAM-CL-TR-158
- Karen Spärck Jones:
Tailoring
output to the user: What does user modelling in generation mean?,
August 1988. (21 pages)
- UCAM-CL-TR-157
- Juanito Camilleri: Introducing
a priority operator to CCS, January 1989. (19 pages)
- UCAM-CL-TR-156
- Steve Pulman: Events
and VP modifiers, January 1989. (10 pages)
- UCAM-CL-TR-155
- S.G. Pulman, G.J. Russell, G.D. Ritchie, A.W. Black: Computational
morphology of English, January 1989. (15 pages)
- UCAM-CL-TR-154
- I.B. Crabtree, R.S. Crouch, D.C. Moffat, N.J. Pirie, S.G. Pulman,
G.D. Ritchie, B.A. Tate: A
natural language interface to an intelligent planning system,
January 1989. (14 pages)
- UCAM-CL-TR-153
- Michael Burrows: Efficient
data sharing, December 1988. (99 pages, PhD thesis)
- UCAM-CL-TR-152
- Andrew Mark Pullen: Motion
development for computer animation, November 1988. (163 pages, PhD
thesis)
- UCAM-CL-TR-151
- Inderpreet-Singh Dhingra: Formalising
an integrated circuit design style in higher order logic, November
1988. (195 pages, PhD thesis)
- UCAM-CL-TR-150
- Albert John Camilleri: Simulation
as an aid to verification using the HOL theorem prover, October
1988. (23 pages)
- UCAM-CL-TR-149
- Paul Ashley Karger: Improving
security and performance for capability systems, October 1988. (273
pages, PhD thesis)
- UCAM-CL-TR-148
- Jonathan Billington: Extending
coloured petri nets, September 1988. (82 pages)
- UCAM-CL-TR-147
- Jeffrey Joyce: Formal
specification and verification of microprocessor systems, September
1988. (24 pages)
- UCAM-CL-TR-146
- Thomas F. Melham: Automating
recursive type definitions in higher order logic, September 1988.
(64 pages)
- UCAM-CL-TR-145
- Michael J.C. Gordon:
Mechanizing
programming logics in higher order logic, September 1988. (55 pages)
- UCAM-CL-TR-144
- Juanito Camilleri: An
operational semantics for occam, August 1988. (27 pages)
- UCAM-CL-TR-143
- Lawrence C. Paulson: Experience
with Isabelle : A generic theorem prover, August 1988. (20 pages)
- UCAM-CL-TR-142
- Peter Newman: A fast
packet switch for the integrated services backbone network, July
1988. (24 pages)
- UCAM-CL-TR-141
- Roy Want: Reliable
management of voice in a distributed system, July 1988. (127 pages,
PhD thesis)
- UCAM-CL-TR-140
- Albert John Camilleri: Executing
behavioural definitions in higher order logic, July 1988. (183
pages, PhD thesis)
- UCAM-CL-TR-139
- Paul R. Manson: Petri
net theory: a survey, June 1988. (77 pages)
- UCAM-CL-TR-138
- Michael Burrows, Martín Abadi, Roger Needham: Authentication:
a practical study in belief and action, June 1988. (19 pages)
- UCAM-CL-TR-137
- F.V. Hasle: Mass
terms and plurals: from linguistic theory to natural language
processing, June 1988. (171 pages)
- UCAM-CL-TR-136
- Jeffrey J. Joyce: Formal
specification and verification of asynchronous processes in higher-order
logic, June 1988. (45 pages)
- UCAM-CL-TR-135
- Thomas F. Melham: Using
recursive types to reason about hardware in higher order logic, May
1988. (30 pages)
- UCAM-CL-TR-134
- Avra Cohn: Correctness
properties of the Viper black model: the second level, May 1988.
(114 pages)
- UCAM-CL-TR-133
- Lawrence C. Paulson: A
preliminary users manual for Isabelle, May 1988. (81 pages)
- UCAM-CL-TR-132
- Miriam Ellen Leeser: Reasoning
about the function and timing of integrated circuits with Prolog and
temporal logic, April 1988. (151 pages, PhD thesis)
- UCAM-CL-TR-131
- Karen Spärck Jones:
Architecture
problems in the construction of expert systems for document
retrieval, December 1986. (28 pages)
- UCAM-CL-TR-130
- Lawrence C Paulson: The
foundation of a generic theorem prover, March 1988. (44 pages)
- UCAM-CL-TR-129
- Jeremy Peter Bennett: A
methodology for automated design of computer instruction sets, March
1988. (147 pages, PhD thesis)
- UCAM-CL-TR-128
- Robert Charles Beaumont Cooper: Debugging
concurrent and distributed programs, February 1988. (111 pages, PhD
thesis)
- UCAM-CL-TR-127
- John Carroll, Bran Boguraev, Claire Grover, Ted Briscoe: A
development environment for large natural language grammars,
February 1988. (44 pages)
- UCAM-CL-TR-126
- M.E. Leeser: Reasoning
about the function and timing of integrated circuits with Prolog and
temporal logic, February 1988. (50 pages)
- UCAM-CL-TR-125
- Juanito Camilleri: An
operational semantics for Occam, February 1988. (24 pages)
- UCAM-CL-TR-124
- John Herbert: Formal
verification of basic memory devices, February 1988. (46 pages)
- UCAM-CL-TR-123
- John Herbert: Case
study of the Cambridge Fast Ring ECL chip using HOL, February 1988.
(38 pages)
- UCAM-CL-TR-122
- John Herbert: Temporal
abstraction of digital designs, February 1988. (34 pages)
- UCAM-CL-TR-121
- Jonathan Billington: A
high-level petri net specification of the Cambridge Fast Ring M-access
service, December 1987. (31 pages)
- UCAM-CL-TR-120
- D. Wheeler: Block
encryption, November 1987. (4 pages)
- UCAM-CL-TR-119
- Robert Cooper: Pilgrim:
a debugger for distributed systems, July 1987. (19 pages)
- UCAM-CL-TR-118
- B.K. Boguraev, K. Spärck Jones: Material
concerning a study of cases, May 1987. (31 pages)
- UCAM-CL-TR-117
- J.M. Bacon, K.G. Hamilton: Distributed
computing with RPC: the Cambridge approach, October 1987. (15 pages)
- UCAM-CL-TR-116
- Thierry Coquand, Carl Gunter, Glynn Winskel: Domain
theoretic models of polymorphism, September 1987. (52 pages)
- UCAM-CL-TR-115
- I.S. Dhingra: Formal
validation of an integrated circuit design style, August 1987. (29
pages)
- UCAM-CL-TR-114
- Stephen Ades: An
architecture for integrated services on the local area network,
September 1987. (166 pages, PhD thesis)
- UCAM-CL-TR-113
- Lawrence C. Paulson: The
representation of logics in higher-order logic, August 1987. (29
pages)
- UCAM-CL-TR-112
- D.A. Wolfram: Reducing
thrashing by adaptive backtracking, August 1987. (15 pages)
- UCAM-CL-TR-111
- K. Spärck Jones:
Realism
about user modelling, June 1987. (32 pages)
- UCAM-CL-TR-110
- Glynn Winskel: Relating
two models of hardware, July 1987. (16 pages)
- UCAM-CL-TR-109
- Jeffrey Joyce: Hardware
verification of VLSI regular structures, July 1987. (20 pages)
- UCAM-CL-TR-108
- Andrew John Wilkes: Workstation
design for distributed computing, June 1987. (179 pages, PhD thesis)
- UCAM-CL-TR-107
- Thierry Coquand, Carl Gunter, Glynn Winskel: DI-domains
as a model of polymorphism, May 1987. (19 pages)
- UCAM-CL-TR-106
- Thomas F. Melham: Abstraction
mechanisms for hardware verification, May 1987. (26 pages)
- UCAM-CL-TR-105
- Glynn Winskel: A
compositional model of MOS circuits, April 1987. (25 pages)
- UCAM-CL-TR-104
- Avra Cohn: A proof
of correctness of the Viper microprocessor: the first level, January
1987. (46 pages)
- UCAM-CL-TR-103
- Mike Gordon: HOL : A
proof generating system for higher-order logic, January 1987. (56
pages)
- UCAM-CL-TR-102
- David C.J. Matthews: A
persistent storage system for Poly and ML, January 1987. (16 pages)
- UCAM-CL-TR-101
- David Russel Milway: Binary
routing networks, December 1986. (131 pages, PhD thesis)
- UCAM-CL-TR-100
- Jeff Joyce, Graham Birtwistle, Mike Gordon: Proving
a computer correct in higher order logic, December 1986. (57 pages)
- UCAM-CL-TR-99
- David C.J. Matthews: An
overview of the Poly programming language, August 1986. (11 pages)
- UCAM-CL-TR-98
- E. Robinson: Power-domains,
modalities and the Vietoris monad, October 1986. (16 pages)
- UCAM-CL-TR-97
- Alan Mycroft: A study
on abstract interpretation and “validating microcode algebraically”,
October 1986. (22 pages)
- UCAM-CL-TR-96
- Glynn Winskel: Models
and logic of MOS circuits : Lectures for the Marktoberdorf Summerschool,
August 1986, October 1986. (47 pages)
- UCAM-CL-TR-95
- Glynn Winskel: Event
structures : Lecture notes for the Advanced Course on Petri Nets,
July 1986. (69 pages)
- UCAM-CL-TR-94
- Avra Cohn, Mike Gordon: A
mechanized proof of correctness of a simple counter, June 1986. (80
pages)
- UCAM-CL-TR-93
- J.P. Bennett: Automated
design of an instruction set for BCPL, June 1986. (56 pages)
- UCAM-CL-TR-92
- Stuart Charles Wray: Implementation
and programming techniques for functional languages, June 1986. (117
pages, PhD thesis)
- UCAM-CL-TR-91
- Albert Camilleri, Mike Gordon,
Tom Melham: Hardware
verification using higher-order logic, September 1986. (25 pages)
- UCAM-CL-TR-90
- Andy Hopper, Roger M. Needham: The
Cambridge Fast Ring networking system (CFR), June 1986. (25 pages)
- UCAM-CL-TR-89
- Jon Fairbairn: Making
form follow function : An exercise in functional programming style,
June 1986. (9 pages)
- UCAM-CL-TR-88
- David Maclean Carter: A shallow
processing approach to anaphor resolution, May 1986. (233 pages, PhD
thesis)
- UCAM-CL-TR-87
- Kathleen Anne Carter: Computer-aided
type face design, May 1986. (172 pages, PhD thesis)
- UCAM-CL-TR-86
- Stephen Christopher Crawley: The
Entity System: an object based filing system, April 1986. (120
pages, PhD thesis)
- UCAM-CL-TR-85
- Glynn Winskel: Category
theory and models for parallel computation, April 1986. (16 pages)
- UCAM-CL-TR-84
- Martin Richards: BSPL: a
language for describing the behaviour of synchronous hardware, April
1986. (56 pages)
- UCAM-CL-TR-83
- Ian David Wilson: Operating
system design for large personal workstations. (203 pages, PhD
thesis)
- UCAM-CL-TR-82
- Lawrence C. Paulson: Natural
deduction proof as higher-order resolution, December 1985. (25
pages)
- UCAM-CL-TR-81
- William Robert Stoye: The
implementation of functional languages using custom hardware,
December 1985. (151 pages, PhD thesis)
- UCAM-CL-TR-80
- Lawrence C. Paulson: Interactive
theorem proving with Cambridge LCF : A user’s manual, November 1985.
(140 pages)
- UCAM-CL-TR-79
- Glynn Winskel: Petri
nets, algebras and morphisms. (38 pages)
- UCAM-CL-TR-78
- Glynn Winskel: A
complete proof system for SCCS with model assertions, September
1985. (23 pages)
- UCAM-CL-TR-77
- Mike Gordon: Why
higher-order logic is a good formalisation for specifying and verifying
hardware, September 1985. (28 pages)
- UCAM-CL-TR-76
- R.C.B. Cooper, K.G. Hamilton: Preserving
abstraction in concurrent programming, August 1985. (16 pages)
- UCAM-CL-TR-75
- Jon Fairbairn: Design
and implementation of a simple typed language based on the
lambda-calculus, May 1985. (107 pages, PhD thesis)
- UCAM-CL-TR-74
- Mike Gordon: Hardware
verification by formal proof, August 1985. (6 pages)
- UCAM-CL-TR-73
- Daniel Hammond Craft: Resource
management in a distributed computing system. (116 pages, PhD
thesis)
- UCAM-CL-TR-72
- W.F. Clocksin: Logic
programming and the specification of circuits, May 1985. (13 pages)
- UCAM-CL-TR-71
- Ben Moszkowski: Executing
temporal logic programs, August 1985. (96 pages)
- UCAM-CL-TR-70
- Kenneth Graham Hamilton: A remote
procedure call system, December 1984. (109 pages, PhD thesis)
- UCAM-CL-TR-69
- Lawrence C. Paulson: Proving
termination of normalization functions for conditional expressions,
June 1985. (16 pages)
- UCAM-CL-TR-68
- Mike Gordon: HOL : A
machine oriented formulation of higher order logic, July 1985. (52
pages)
- UCAM-CL-TR-67
- Lawrence C. Paulson: Natural
deduction theorem proving via higher-order resolution, May 1985. (22
pages)
- UCAM-CL-TR-66
- M.J.C. Gordon,
J. Herbert: A formal
hardware verification methodology and its application to a network
interface chip, May 1985. (39 pages)
- UCAM-CL-TR-65
- Mark Tillotson: Introduction
to the programming language “Ponder”, May 1985. (57 pages)
- UCAM-CL-TR-64
- Branimir K. Boguraev, Karen Spärck Jones:
A
framework for inference in natural language front ends to databases,
February 1985. (73 pages)
- UCAM-CL-TR-63
- David C.J. Matthews: Poly
manual, February 1985. (46 pages)
- UCAM-CL-TR-62
- Michael Robson: Constraint
enforcement in a relational database management system. (106 pages,
PhD thesis)
- UCAM-CL-TR-61
- Karen Spärck Jones:
User
models and expert systems, December 1984. (44 pages)
- UCAM-CL-TR-60
- Hiyan Alshawi: Memory
and context mechanisms for automatic text processing. (192 pages,
PhD thesis)
- UCAM-CL-TR-59
- Glynn Winskel: On the
composition and decomposition of assertions, November 1984. (35
pages)
- UCAM-CL-TR-58
- Glynn Winskel: Categories
of models for concurrency, October 1984. (35 pages)
- UCAM-CL-TR-57
- Lawrence C. Paulson: Constructing
recursion operators in intuitionistic type theory, October 1984. (46
pages)
- UCAM-CL-TR-56
- William Stoye: A new
scheme for writing functional operating systems, September 1984. (30
pages)
- UCAM-CL-TR-55
- Ben Moszkowski: Executing
temporal logic programs, August 1984. (27 pages)
- UCAM-CL-TR-54
- Lawrence Paulson: Lessons
learned from LCF, August 1984. (16 pages)
- UCAM-CL-TR-53
- Jon Fairbairn: A new
type-checker for a functional language, July 1984. (16 pages)
- UCAM-CL-TR-52
- Steven Temple: The
design of a ring communication network. (132 pages, PhD thesis)
- UCAM-CL-TR-51
- Glynn Winskel, Kim Guldstrand Larsen: Using
information systems to solve recursive domain equations effectively,
July 1984. (41 pages)
- UCAM-CL-TR-50
- Lawrence Paulson: Verifying
the unification algorithm in LCF, March 1984. (28 pages)
- UCAM-CL-TR-49
- David Charles James Matthews: Programming
language design with polymorphism. (143 pages, PhD thesis)
- UCAM-CL-TR-48
- Hiyan Alshawi: A
mechanism for the accumulation and application of context in text
processing, November 1983. (17 pages)
- UCAM-CL-TR-47
- John Irving Tait: Automatic
summarising of English texts. (137 pages, PhD thesis)
- UCAM-CL-TR-46
- Nicholas Henry Garnett: Intelligent
network interfaces, May 1985. (140 pages, PhD thesis)
- UCAM-CL-TR-45
- Karen Spärck Jones:
Compound
noun interpretation problems, July 1983. (16 pages)
- UCAM-CL-TR-44
- Lawrence Paulson: Structural
induction in LCF, November 1983. (35 pages)
- UCAM-CL-TR-43
- Ian Malcom Leslie: Extending
the local area network, February 1983. (71 pages, PhD thesis)
- UCAM-CL-TR-42
- Mike Gordon: Proving a
computer correct with the LCF_LSM hardware verification system,
September 1983. (49 pages)
- UCAM-CL-TR-41
- Mike Gordon: LCF_LSM,
A system for specifying and verifying hardware, September 1983. (53
pages)
- UCAM-CL-TR-40
- W. Stoye: The SKIM
microprogrammer’s guide, October 1983. (33 pages)
- UCAM-CL-TR-39
- Lawrence Paulson: Tactics
and tacticals in Cambridge LCF, July 1983. (26 pages)
- UCAM-CL-TR-38
- Mike Gray: Views and
imprecise information in databases, November 1982. (119 pages, PhD
thesis)
- UCAM-CL-TR-37
- Christopher Gray Girling: Representation
and authentication on computer networks. (154 pages, PhD thesis)
- UCAM-CL-TR-36
- Lawrence Paulson: The
revised logic PPLAMBDA : A reference manual, March 1983. (28 pages)
- UCAM-CL-TR-35
- Larry Paulson: Rewriting
in Cambridge LCF, February 1983. (32 pages)
- UCAM-CL-TR-34
- Larry Paulson: Recent
developments in LCF: examples of structural induction, January 1983.
(15 pages)
- UCAM-CL-TR-33
- John A. Carroll: An island
parsing interpreter for Augmented Transition Networks, October 1982.
(50 pages)
- UCAM-CL-TR-32
- B.K. Boguraev, K. Spärck Jones: How to
drive a database front end using general semantic information,
November 1982. (20 pages)
- UCAM-CL-TR-31
- J. Fairbairn: Ponder
and its type system, November 1982. (42 pages)
- UCAM-CL-TR-30
- John Wilkes: A
portable BCPL library, October 1982. (31 pages)
- UCAM-CL-TR-29
- D.C.J. Matthews: Introduction
to Poly, May 1982. (24 pages)
- UCAM-CL-TR-28
- D.C.J. Matthews: Poly
report, August 1982. (17 pages)
- UCAM-CL-TR-27
- Martyn Alan Johnson: Exception
handling in domain based systems, September 1981. (129 pages, PhD
thesis)
- UCAM-CL-TR-26
- Brian James Knight: Portable
system software for personal computers on a network. (204 pages, PhD
thesis)
- UCAM-CL-TR-25
- Hiyan Alshawi: A
clustering technique for semantic network processing, May 1982. (9
pages)
- UCAM-CL-TR-24
- B.K. Boguraev, K. Spärck Jones: Steps
towards natural language to data language translation using general
semantic information, March 1982. (8 pages)
- UCAM-CL-TR-23
- J.I. Tait: Two
papers about the scrabble summarising system. (12 pages)
- UCAM-CL-TR-22
- M. Robson: Constraints
in CODD. (18 pages)
- UCAM-CL-TR-21
- A. Cohn: The
correctness of a precedence parsing algorithm in LCF, April 1982.
(38 pages)
- UCAM-CL-TR-20
- Avra Cohn, Robin Milner: On using
Edinburgh LCF to prove the correctness of a parsing algorithm,
February 1982. (23 pages)
- UCAM-CL-TR-19
- Arthur William Sebright Cater: Analysis
and inference for English, September 1981. (223 pages, PhD thesis)
- UCAM-CL-TR-18
- Burkard Wördenweber: Automatic
mesh generation of 2 & 3 dimensional curvilinear manifolds,
November 1981. (128 pages, PhD thesis)
- UCAM-CL-TR-17
- B.K. Boguraev, K. Spärck Jones,
J.I. Tait: Three
papers on parsing, 1982. (22 pages)
- UCAM-CL-TR-16
- Jeremy Dion: Reliable
storage in a local network, February 1981. (142 pages, PhD thesis)
- UCAM-CL-TR-15
- I.D. Wilson: The
implementation of BCPL on a Z80 based microcomputer. (68 pages)
- UCAM-CL-TR-14
- J.S. Powers: Store to
store swapping for TSO under OS/MVT, June 1980. (28 pages)
- UCAM-CL-TR-13
- Philip Hazel: Resource
allocation and job scheduling, 1980. (41 pages)
- UCAM-CL-TR-12
- M.R.A. Oakley, P. Hazel: HASP “IBM
1130” multileaving remote job entry protocol with extensions as used on
the University of Cambridge IBM 370/165, September 1979. (28 pages)
- UCAM-CL-TR-11
- Branimir Konstatinov Boguraev: Automatic
resolution of linguistic ambiguities. (222 pages, PhD thesis)
- UCAM-CL-TR-10
- Mark Theodore Pezarro: Prediction
oriented description of database systems. (190 pages, PhD thesis)
- UCAM-CL-TR-9
- Douglas John Cook: Evaluation
of a protection system. (181 pages, PhD thesis)
- UCAM-CL-TR-7
- Andrew Hopper: Local area
computer communication networks, April 1978. (192 pages, PhD thesis)
- UCAM-CL-TR-6
- Andrew D. Birrell: System
programming in a high level language, December 1977. (125 pages, PhD
thesis)
- UCAM-CL-TR-5
- P. Hazel, A.J.M. Stoneley: Parrot – A
replacement for TCAM, April 1976. (25 pages)
- UCAM-CL-TR-4
- A.J.M. Stoneley: The
dynamic creation of I/O paths under OS/360-MVT, April 1975. (16
pages)
- UCAM-CL-TR-3
- A.J.M. Stoneley: A
replacement for the OS/360 disc space management routines, April
1975. (7 pages)
- UCAM-CL-TR-2
- J. Larmouth: Scheduling
for a share of the machine, October 1974. (29 pages)
- UCAM-CL-TR-1
- M.F. Challis: The
JACKDAW database package, October 1974. (15 pages)
Last update: 2024-04-15