The JACKDAW database package

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 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

Inderpreel-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