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