![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
David Cock.
Friday 17 April 2026, 14:00-15:00
djg11's list
A personal list of talks.
Contact: David Greaves
5 upcoming talks View 1746 archived talks
Logic and Semantics Seminar (Computer Laboratory)
Neutrality and The Atoll Verified Hypervisor
Logic and Semantics Seminar (Computer Laboratory)
Non-Closure Properties of Read-Once Oblivious Algebraic Branching Programs
Computer Laboratory Systems Research Group Seminar
Run Time Reoptimization for Modern Heterogenous Systems
β οΈ In part a round-table discussion; this talk will not be online/hybrid or recorded
Wednesday Seminars - Department of Computer Science and Technology
Automated Translation of Real-World Codebases: How Far Are We?
Logic and Semantics Seminar (Computer Laboratory)
Layered monoidal theories
Computer Laboratory Systems Research Group Seminar
Automatically Formally Verified Hardware using Aristotle
Wednesday Seminars - Department of Computer Science and Technology
The Cybersecurity Awareness Experience: A Masterclass in Social Engineering, Behavioral Psychology, and Digital Self-Defense
Logic and Semantics Seminar (Computer Laboratory)
The Cognitive and Human Factors of Formal Methods
Wednesday Seminars - Department of Computer Science and Technology
Geometric Gaussian Processes
Wednesday Seminars - Department of Computer Science and Technology
A Gentle Introduction to Quantum Computational ElectroMagnetics
Logic and Semantics Seminar (Computer Laboratory)
Nitro Isolation Engine: formally verifying a production hypervisor
Wednesday Seminars - Department of Computer Science and Technology
15 years of the CHERI Research Project: Reflections, Current Work, and Next Directions
Wednesday Seminars - Department of Computer Science and Technology
What is HoTT?
Computer Laboratory Computer Architecture Group Meeting
Shorter Cycles, Better Chips: Compiler Infrastructure for Accelerating the Hardware-Software Design Loop
Computer Laboratory Computer Architecture Group Meeting
Shorter Cycles, Better Chips: Compiler Infrastructure for Accelerating the Hardware-Software Design Loop
Wednesday Seminars - Department of Computer Science and Technology
Resource estimation and optimization to accelerate progress towards quantum advantage
Logic and Semantics Seminar (Computer Laboratory)
Semantics for Reactive Probabilistic Programming
Wednesday Seminars - Department of Computer Science and Technology
Physical Inductive Biases for World Models
Wednesday Seminars - Department of Computer Science and Technology
AI for Math: The Future of Collaborative Discovery
compiler socials
Full Stack Verification of CHERI systems
Wednesday Seminars - Department of Computer Science and Technology
From research lab to newsroom: deploying secure whistleblower technology in practice
Computer Laboratory Systems Research Group Seminar
Two talk double feature: NetFridgeS and The Small World Web of AI
β οΈ This is a double-header (two talks for the price of one)
Computer Laboratory Systems Research Group Seminar
Two talk double feature: NetFridgeS and The Small World Web of AI
β οΈ NOTE LOCATION/TIME - This is a double-header (two talks for the price of one)
Logic and Semantics Seminar (Computer Laboratory)
Liberating synthetic quasi-coherence from syntax
Computer Laboratory Systems Research Group Seminar
Specializing Reinforcement Learning Techniques for Database Systems
Computer Laboratory Systems Research Group Seminar
Fast and Accurate Flow Mining in High-Speed Networks with Sketches
β οΈ Please note unusual SRG/NETOS time / location.
Logic and Semantics Seminar (Computer Laboratory)
Cospans of finite sets
Wednesday Seminars - Department of Computer Science and Technology
Standing on the Shoulders of Giants
The Wheeler Lectures in Computer Science
Wheeler Lecture 2025: Efficiency, Resilience, and Artificial Intelligence
Logic and Semantics Seminar (Computer Laboratory)
The Dichotomy Theorem on the computational complexity of the Constraint Satisfaction Problem
Logic and Semantics Seminar (Computer Laboratory)
Semiring Semantics: Algebraic Properties vs. Logical Results
Logic and Semantics Seminar (Computer Laboratory)
On Solution Discovery via Reconfiguration
ack55's list
Coinductive predicates in Lean
Logic and Semantics Seminar (Computer Laboratory)
Fibred models of dual-context type theory and internal universes in models of HoTT
Computer Laboratory Computer Architecture Group Meeting
Fault-Tolerant System-on-Chip Design for Harsh Space Environments
β οΈ Note unusual time
compiler socials
MLIR (Un)School Meets UK Compiler Community: Public Workshop
Computer Laboratory Systems Research Group Seminar
Adaptive Resource Allocation for Low-Latency LLM Serving in Dynamic Environments
Computer Laboratory Computer Architecture Group Meeting
Recursive Definitions in Lean
Computer Laboratory Computer Architecture Group Meeting
Recursive Definitions in Lean
Logic and Semantics Seminar (Computer Laboratory)
A unified treatment of commuting tensor products
compiler socials
Translation Validation for LLVM's AArch64 Backend
Computer Laboratory Computer Architecture Group Meeting
More ARMs than arms: From Sunk to Silicon Supremacy
Logic and Semantics Seminar (Computer Laboratory)
Aeneas: Rust Verification by Functional Translation
Wednesday Seminars - Department of Computer Science and Technology
Hard and soft equivariance priors via Steerable CNNs
Computer Laboratory Systems Research Group Seminar
AI Meets Economics: The Case of Auction-Assisted AI Systems in Cloud-Edge Continuum
Wednesday Seminars - Department of Computer Science and Technology
Recreating the Physical Natural World from Images
tcg40's list
AI Accelerators 101
Wednesday Seminars - Department of Computer Science and Technology
Type-driven Development with Idris 2
Logic and Semantics Seminar (Computer Laboratory)
A topological proof of the H-colouring dichotomy
Wednesday Seminars - Department of Computer Science and Technology
The TPTP World - Infrastructure for Automated Reasoning
Computer Laboratory Systems Research Group Seminar
The Case for Decentralized Scheduling in Modern Datacenters
Computer Laboratory Computer Architecture Group Meeting
Equality Saturation and Industrial Circuit Design
Logic and Semantics Seminar (Computer Laboratory)
On morphisms between diagrams, and strictification of (β,n)-categories
compiler socials
User-extensible and Productive Programming of Specialized Hardware
Computer Laboratory Systems Research Group Seminar
Shape-shifting Elephants: Multi-modal Transport for Integrated Research Infrastructure
Computer Laboratory Systems Research Group Seminar
Mitigating the Risks of Metastable Failures in Distributed Systems
Logic and Semantics Seminar (Computer Laboratory)
Interventions and Counterfactuals for the Working Programmer
Logic and Semantics Seminar (Computer Laboratory)
Number of quantifiers in 3-variable logic on linear orders
Wednesday Seminars - Department of Computer Science and Technology
Which Faculty Diversity Programs Work? Evidence from 600 U.S. Colleges and Universities
tcg40's list
CASCADE Poster Social (+ Compiler Tech Talk)
Logic and Semantics Seminar (Computer Laboratory)
Axiomatization of infinity-categories
Wednesday Seminars - Department of Computer Science and Technology
Generative modelling for de novo design of therapeutics
Logic and Semantics Seminar (Computer Laboratory)
CRIS: The power of imagination in specification and verification
Wednesday Seminars - Department of Computer Science and Technology
Digital Money and Decentralised Finance
Computer Laboratory Computer Architecture Group Meeting
HPCA, CGO & CC 2025 practice presentations
Wednesday Seminars - Department of Computer Science and Technology
Probabilistic weather forecasting with machine learning
compiler socials
Equality Saturation in a Real-World Machine Learning Compiler
Wednesday Seminars - Department of Computer Science and Technology
Hardware Datapath: For Machine Learning and Beyond
Wednesday Seminars - Department of Computer Science and Technology
EU AI Act: A firsthand perspective
Wednesday Seminars - Department of Computer Science and Technology
Green Algorithms, Green DiSC and GREENER principles: making computational science more environmentally sustainable
Computer Laboratory Systems Research Group Seminar
The Demikernel Datapath Architecture for Microsecond-scale Datacenter Systems
Computer Laboratory Systems Research Group Seminar
OSDB: Turning the Tables on Kernel Data
Computer Laboratory Systems Research Group Seminar
Flow-based Encrypted Traffic Analysis
β οΈ https://teams.microsoft.com/l/meetup-join/19:meeting_ZDhlNGE0YTAtMDY5Mi00NGZhLTljOGEtM2ZiNGEyY2Y4Nzc2@thread.v2/0?context=%7B%22Tid%22:%2249a50445-bdfa-4b79-ade3-547b4f3986e9%22,%22Oid%22:%22c74ff4ca-98fe-4b28-9889-e119acc12f30%22%7D
Wednesday Seminars - Department of Computer Science and Technology
The first AGI will be Federated
Wednesday Seminars - Department of Computer Science and Technology
Sensing human activities: from the lab to the home of the elderly
Computer Laboratory Computer Architecture Group Meeting
Automated Reasoning at AWS, and Applications in Cryptography
β οΈ Note unusual time
Computer Laboratory Systems Research Group Seminar
Programmable Kernel Abstractions Wanted for Fun (and Profit)!
Computer Laboratory Systems Research Group Seminar
Compiling Distributed System Models with PGo, and Beyond
Wednesday Seminars - Department of Computer Science and Technology
Computing for Climate Science and Programming for the Planet
Wednesday Seminars - Department of Computer Science and Technology
Lean Learning: Applying Lean and Agile Techniques to Software Engineering Education
Computer Laboratory Systems Research Group Seminar
Modelling orchestration
The Wheeler Lectures in Computer Science
Wheeler Lecture 2024: Supercharging the Human Mind With AI
lc985's list
Cambridge Compiler Social Talks
Computer Laboratory Systems Research Group Seminar
Compiling Distributed System Models with PGo, and Beyond
Computer Laboratory Computer Architecture Group Meeting
Modern Multi-Level Partitioning for Block-Based IC Design and Machine Learning
Computer Laboratory Computer Architecture Group Meeting
Modern Multi-Level Partitioning for Block-Based IC Design and Machine Learning
Logic and Semantics Seminar (Computer Laboratory)
Much Still to Do in Compiler Verification (A Perspective from the CakeML Project)
Computer Laboratory Computer Architecture Group Meeting
Kanagawa: How Wavefront Threading Enables Effective High-Level Synthesis
β οΈ https://www.microsoft.com/en-us/research/people/dlo/
Computer Laboratory Systems Research Group Seminar
Picos β Interoperable effects based concurrency for OCaml
mb2663's list
Hyperblock Scheduling for Verified High-Level Synthesis
Computer Laboratory Systems Research Group Seminar
PaSh: Scaling out Shell Programs, Automatically
Computer Laboratory Computer Architecture Group Meeting
For ML and With ML: The New Normal in System Design
Computer Laboratory Systems Research Group Seminar
Towards identifying neglected, obsolete and abandoned IoT and OT devices
β οΈ https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09
Wednesday Seminars - Department of Computer Science and Technology
Iterative active learning for the rapid discovery of best-in-class multispecific antibody therapeutics
Logic and Semantics Seminar (Computer Laboratory)
A selective and biased choice of techniques for building a distributed data store
Wednesday Seminars - Department of Computer Science and Technology
Exploring novel (bio)molecular spaces by design β a dialogue between representation and generation
Logic and Semantics Seminar (Computer Laboratory)
Comodule representations of Second-order functionals
β οΈ Note the unusual date and time.
Computer Laboratory Computer Architecture Group Meeting
Compiler and Architectural Support for Whole-System Persistence
Computer Laboratory Systems Research Group Seminar
Tech law vs tech design: why can't we be friends?
lc985's list
Democratizing Data Science by Leveraging Structure
Computer Laboratory Systems Research Group Seminar
A Privacy-Preserving Architecture and Data-sharing Model for Cloud-IoT Applications
Computer Laboratory Systems Research Group Seminar
Enabling Efficient and Scalable DRAM Read Disturbance Mitigation via New Experimental Insights into Modern DRAM Chips / Methodologies, Workloads, and Tools for Processing-in-Memory: Enabling the Adoption of Data-Centric Architectures.
Wednesday Seminars - Department of Computer Science and Technology
Private Data Analysis over Large Populations
Logic and Semantics Seminar (Computer Laboratory)
Choice Principles in Observational Type Theory
Computer Laboratory Computer Architecture Group Meeting
Optimization Methods for Accelerator Mapping and Hardware Design Space Exploration
Computer Laboratory Computer Architecture Group Meeting
Representing Data Collections for Analysis and Transformation
Wednesday Seminars - Department of Computer Science and Technology
Distribution Shifts in Human-Centered Representation Learning
Logic and Semantics Seminar (Computer Laboratory)
Epimorphisms and Acyclic Types in Univalent Mathematics
Computer Laboratory Systems Research Group Seminar
Using outbreak games to learn about real outbreaks
β οΈ Zoom link: https://cam-ac-uk.zoom.us/j/82748387727?pwd=QThrbVVkL2tJZnZOM2dRUUFnNVdqQT09 Meeting ID: 827 4838 7727 Passcode: 339671
Wednesday Seminars - Department of Computer Science and Technology
A Data-Free, Universal Prior Distribution for Syntactic Structures
Computer Laboratory Computer Architecture Group Meeting
OptiWISE: Combining Sampling and Instrumentation for Granular CPI Analysis
Computer Laboratory Systems Research Group Seminar
How debuggable is your (compiler-optimised) program?
Wednesday Seminars - Department of Computer Science and Technology
Making Large Language Models Safe: A Case Study of Llama2
Computer Laboratory Computer Architecture Group Meeting
Compiler Testing with Relaxed Memory Models with L. Geeson
Logic and Semantics Seminar (Computer Laboratory)
Synthesis modulo oracles
Wednesday Seminars - Department of Computer Science and Technology
Graph Neural Networks for skillful weather forecasting
Wednesday Seminars - Department of Computer Science and Technology
The Compilation Game: Unifying AI, Hardware Design, Quantum, Climate Modelling, and Verification
Computer Laboratory Programming Research Group Seminar
When Subtyping Constraints Liberate: Polymorphic Subtype Inference And Scope Safety
β οΈ Today we have two Logic and Semantics talks, with a small gap for coffee in between.
Logic and Semantics Seminar (Computer Laboratory)
When Subtyping Constraints Liberate: Polymorphic Subtype Inference And Scope Safety
Logic and Semantics Seminar (Computer Laboratory)
Towards Secure Distributed Choreographies
Wednesday Seminars - Department of Computer Science and Technology
Quantum computing via the lens of additive combinatorics
Logic and Semantics Seminar (Computer Laboratory)
Testing GPU Memory Consistency at Large
Wednesday Seminars - Department of Computer Science and Technology
A brief introduction to causal inference
Logic and Semantics Seminar (Computer Laboratory)
A categorical semantics for neural networks
Computer Laboratory Systems Research Group Seminar
DINC: Toward Distributed In-Network Computing / Exploring the Benefits of Carbon-Aware Routing
Wednesday Seminars - Department of Computer Science and Technology
Cross-lingual transfer learning with multilingual masked language models
The Wheeler Lectures in Computer Science
Wheeler Lecture 2023: Beyond functional programming: a taste of Verse
Computer Laboratory Computer Architecture Group Meeting
Unlocking the Power of Data-Centric Acceleration for Modern Applications
Computer Laboratory Systems Research Group Seminar
Navigating the Open Source Landscape: Insights from Ayan Kumar and Edwin Torok
β οΈ https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09
Wednesday Seminars - Department of Computer Science and Technology
Coherence Attacks and Defenses in 2.5D Integrated Systems
Wednesday Seminars - Department of Computer Science and Technology
Pathfinding for 10k agents
Computer Laboratory Systems Research Group Seminar
K9db: Privacy-Compliant Storage For Web Applications By Construction
β οΈ https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09
Wednesday Seminars - Department of Computer Science and Technology
An invitation to univalent foundations of mathematics
Logic and Semantics Seminar (Computer Laboratory)
Coherence by Normalization for Linear Multicategorical Structures
Logic and Semantics Seminar (Computer Laboratory)
Software for Compositional Modeling
Logic and Semantics Seminar (Computer Laboratory)
How to prove - hopefully - that polynomial time is not choiceless
Wednesday Seminars - Department of Computer Science and Technology
How can we make trustworthy AI?
Computer Laboratory Computer Architecture Group Meeting
Modern Cache Prefetching and Page Size Aware Cache Prefetching
β οΈ Note unusual time
Computer Laboratory Computer Architecture Group Meeting
SQuadS: Self-Serve System Services for new Hardware-Software Cooperation
Hardware for Machine Learning
Tenstorrent - building AI/ML accelerators
Logic and Semantics Seminar (Computer Laboratory)
Optimizations in a formally verified compiler
Computer Laboratory Systems Research Group Seminar
Memo: an incremental computation library that powers Dune
β οΈ https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09
Computer Laboratory Computer Architecture Group Meeting
Wally: Bridging he CPU Education-Implementation Gap
β οΈ Note unusual time
Logic and Semantics Seminar (Computer Laboratory)
Formalizing General Calculi with Binders in Rewriting Logic
Computer Laboratory Systems Research Group Seminar
Monitoring and Improving QoE for the home network via large scale CPE deployment.
β οΈ https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09
Logic and Semantics Seminar (Computer Laboratory)
RoboCert: A Formal Specification Notation for Robotic Software
Computer Laboratory Computer Architecture Group Meeting
Synthesizing Accelerators for FPGAs the Functional Way
Wednesday Seminars - Department of Computer Science and Technology
Privacy in mobility measurements
Computer Laboratory Systems Research Group Seminar
Past, Present and Future of Wireless Networking
Wednesday Seminars - Department of Computer Science and Technology
Bayes in the age of intelligent machines
Logic and Semantics Seminar (Computer Laboratory)
Making concurrency functional
Computer Laboratory Systems Research Group Seminar
In-Network Machine Learning for Market Prediction Using Limit Order Books
Logic and Semantics Seminar (Computer Laboratory)
Compound Memory Models
Wednesday Seminars - Department of Computer Science and Technology
Learning the topology of complex systems from their dynamics
Logic and Semantics Seminar (Computer Laboratory)
Types-To-Sets and Types-to-PERs Relativization in Higher-Order Logic
Computer Laboratory Systems Research Group Seminar
Insights into Routing on Service Addresses (ROSA)
Wednesday Seminars - Department of Computer Science and Technology
From the GUI to ChatGPT: a historical sketch of HCI research agendas and their applicability today
Computer Laboratory Systems Research Group Seminar
Follow the Transistors, a New Approach to Systems Software
Logic and Semantics Seminar (Computer Laboratory)
Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph Classes
Wednesday Seminars - Department of Computer Science and Technology
TALK CANCELLED: Explicit Weakening (A Functional Pearl)
Logic and Semantics Seminar (Computer Laboratory)
Graduality and Parametricity - Together again for the first time, for the second time
Logic and Semantics Seminar (Computer Laboratory)
Stochastic games and strategy complexity
Wednesday Seminars - Department of Computer Science and Technology
Backdoors in Machine Learning Models
Logic and Semantics Seminar (Computer Laboratory)
The Functional Machine Calculus
Wednesday Seminars - Department of Computer Science and Technology
Data Science and Machine Learning in Context
Wednesday Seminars - Department of Computer Science and Technology
Memorial Event for Alexander 'Sandy' Fraser
Logic and Semantics Seminar (Computer Laboratory)
Bidirectional typing is not just an implementation technique
Logic and Semantics Seminar (Computer Laboratory)
When Concurrency Strikes
Computer Laboratory Computer Architecture Group Meeting
Rivos Founder's Talk: Why RIsc-V? Why Open Source? Why is Architecture back?
β οΈ Note unusual time and location
Logic and Semantics Seminar (Computer Laboratory)
Functional Programming with an Incremental Datalog
Logic and Semantics Seminar (Computer Laboratory)
Functional Programming with an Incremental Datalog
Logic and Semantics Seminar (Computer Laboratory)
String diagrams for semistrict n-categories
Computer Laboratory Systems Research Group Seminar
Consumer IoT devices Identification at the Edge
Wednesday Seminars - Department of Computer Science and Technology
Using Everyday Routines as a Resource for Understanding Behaviors and Making Recommendations
Logic and Semantics Seminar (Computer Laboratory)
The linear operator semantics of probabilistic programs
Computer Laboratory Systems Research Group Seminar
Scene understanding in emergency response scenarios
Wednesday Seminars - Department of Computer Science and Technology
Formalised Mathematics: Obstacles and Achievements
Logic and Semantics Seminar (Computer Laboratory)
Linear Logic and the Semantics of Concurrent Computation
Wednesday Seminars - Department of Computer Science and Technology
Financing Forests: A Credible Approach towards Halting Tropical Deforestation
Logic and Semantics Seminar (Computer Laboratory)
On bilinearity of Whitehead products in Homotopy Type Theory
Computer Laboratory Systems Research Group Seminar
The Challenges of Controlling a Quantum Computer
Wednesday Seminars - Department of Computer Science and Technology
CANCELLED: Turning the metaverse from myth to reality
Logic and Semantics Seminar (Computer Laboratory)
Subcubic certificates for CFL reachability
Logic and Semantics Seminar (Computer Laboratory)
Coherent differentiation makes the differential lambda-calculus deterministic
Logic and Semantics Seminar (Computer Laboratory)
Generic pattern unification: a categorical approach
Wednesday Seminars - Department of Computer Science and Technology
Developing an artificial heart
Logic and Semantics Seminar (Computer Laboratory)
β-type theories and coherence problems
Wednesday Seminars - Department of Computer Science and Technology
Would you trust a cybercriminal?
Logic and Semantics Seminar (Computer Laboratory)
Mixing finite and infinite structure
Logic and Semantics Seminar (Computer Laboratory)
Verification for free: using K to build a theorem prover for any language
Logic and Semantics Seminar (Computer Laboratory)
The Expressive Power of CSP Quantifiers
Logic and Semantics Seminar (Computer Laboratory)
Title to be confirmed
Logic and Semantics Seminar (Computer Laboratory)
Algebraic type theory
Logic and Semantics Seminar (Computer Laboratory)
Staged Compilation with Two-Level Type Theory
Computer Laboratory Systems Research Group Seminar
Achieving Consistent Low Latency for Wireless Real-Time Communications with the Shortest Control Loop
Logic and Semantics Seminar (Computer Laboratory)
Decoding Nets: A Formal Take on Address Translation
Computer Laboratory Systems Research Group Seminar
cISP: A Speed-of-Light Internet Service Provider
Computer Laboratory Systems Research Group Seminar
Building trustworthy multi-party systems in the cloud (without handling over the keys to the kingdom)
Computer Laboratory Systems Research Group Seminar
Trustworthy Digital Identity - Systems Architecture
Logic and Semantics Seminar (Computer Laboratory)
Finite-state polynomial computation
Logic and Semantics Seminar (Computer Laboratory)
Symmetries in quantitative semantics
Computer Laboratory Systems Research Group Seminar
Are we stuck with the current Internet Protocol (IP)? (And does it matter if we are?)
Wednesday Seminars - Department of Computer Science and Technology
Computational Inverse Design of Deployable Structures
Wednesday Seminars - Department of Computer Science and Technology
Balanced Allocations: The Power of Choice versus Noise
Logic and Semantics Seminar (Computer Laboratory)
Symmetries in Reversible Programming
Logic and Semantics Seminar (Computer Laboratory)
Title to be confirmed
Computer Laboratory Systems Research Group Seminar
Order! A tale of money, intrigue, and specifications.
Wednesday Seminars - Department of Computer Science and Technology
AI Hardware and Real-World AI
The Wheeler Lectures in Computer Science
CANCELLED: Wheeler Lecture 2022
Computer Laboratory Systems Research Group Seminar
Towards an Internet of Reality
Logic and Semantics Seminar (Computer Laboratory)
Game comonads, FVM theorems, and bilinear maps
Wednesday Seminars - Department of Computer Science and Technology
Safe and accurate satellite navigation with non-Gaussian models
Logic and Semantics Seminar (Computer Laboratory)
The complexity of counting problems
Computer Laboratory Systems Research Group Seminar
Internet Traffic Analysis at Scale
Computer Laboratory Systems Research Group Seminar
AI and Big Data for Social Good: From Covid Infection Study to Drug Repurposing for the Treatment of Alzheimerβs Disease
Logic and Semantics Seminar (Computer Laboratory)
Cyclic Implicit Complexity
Computer Laboratory Systems Research Group Seminar
Towards Digital Sovereignty in the Age of Hyper-giants
Wednesday Seminars - Department of Computer Science and Technology
Graph Neural Networks through the lens of algebraic topology, differential geometry, and PDEs
Logic and Semantics Seminar (Computer Laboratory)
How undecidable are HyperLTL and HyperCTL*?
Computer Laboratory Systems Research Group Seminar
Software as a Network
Wednesday Seminars - Department of Computer Science and Technology
Intelligent Systems of the People, by the People, for the People
Logic and Semantics Seminar (Computer Laboratory)
A categorical view of conditional expectation
Computer Laboratory Systems Research Group Seminar
Turbocharging Serverless Research with vHive
Wednesday Seminars - Department of Computer Science and Technology
AI x Mathematics
Logic and Semantics Seminar (Computer Laboratory)
CANCELLED -- The complexity of counting problems
Computer Laboratory Systems Research Group Seminar
Networked Systems in the Era of Programmable Dataplanes
Logic and Semantics Seminar (Computer Laboratory)
Relational databases versus relational models
Computer Laboratory Systems Research Group Seminar
Perception-Driven Optimization: A New Frontier for Scaling Internet Applications
Logic and Semantics Seminar (Computer Laboratory)
Categorical Foundations of Gradient-Based Learning
Computer Laboratory Systems Research Group Seminar
Health Monitoring with Wireless Sensors and Machine Learning
Wednesday Seminars - Department of Computer Science and Technology
Improving Quality of Experience for Video Users in Cellular Networks
Computer Laboratory Systems Research Group Seminar
Cache Networks with Optimality Guarantees
Wednesday Seminars - Department of Computer Science and Technology
The Quarks of Attention
Logic and Semantics Seminar (Computer Laboratory)
Theorem Provers to Protect Democracy: Formally Verified Vote-Counting-Software
Computer Laboratory Systems Research Group Seminar
Assertions for Distributed Systems
Computer Laboratory Systems Research Group Seminar
Towards Performant Networking from Low-Earth Orbit
Logic and Semantics Seminar (Computer Laboratory)
Comparing general definitions of type theories
Computer Laboratory Systems Research Group Seminar
Making the Most of Massive Clusters
Logic and Semantics Seminar (Computer Laboratory)
A computational method for left adjointness
Computer Laboratory Systems Research Group Seminar
Automerge: A New Foundation for Collaboration Software
Logic and Semantics Seminar (Computer Laboratory)
Towards a geometry for syntax
Computer Laboratory Systems Research Group Seminar
AnyOpt: Predicting and Optimizing IP Anycast Performance
Logic and Semantics Seminar (Computer Laboratory)
Enriched categories for optimal transport
Logic and Semantics Seminar (Computer Laboratory)
A formal context for metric semantics
Computer Laboratory Systems Research Group Seminar
The Demikernel OS Architecture for Kernel-Bypass, Microsecond Systems
Wednesday Seminars - Department of Computer Science and Technology
Self-Organization of Lifelike Behaviors
Logic and Semantics Seminar (Computer Laboratory)
The Semantics of Shared Memory in Intel CPU/FPGA Systems
Computer Laboratory Systems Research Group Seminar
Cloud-native data systems for the post-Moore era
Wednesday Seminars - Department of Computer Science and Technology
Remote sensing and computer vision β just analysis of images from different sensors?
Logic and Semantics Seminar (Computer Laboratory)
CaTT, a type-theory to describe weak omega-categories
Computer Laboratory Systems Research Group Seminar
Programmable data plane
Wednesday Seminars - Department of Computer Science and Technology
CO2 Monitoring in the Department
Logic and Semantics Seminar (Computer Laboratory)
Quantum Software in 2021: Patterns and Problems
Computer Laboratory Systems Research Group Seminar
Why is Zoom so much more popular than standards-based videoconferencing?
Computer Laboratory Systems Research Group Seminar
Edge network opens the door of heterogeneous network federation
Computer Laboratory Systems Research Group Seminar
Revisiting MANETs in 2021
Computer Laboratory Systems Research Group Seminar
Hey, you got your distributed algorithm in my ML!
Computer Laboratory Systems Research Group Seminar
Unsafe at Any Speed? Self-Driving Networks without Self-Crashing Networks
Computer Laboratory Systems Research Group Seminar
Internet Transparency
Wednesday Seminars - Department of Computer Science and Technology
A Retrospective on the 2014 NeurIPS Experiment
Computer Laboratory Systems Research Group Seminar
Leveraging over-provisioned WANs for next-generation services
Wednesday Seminars - Department of Computer Science and Technology
The Statistical Finite Element Method
Computer Laboratory Systems Research Group Seminar
Network Function Virtualization and its Application to Improve the Architecture and Protocols of Future Cellular Networks
Wednesday Seminars - Department of Computer Science and Technology
Morello - Arm's research prototype using Capabilities
Computer Laboratory Systems Research Group Seminar
Mapping Mobile Broadband Access
Wednesday Seminars - Department of Computer Science and Technology
Computation, Composition
Computer Laboratory Systems Research Group Seminar
iBox: Internet in a Box
Computer Laboratory Systems Research Group Seminar
WLANs above 100 GHz: Mobility, Sensing, and Security
The Wheeler Lectures in Computer Science
Wheeler Lecture 2021: Reimagining Robots
Computer Laboratory Systems Research Group Seminar
Teleoperating Mobile Things
Wednesday Seminars - Department of Computer Science and Technology
Programming languages for humans
Computer Laboratory Systems Research Group Seminar
Examining Raft's behaviour during partial network failures
Computer Laboratory Systems Research Group Seminar
Consumer IoT devices: Privacy Implications and Device Identification
Computer Laboratory Systems Research Group Seminar
Understanding the Weaponization of the Web via Data-Driven Analysis
Computer Laboratory Systems Research Group Seminar
Protection, restoration and expansion of the world's woodlands as Nature-based Solutions to the climate and biodiversity crises: how can computer science help?
Computer Laboratory Systems Research Group Seminar
Towards Grey Fault Tolerant Cloud Systems
Logic and Semantics Seminar (Computer Laboratory)
Unfinity Categories
Computer Laboratory Systems Research Group Seminar
Obstacles to Wearable Computing
Computer Laboratory Systems Research Group Seminar
DNA for archival storage
Computer Laboratory Systems Research Group Seminar
Rearchitecting Kubernetes for the Edge
Wednesday Seminars - Department of Computer Science and Technology
Modelling syntactico-semantic composition for natural language understanding and generation
Computer Laboratory Systems Research Group Seminar
Designing Next Generation Network Interface Cards
Wednesday Seminars - Department of Computer Science and Technology
Data driven design for sustainable future cities: incorporating the intangible
Computer Laboratory Systems Research Group Seminar
Programmable, Hardware-Based Routing and Scheduling
Wednesday Seminars - Department of Computer Science and Technology
Theoretical Foundations of Graph Neural Networks
Computer Laboratory Systems Research Group Seminar
Pluginizing Internet Protocols
Wednesday Seminars - Department of Computer Science and Technology
The Compelling World of Augmented Perception - A Perspective on Sensory Wearables
Logic and Semantics Seminar (Computer Laboratory)
Promising ARMv8/RISC-V relaxed memory
Computer Laboratory Systems Research Group Seminar
Practical Edge Computing for Mobile X Reality
Wednesday Seminars - Department of Computer Science and Technology
Reconciling Temporalities in Relating Different Worlds
Computer Laboratory Systems Research Group Seminar
Let It Rain - Interactive Smart Building Data Visualisations for Real-time Sensor Readings
Computer Laboratory Systems Research Group Seminar
Running NFV Service Chains at the True Speed of the Underlying Hardware
Computer Laboratory Systems Research Group Seminar
Load Migration in SDN Controllers
Wednesday Seminars - Department of Computer Science and Technology
Graph Neural Networks for Biomedical Data
β οΈ This seminar is part of the Artificial Intelligence Group Talk series too.
Logic and Semantics Seminar (Computer Laboratory)
Fully Abstract Models of Call-by-Value Languages, Γ la O'Hearn & Riecke
Computer Laboratory Systems Research Group Seminar
On the Art of Wielding a Double-Edged Sword (or, Finessing Modern Networks)
Logic and Semantics Seminar (Computer Laboratory)
LovΓ‘sz' Theorem and Comonads in Finite Model Theory
Computer Laboratory Systems Research Group Seminar
Mir-BFT: Robust Scaling of Classical BFT
Logic and Semantics Seminar (Computer Laboratory)
Free Commutative Monoids in Homotopy Type Theory
Logic and Semantics Seminar (Computer Laboratory)
Symmetric Arithmetic Circuits
Computer Laboratory Systems Research Group Seminar
The Battle for Bandwidth: Fairness and Heterogenous Congestion Control on Today's Internet
Wednesday Seminars - Department of Computer Science and Technology
Haar Graph Pooling
Logic and Semantics Seminar (Computer Laboratory)
Axiomatic Concurrency Semantics for Full-Scale ARMv8-A using Symbolic Execution
Computer Laboratory Systems Research Group Seminar
Enclave-Aware Compartmentalization and Secure Sharing with Sirius
Logic and Semantics Seminar (Computer Laboratory)
Incrementality xor currency for monotone fixed points
Computer Laboratory Systems Research Group Seminar
Twins: White-Glove Approach for BFT Testing
Logic and Semantics Seminar (Computer Laboratory)
Higher Algebra in Computer Science
Computer Laboratory Systems Research Group Seminar
Bias in AI
Computer Laboratory Systems Research Group Seminar
Scaling AI Systems with Optical I/O
Computer Laboratory Systems Research Group Seminar
Smart Cities with Privacy Assurance
Computer Laboratory Systems Research Group Seminar
Sirius: A Flat Datacenter Network with Nanosecond Optical Switching
Computer Laboratory Systems Research Group Seminar
Systematic Rateless Coding for Efficient Data Transport in Data Centres
Computer Laboratory Systems Research Group Seminar
Caching with Delayed Hits
Computer Laboratory Systems Research Group Seminar
Untangling the Web by tracking our trackers
Computer Laboratory Systems Research Group Seminar
Service-Aware Provisioning for Greener & Smarter Cellular Networks
Computer Laboratory Systems Research Group Seminar
Battery-Free, Low-Cost Sensing with RFIDs
Wednesday Seminars - Department of Computer Science and Technology
Addressing Imbalance in Object Detection
Computer Laboratory Systems Research Group Seminar
Building Enzian: a research computer
Computer Laboratory Systems Research Group Seminar
Latency-driven Performance in Data Centres
Computer Laboratory Systems Research Group Seminar
All for One and One for All: Decoupling IP in the Connection from the Endhost Communication.
Computer Laboratory Systems Research Group Seminar
Spatio-Temporal Data Collection and Analysis for Developing Transport related Services
The Wheeler Lectures in Computer Science
Wheeler Lecture 2020: The Future of Microprocessors
Computer Laboratory Systems Research Group Seminar
HovercRaft: Achieving Scalability and Fault-tolerance for microsecond-scale Datacenter Services
Computer Laboratory Systems Research Group Seminar
End-to-End Congestion Control via Endpoint-Centric, Wireless Physical-Layer Capacity Measurements
Computer Laboratory Systems Research Group Seminar
Title to be confirmed
Computer Laboratory Systems Research Group Seminar
Systematic Rateless Coding for Efficient Data Transport in Data Centres
Logic and Semantics Seminar (Computer Laboratory)
A Syntactic View of Computational Adequacy
Logic and Semantics Seminar (Computer Laboratory)
Tests and Proofs in Isabelle
Computer Laboratory Systems Research Group Seminar
Owl: OCaml Scientific and Engineering Computing
Logic and Semantics Seminar (Computer Laboratory)
Aspects of my formal development work
Logic and Semantics Seminar (Computer Laboratory)
Automating proof by induction in Isabelle/HOL using domain-specific languages
Logic and Semantics Seminar (Computer Laboratory)
Formal Foundations for Provably Safe Web Components
Logic and Semantics Seminar (Computer Laboratory)
A duality theoretic view on limits of finite structures
Logic and Semantics Seminar (Computer Laboratory)
Cerberus C semantics & pointer provenance
Computer Laboratory Systems Research Group Seminar
Trip Report - CCC
Logic and Semantics Seminar (Computer Laboratory)
Computation via Substructures
Logic and Semantics Seminar (Computer Laboratory)
A Profunctorial Finiteness Semantics
Wednesday Seminars - Department of Computer Science and Technology
Soft Aerial Robotics for Digital Infrastructure Systems
Computer Laboratory Systems Research Group Seminar
Securing IoT with Azure Sphere
Wednesday Seminars - Department of Computer Science and Technology
Climate, Carbon, and Computer Science
Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series
The SPHERE project
Wednesday Seminars - Department of Computer Science and Technology
Machine Learning at the Extreme Edge - an Open Platform Approach
Computer Laboratory Systems Research Group Seminar
Controlling time in networking: from delay-tolerant networking to low-latency networking
Computer Laboratory Systems Research Group Seminar
Information Exposure From Consumer IoT Devices: A Multidimensional Network-Informed Approach
Wednesday Seminars - Department of Computer Science and Technology
Digital Modeling of Reality with Machine Learning
Computer Laboratory Systems Research Group Seminar
Self-Programming Networks: Applications to Financial Trading Systems
Computer Laboratory Systems Research Group Seminar
XOX Fabric: A hybrid approach to blockchain transaction execution
Computer Laboratory Systems Research Group Seminar
Dynamic Compilation and Optimization of Software Network Functions
Logic and Semantics Seminar (Computer Laboratory)
Quantum things 3 - Resources and Co-resources
Computer Laboratory Systems Research Group Seminar
FastFabric: Scaling Hyperledger Fabric to 20,000 Transactions per Second
Logic and Semantics Seminar (Computer Laboratory)
Modular Relaxed Dependencies in Weak Memory Concurrency
Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series
Earphones: The Next Significant Platform after Smartphones
Logic and Semantics Seminar (Computer Laboratory)
Quantum Things 2 - The quantum monad on relational structures
Computer Laboratory Systems Research Group Seminar
Network Hygiene, Incentives, and Regulation: Deployment of Source Address Validation in the Internet
Logic and Semantics Seminar (Computer Laboratory)
Quantum Things 1 - Monads, comonads, and resource-limited computation
Wednesday Seminars - Department of Computer Science and Technology
The Digital Architecture of Future Cities
Computer Laboratory Computer Architecture Group Meeting
Fast and Efficient Deployment of Security Defenses via Microcode Customization
β οΈ Note unusual time and location
Logic and Semantics Seminar (Computer Laboratory)
Haskelly things
Computer Laboratory Systems Research Group Seminar
Do switches dream of machine learning?
Wednesday Seminars - Department of Computer Science and Technology
Deep learning on graphs and manifolds: going beyond Euclidean data
Wednesday Seminars - Department of Computer Science and Technology
StructureNet: Hierarchical Graph Networks for 3D Shape Generation
Computer Laboratory Systems Research Group Seminar
Asynchrony, Ordering, and Protocols
Computer Laboratory Computer Architecture Group Meeting
The new clang constant interpreter
Logic and Semantics Seminar (Computer Laboratory)
The way of the empty proof
Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series
Agricultural Robotics
Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series
Amulet and Auracle: Wearable Platforms for mHealth Research
Computer Laboratory Systems Research Group Seminar
How to Partition Resources and Eliminate (Most) OS Abstractions for Fast I/O
Computer Laboratory Systems Research Group Seminar
Context-Based Zero-Interaction Authentication
Logic and Semantics Seminar (Computer Laboratory)
Local reasoning for robust observational equivalence
Computer Laboratory Systems Research Group Seminar
Clustering insomnia pattern and learning sleep quality from daily logs
Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series
Context and Behaviour Modelling of User and Urban Activities
Computer Laboratory Systems Research Group Seminar
The new USB4 standard
Logic and Semantics Seminar (Computer Laboratory)
Verification of Cyber-Physical Systems: Temporal Properties and Airplane Collision Avoidance
Wednesday Seminars - Department of Computer Science and Technology
Security and Privacy in a World of Safety: Analysing Avionic Data Links and NextGen ATC Networks
Computer Laboratory Systems Research Group Seminar
Test Automation and Debug hardware for Chromebooks
Wednesday Seminars - Department of Computer Science and Technology
The Principle of Least Cognitive Action
Logic and Semantics Seminar (Computer Laboratory)
Retrofitting Purity with Comonads and Capabilities
Computer Laboratory Systems Research Group Seminar
Local-first software: Returning data ownership to users
The Wheeler Lectures in Computer Science
Combining Formal Methods and Machine Learning
Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series
The Smart Hospital Living Lab
Computer Laboratory Systems Research Group Seminar
Crostini - Architecture for running Linux VMs seamlessly and securely on Chrome OS
Logic and Semantics Seminar (Computer Laboratory)
Hardness magnification near state-of-the-art lower bounds
Logic and Semantics Seminar (Computer Laboratory)
An Overview of the Flix Programming Language
Wednesday Seminars - Department of Computer Science and Technology
How to design a programming language
Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series
A Decade of Ubiquitous Computing Research in Mental Health
Wednesday Seminars - Department of Computer Science and Technology
Hand Tracking on HoloLens 2
Logic and Semantics Seminar (Computer Laboratory)
Resource-oriented programming with graded modal types
Logic and Semantics Seminar (Computer Laboratory)
Uncertainty is hope: towards a unified foundation of gradual typing
Logic and Semantics Seminar (Computer Laboratory)
Push versus Pull-Based Loop Fusion in Query Engines
Computer Laboratory Systems Research Group Seminar
IPv6 over LPWAN: when 6LoWPAN is too heavy for (long range) IoT links!
Logic and Semantics Seminar (Computer Laboratory)
Stacked Borrows: An Aliasing Model for Rust
Computer Laboratory Systems Research Group Seminar
The Case For In-Network Computing On Demand
Logic and Semantics Seminar (Computer Laboratory)
Excel Formulae: a PL perspective
Computer Laboratory Systems Research Group Seminar
Network Science and Telecommunications
Wednesday Seminars - Department of Computer Science and Technology
Representation Learning on Graphs
Computer Laboratory Systems Research Group Seminar
Debugging and Repairing P4 Programs
Logic and Semantics Seminar (Computer Laboratory)
Linear Capabilities: an overview
Logic and Semantics Seminar (Computer Laboratory)
Linear capabilities for fully abstract compilation of separation-logic-verified code
Logic and Semantics Seminar (Computer Laboratory)
StkTokens: Enforcing Well-Bracketed Control Flow and Stack Encapsulation Using Linear Capabilities
Computer Laboratory Systems Research Group Seminar
LinuxKit: new ways of using Linux
Computer Laboratory Systems Research Group Seminar
A Framework for Data Collection and Management for IoT
Wednesday Seminars - Department of Computer Science and Technology
DevOps and Cloud Native development in the University of Cambridge
Logic and Semantics Seminar (Computer Laboratory)
A domain theory for statistical probabilistic programming
Computer Laboratory Systems Research Group Seminar
Computational Behavior Analysis through Wearables and Machine Learning -- Pushing the Boundaries towards usable Digital Health.
Wednesday Seminars - Department of Computer Science and Technology
Verified Probabilistic Reachability in Parametric Hybrid Systems: Theory and Tool Implementation
Computer Laboratory Systems Research Group Seminar
Open Source Quantum Computing
Wednesday Seminars - Department of Computer Science and Technology
Make Switches Simple Again!
Computer Laboratory Systems Research Group Seminar
Performance Contracts for Software Network Functions
Computer Laboratory Systems Research Group Seminar
Accountable Systems and Google Maps
Wednesday Seminars - Department of Computer Science and Technology
Perpetual Computing: Technologies for Banishing Batteries
Computer Laboratory Systems Research Group Seminar
Replace your exploit-ridden firmware with a Linux Kernel
Wednesday Seminars - Department of Computer Science and Technology
The Magic of Machine Learning and Classifier ensembles
Computer Laboratory Systems Research Group Seminar
From Unikernels to Nabla Containers
Wednesday Seminars - Department of Computer Science and Technology
Imitation learning for structured prediction
Computer Laboratory Systems Research Group Seminar
Dr Spin, or the Tao of Threes
Computer Laboratory Systems Research Group Seminar
The nitty gritty of doing a PhD
Logic and Semantics Seminar (Computer Laboratory)
Project Everest: towards a verified TLS ecosystem
Computer Laboratory Systems Research Group Seminar
Cross-modality Inference in Ubiquitous Human Identification
Wednesday Seminars - Department of Computer Science and Technology
From molecules to recurrent visual hallucinations: multimodal imaging and computational modelling of Dementia with Lewy bodies
Logic and Semantics Seminar (Computer Laboratory)
Verifying Concurrent Search Structure Templates
Computer Laboratory Systems Research Group Seminar
Chromebooks, USB-C and Google PI/SI Research
Wednesday Seminars - Department of Computer Science and Technology
Computational Imaging for Realistic Appearance Modelling
Logic and Semantics Seminar (Computer Laboratory)
PP is not a monad
Logic and Semantics Seminar (Computer Laboratory)
Lower bound for arithmetic circuits via Hankel matrix
Wednesday Seminars - Department of Computer Science and Technology
Failing with Style: Why and How we Should Encourage Humans to Fail with Highly Capable Systems
Computer Laboratory Systems Research Group Seminar
The Elusive Internet Flatening: 10 Years of IXP Growth
Wednesday Seminars - Department of Computer Science and Technology
Scalable Intelligent Systems by 2025
Wednesday Seminars - Department of Computer Science and Technology
Stylus input and the benefits of a standard
Computer Laboratory Systems Research Group Seminar
Privacy Trading in the Apps and IoT Age: Markets and Computation
Wednesday Seminars - Department of Computer Science and Technology
A journey into interdisciplinary research
Computer Laboratory Systems Research Group Seminar
Using large-scale simulation for the national assessment of Fibre-To-The-Premises and 5G deployment
Wednesday Seminars - Department of Computer Science and Technology
Machine learning for medicine: Predicting, pre-empting and treating disease
Logic and Semantics Seminar (Computer Laboratory)
Quasi-polynomial solutions for parity games and other problems
Logic and Semantics Seminar (Computer Laboratory)
Beyond Polarity: Towards A Multi-Discipline Intermediate Language with Sharing
Computer Laboratory Systems Research Group Seminar
Understanding PCIe performance for end host networking
Computer Laboratory Systems Research Group Seminar
FEC killed the cut-through switch
Logic and Semantics Seminar (Computer Laboratory)
Graphical Conjunctive Queries
Logic and Semantics Seminar (Computer Laboratory)
Automated Full-Stack Memory Model Verification with the Check suite
Computer Laboratory Systems Research Group Seminar
Enabling the Internet of Things - IoT Penetrate the Base of Pyramid in Sub-Saharan Africa
Computer Laboratory Systems Research Group Seminar
New projects in human-data interaction
Computer Laboratory Systems Research Group Seminar
Building modern dataflow systems
Logic and Semantics Seminar (Computer Laboratory)
Polynomial models of type theory
Logic and Semantics Seminar (Computer Laboratory)
Types and Safety of Lock-free Data Structures
Computer Laboratory Systems Research Group Seminar
Hardware-conscious data processing systems
β οΈ This talk has been cancelled and will be rescheduled.
Computer Laboratory Computer Architecture Group Meeting
Making Python Fast: Using Hardware-Software Co-design to Address Inefficiencies in Dynamic Language Runtimes
β οΈ Note unusual time and venue
Logic and Semantics Seminar (Computer Laboratory)
The direct approach to evaluation order
Logic and Semantics Seminar (Computer Laboratory)
Compositional Compiler Verification for a Multi-Language World
Logic and Semantics Seminar (Computer Laboratory)
From global to local state in game semantics via the sequoid
Computer Laboratory Systems Research Group Seminar
Edge Computing through Distributed Trust and Programmable Privacy
The Wheeler Lectures in Computer Science
The Wheeler Lecture In Computer Science: Language, Learning, and Creativity
Logic and Semantics Seminar (Computer Laboratory)
Quantitative equational reasoning
Wednesday Seminars - Department of Computer Science and Technology
Rule Control Of Teleo-Reactive, Multi-Tasking, Communicating Robotic Agents
Logic and Semantics Seminar (Computer Laboratory)
Scheduling Tasks for Reconfigurable Architecture
Computer Laboratory Systems Research Group Seminar
Research Challenges and Solutions for IOT/CPS
Wednesday Seminars - Department of Computer Science and Technology
A New Era of Open-Source System-on-Chip Design
Wednesday Seminars - Department of Computer Science and Technology
Latent Variable Model, Matrix Estimation and Collaborative Filtering
Logic and Semantics Seminar (Computer Laboratory)
Lecture 3: Logic for Program Development, Verification and Implementation.
Computer Laboratory Systems Research Group Seminar
Quantifying Privacy Loss of Human Mobility Graph Topology
Wednesday Seminars - Department of Computer Science and Technology
No Seminar Today
Logic and Semantics Seminar (Computer Laboratory)
One Hierarchy Spawns Another: Graph Deconstructions and the Complexity Classification of Conjunctive Queries
Computer Laboratory Computer Architecture Group Meeting
Green Cache
Computer Laboratory Computer Architecture Group Meeting
Directed Speculation in Multi-core Memory Systems to Improve Performance and Efficiency
Computer Laboratory Computer Architecture Group Meeting
Intra-Core Loop-Task Accelerators for Task-Based Parallel Programs
β οΈ Note unusual time
Computer Laboratory Systems Research Group Seminar
Customising the system stack for data processing on modern hardware
Wednesday Seminars - Department of Computer Science and Technology
Embedding Musical Codes into an Interactive Piano Composition
β οΈ Sadly, today's seminar shall not take place owing to strike action.
Logic and Semantics Seminar (Computer Laboratory)
Left Exact Modalities in Type Theory
Computer Laboratory Systems Research Group Seminar
My VM is Lighter (and Safer) than your Container
Wednesday Seminars - Department of Computer Science and Technology
Part Ib Group Project Presentations
Computer Laboratory Programming Research Group Seminar
Executing C, C++ and Fortran Efficiently on the Java Virtual Machine via LLVM IR
β οΈ PLEASE NOTE the unusual room and time. External attendees, please ask at reception or call 63780 to be let in
Wednesday Seminars - Department of Computer Science and Technology
The Exposome in Epidemiological Practice
β οΈ Sadly today's seminar shall not take place owing to snowy travel conditions.
Logic and Semantics Seminar (Computer Laboratory)
Modular Algorithm Analysis
Computer Laboratory Systems Research Group Seminar
Highly Energy Efficient Key-value Store for In-network Computing
Wednesday Seminars - Department of Computer Science and Technology
Exploring the mechanisms of haematopoietic lineage progression at the single-cell level
Logic and Semantics Seminar (Computer Laboratory)
Lightweight verification of separate compilation
Computer Laboratory Systems Research Group Seminar
Energy landscape of multivariate time series data
β οΈ starting time at 15:00! sorry for the confusion!
Wednesday Seminars - Department of Computer Science and Technology
Kiwi Scientific Acceleration on FPGA
Logic and Semantics Seminar (Computer Laboratory)
Lecture 2: Algebraic Theory of Program Transformation
Wednesday Seminars - Department of Computer Science and Technology
Private Statistics and Their Applications to Distributed Learning: Tools and Challenges
Wednesday Seminars - Department of Computer Science and Technology
Amazon Alexa
Logic and Semantics Seminar (Computer Laboratory)
Atomicity Abstractions in Relaxed Memory Architectures
Computer Laboratory Systems Research Group Seminar
Analysis of Spatio-temporal Representations for Robust Footstep Recognition with Deep Residual Neural Networks
Computer Laboratory Programming Research Group Seminar
Energy Efficient Compilation of Irregular Task-Parallel Loops
Wednesday Seminars - Department of Computer Science and Technology
THEMIS: Fairness in Federated Stream Processing under Overload
Logic and Semantics Seminar (Computer Laboratory)
Logic Programming, Semantics, and a Bit of Cleverness
Logic and Semantics Seminar (Computer Laboratory)
A Geometric Theory of Program Testing.
Logic and Semantics Seminar (Computer Laboratory)
The Linux Kernel Concurrency Model
Logic and Semantics Seminar (Computer Laboratory)
Effective Stateless Model Checking for C/C++ Concurrency
Logic and Semantics Seminar (Computer Laboratory)
On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control
Wednesday Seminars - Department of Computer Science and Technology
Hands-on Generative Programming: Write an Interpreter, Build a Compiler.
Computer Laboratory Systems Research Group Seminar
Geolocated Datasets for Urban Science
Wednesday Seminars - Department of Computer Science and Technology
Using Modern C++ - stepping up to C++14/17
Computer Laboratory Systems Research Group Seminar
Play it on the Edge - the Fun, the Risks, and the Lessons
Wednesday Seminars - Department of Computer Science and Technology
When Robots Hit the Road: New Challenges in Multi-Vehicle Coordination and Control
Logic and Semantics Seminar (Computer Laboratory)
Reasoning beyond data-race freedom
Logic and Semantics Seminar (Computer Laboratory)
Designing Verifiable Cache Coherence Protocols
Computer Laboratory Systems Research Group Seminar
Does your smartwatch miss a (heart) beat? - Investigation of wearables for affective research
Wednesday Seminars - Department of Computer Science and Technology
Open source β 19th C. capitalism re-invented ?
Computer Laboratory Systems Research Group Seminar
When Streaming and Active Queue Management Collides: Experiments with Chunklets
Computer Laboratory Systems Research Group Seminar
Correctness of Speculative Optimizations with Dynamic Deoptimization
Wednesday Seminars - Department of Computer Science and Technology
Programming Computers Without Processors
Computer Laboratory Systems Research Group Seminar
Data Plane programmability: the next step in Software Defined NetworkingData Plane programmability: the next step in Software Defined Networking
Wednesday Seminars - Department of Computer Science and Technology
What if Computers Understood Physics?
Computer Laboratory Systems Research Group Seminar
Secure Multi-Party Linear Regression on High-Dimensional Data
Wednesday Seminars - Department of Computer Science and Technology
(No Seminar Today)
Wednesday Seminars - Department of Computer Science and Technology
Wireless community mesh networks: fresh connectivity for 7 billion people
Computer Laboratory Systems Research Group Seminar
The Rise of Augmented Intelligence in Edge Networks
Logic and Semantics Seminar (Computer Laboratory)
Lightweight verification of separate compilation
β οΈ NB: rescheduled from 2017/09/22
Computer Laboratory Systems Research Group Seminar
DataFlow SuperComputing for BigData
Logic and Semantics Seminar (Computer Laboratory)
Event Correlation with Algebraic Effects
Computer Laboratory Systems Research Group Seminar
Enzian: A Research Computer for Rack-Scale and Datacenter Computing
Computer Laboratory Systems Research Group Seminar
GAON: General-purpose Application Offload to Near-Network Processors
Logic and Semantics Seminar (Computer Laboratory)
A promising semantics for relaxed-memory concurrency
Computer Laboratory Systems Research Group Seminar
What is the Difference between Emulation and Virtualization?
Computer Laboratory Systems Research Group Seminar
PTPmesh: Data Center Network Latency Measurements Using PTP
Computer Laboratory Systems Research Group Seminar
Bringing the Web up to Speed with WebAssembly
Computer Laboratory Systems Research Group Seminar
Understanding Urban Events with CrowdSourced Data
Computer Laboratory Systems Research Group Seminar
Disk|Crypt|Net: rethinking the stack for high-performance video streaming
Computer Laboratory Computer Architecture Group Meeting
Redundancy in Deep Neural Networks and Its Impacts to Hardware Accelerator Design
Logic and Semantics Seminar (Computer Laboratory)
Semantics of Full Ground References
Computer Laboratory Systems Research Group Seminar
A deep dive into Multicore OCaml garbage collector
Computer Laboratory Systems Research Group Seminar
Classification of Twitter Accounts into Automated Agents and Human Users
Computer Laboratory Systems Research Group Seminar
Emu: Rapid Prototyping of Networking Services
Computer Laboratory Systems Research Group Seminar
Model based system configuration and tasteful hardware
Computer Laboratory Systems Research Group Seminar
Picosecond scale measurement for nanosecond scale networks
Computer Laboratory Systems Research Group Seminar
Seeing is Believing: A state-based formalization of database isolation
Logic and Semantics Seminar (Computer Laboratory)
Applications of Finite Model Theory in Graph Isomorphism Testing and Propositional Proof Complexity
rdm34's list
The Biomaker Challenge: an introduction
Logic and Semantics Seminar (Computer Laboratory)
Interleaved scope for games and automata
Logic and Semantics Seminar (Computer Laboratory)
Syntax and Handlers for Operations with Scopes
Logic and Semantics Seminar (Computer Laboratory)
Disjoint Semirings for Fractional Permissions
β οΈ **NOTE NON-STANDARD DAY AND ROOM BOOKING**
Wednesday Seminars - Department of Computer Science and Technology
Reigniting Innovation in the Hardware Industry
Logic and Semantics Seminar (Computer Laboratory)
Concurrent Kleene Algebras and Pomset Languages
Wednesday Seminars - Department of Computer Science and Technology
Can we make people value IT security?
β οΈ Wheeler Lecture β Please register for this session on separate web page.
Logic and Semantics Seminar (Computer Laboratory)
What does the Future of Programming Look Like?
Wednesday Seminars - Department of Computer Science and Technology
Ubiquitous Sensing with Light
Logic and Semantics Seminar (Computer Laboratory)
Higher Categorical Structures, Type-Theoretically
Wednesday Seminars - Department of Computer Science and Technology
Pervasive Sensing for Lifestyle Monitoring and Urban Applications
Computer Laboratory Computer Architecture Group Meeting
Energy-Quality Scalable Adaptive VLSI Circuits and Systems β The Way towards the Next 10X Energy Reduction
β οΈ Note unusual time
Computer Laboratory Computer Architecture Group Meeting
Processors for the Data Center and Cloud of the Future
Computer Laboratory Systems Research Group Seminar
Routing the Future: Bootstrapping Internet Innovation
Wednesday Seminars - Department of Computer Science and Technology
Morphologically Computing Soft Robots toward Self-Organizing Machines
Computer Laboratory Systems Research Group Seminar
Open Source Network Tester on NetFPGA-SUME Platform
Computer Laboratory Systems Research Group Seminar
P4-NetFPGA
Logic and Semantics Seminar (Computer Laboratory)
Monads and Lenses
Computer Laboratory Systems Research Group Seminar
200 ppi and other annoying things about displays
Computer Laboratory Systems Research Group Seminar
Pandia: comprehensive contention-sensitive thread placement
Logic and Semantics Seminar (Computer Laboratory)
Diagrammatic Operational Semantics for Digital Circuits
Computer Laboratory Systems Research Group Seminar
Where Has My Time Gone?
Wednesday Seminars - Department of Computer Science and Technology
Are Sensor Networks a first step towards the Diamond Age?
Computer Laboratory Systems Research Group Seminar
A Study of Bluetooth Low Energy Performance for Human Proximity Detection in the Workplace
Computer Laboratory Systems Research Group Seminar
Mobile Sensing at the Service of Mental Well-being: a Large-Scale Longitudinal Study
Wednesday Seminars - Department of Computer Science and Technology
Part Ib Computer Science Group Project Presentations
Logic and Semantics Seminar (Computer Laboratory)
Verified Characteristic Formulae for CakeML
Computer Laboratory Systems Research Group Seminar
Towards a Stateful Forwarding Abstraction for Software and Hardware Network Functions
Wednesday Seminars - Department of Computer Science and Technology
AI Meets Cancer
Wednesday Seminars - Department of Computer Science and Technology
CHERI - Architectural support for software memory protection and compartmentalisation
Logic and Semantics Seminar (Computer Laboratory)
A monad for full ground reference cells
Computer Laboratory Systems Research Group Seminar
A Digital Architecture for Future Cities
Wednesday Seminars - Department of Computer Science and Technology
Challenges in Human-Robot Interaction
Computer Laboratory Systems Research Group Seminar
Groove Radio: A Bayesian Hierarchical Model for Personalized Playlist Generation
Computer Laboratory Systems Research Group Seminar
Lasp: Dataflow programming for large-scale distributed applications
Wednesday Seminars - Department of Computer Science and Technology
Data Science for the World of Moving Things
Computer Laboratory Systems Research Group Seminar
Internet measurements in Africa
Computer Laboratory Systems Research Group Seminar
Internet Monitoring at Scale
Wednesday Seminars - Department of Computer Science and Technology
GLOBULAR: A PROOF ASSISTANT FOR DIAGRAMMATIC SCIENCE
Computer Laboratory Digital Technology Group (DTG) Meetings
The Next-Generation Vector Architecture for HPC
Logic and Semantics Seminar (Computer Laboratory)
Genus, Numerics and Architectural Level Optimisation
β οΈ Joint Logic and Semantics and Computer Architecture Seminar
Computer Laboratory Systems Research Group Seminar
Towards an SDN-enabled Federated Internet
Wednesday Seminars - Department of Computer Science and Technology
Sequencing DNA Using Biological Nanopores
Logic and Semantics Seminar (Computer Laboratory)
One-Dimensional Higher Inductive Types
Computer Laboratory Systems Research Group Seminar
High-level development and debugging of FPGA-based network programs
Logic and Semantics Seminar (Computer Laboratory)
Polymorphism, subtyping and type inference in MLsub
Computer Laboratory Systems Research Group Seminar
ClassBench-ng: Recasting ClassBench After a Decade of Network Evolution
Logic and Semantics Seminar (Computer Laboratory)
A categorical perspective on type refinement systems
Computer Laboratory Systems Research Group Seminar
The Lift Project: Performance Portable GPU Code generation via Rewrite Rules
Logic and Semantics Seminar (Computer Laboratory)
Cantor meets Scott: Domain-Theoretic Foundations for Probabilistic Network Programming
Wednesday Seminars - Department of Computer Science and Technology
Architectural Impacts of the Silicon Performance Wall
Computer Laboratory Computer Architecture Group Meeting
The Future of Computer Architecture
Computer Laboratory Computer Architecture Group Meeting
FPGA Implementations of High-bandwidth and Low-Latency Machine Learning based on Online Kernel Methods
Wednesday Seminars - Department of Computer Science and Technology
Making Reactive Programs Function
β οΈ Note: Venue is LT2 (not LT1).
Computer Laboratory Programming Research Group Seminar
Automatic Identification and Parallelisation of General Reduction Operations
Logic and Semantics Seminar (Computer Laboratory)
A compositional account of Herbrand's theorem via concurrent games
β οΈ NOTE NON-STANDARD ROOM BOOKING
Wednesday Seminars - Department of Computer Science and Technology
PYNQ - Enabling Software Engineers to Program Heterogeneous, Reconfigurable SoCs
Logic and Semantics Seminar (Computer Laboratory)
Fencing off Go: Liveness and Safety for Channel-based Programming
Computer Laboratory Systems Research Group Seminar
Flexible Paxos: Reaching agreement without majorities
Wednesday Seminars - Department of Computer Science and Technology
Web search in an AI world: small, cute, distributed.
Computer Laboratory Systems Research Group Seminar
Tendermint: Byzantine Fault Tolerance in the age of Blockchains
Computer Laboratory Systems Research Group Seminar
Open Connect Everywhere: A Glimpse at the Internet Ecosystem through the Lens of the Netflix CDN
Wednesday Seminars - Department of Computer Science and Technology
Graduate Studies Open Day
β οΈ This is not a regular seminar. Please see separate programme.
Wednesday Seminars - Department of Computer Science and Technology
End-to-end encryption: Behind the scenes
Logic and Semantics Seminar (Computer Laboratory)
Context Equivalences and Metrics in Probabilistic Lambda-Calculi
Wednesday Seminars - Department of Computer Science and Technology
From Idea to Startup
Computer Laboratory Systems Research Group Seminar
Unik: A platform for automating unikernel compilation and deployment
Logic and Semantics Seminar (Computer Laboratory)
An Algebraic Combinatorial Approach to the Abstract Syntax of Opetopic Structures
Computer Laboratory Systems Research Group Seminar
Firmament: fast, centralized cluster scheduling at scale
Wednesday Seminars - Department of Computer Science and Technology
Rethinking Auto-Parallelisation
β οΈ Please note: All seminars in this series now start at 16:15
Logic and Semantics Seminar (Computer Laboratory)
On Proofs of Equality as Paths
Computer Laboratory Systems Research Group Seminar
A Changing Landscape: Securing The Internet of Things (IoT)
Computer Laboratory Systems Research Group Seminar
I(FIB)F: Iterated Bloom Filters for Routing in Named Data Networks
Computer Laboratory Systems Research Group Seminar
A system of cooperative security for the Internet and 5G
Computer Laboratory Systems Research Group Seminar
LEO: Scheduling Sensor Inference Algorithms across Heterogeneous Mobile Processors and Network Resources
Computer Laboratory Systems Research Group Seminar
Leveraging RDMA to Build a Real-Time Cloud for the Internet of Things
Logic and Semantics Seminar (Computer Laboratory)
Analysing Goedelβs T by means of ordinal assignment and collapsing
β οΈ NOTE NON-STANDARD ROOM BOOKING
Computer Laboratory Programming Research Group Seminar
Title to be confirmedFlow- and Context-Sensitive Points-to Analysis using Generalized Points-to Graphs
Logic and Semantics Seminar (Computer Laboratory)
Making Reactive Programs Function
Computer Laboratory Systems Research Group Seminar
Would you use 20V 2.25A or 15V 3A to charge your Chromebook and once charged how would you run Android Apps?
Logic and Semantics Seminar (Computer Laboratory)
A new verified compiler backend for CakeML
β οΈ **NOTE NON-STANDARD DATE, TIME, AND ROOM**
Computer Laboratory Systems Research Group Seminar
FlashBlade: Hardware and Software Co-design
Computer Laboratory Computer Architecture Group Meeting
Design for Security Test against Fault Injection Attack, and Fast Test with Compressive Sensing
β οΈ Note unusual time and venue. Talk follows 14:00 to 14:45 talk.
Computer Laboratory Computer Architecture Group Meeting
Barrier-Aware Warp Scheduling for Throughput Processors
β οΈ Note unusual time
Logic and Semantics Seminar (Computer Laboratory)
Classical Linear Logic considered as a programming language
Computer Laboratory Systems Research Group Seminar
Towards synchronized (and programmable) datacenters
Wednesday Seminars - Department of Computer Science and Technology
From EDA to NDA: Treating Networks like Hardware Circuits
β οΈ (Out-of-term, one-off extra seminar.)
Computer Laboratory Systems Research Group Seminar
Unikernels and Beyond: the future of application containers in the cloud
Logic and Semantics Seminar (Computer Laboratory)
A Verified CompCert Front-End for a Memory Model supporting Pointer Arithmetic and Uninitialised Data
Computer Laboratory Systems Research Group Seminar
A Fast and Practical Software Packet Scheduling Architecture
Logic and Semantics Seminar (Computer Laboratory)
Practical Statically-checked Deterministic Parallelism
Computer Laboratory Systems Research Group Seminar
Managing Privacy Trade-Offs in the Internet
Computer Laboratory Computer Architecture Group Meeting
OpenPiton
Logic and Semantics Seminar (Computer Laboratory)
Automatically comparing memory consistency models
Logic and Semantics Seminar (Computer Laboratory)
Programming and Proving with Concurrent Resources
Computer Laboratory Systems Research Group Seminar
Ios: Why work when you can delegate?
Logic and Semantics Seminar (Computer Laboratory)
Optimising star-convex functions
Logic and Semantics Seminar (Computer Laboratory)
Automated Reasoning and AI for Large Formal Mathematics
The Wheeler Lectures in Computer Science
A History of Virtualisation in Operating Systems.
β οΈ [14:30 Minute madness; 16:00 Main lecture; 17:00 Drinks reception.]
Logic and Semantics Seminar (Computer Laboratory)
Certified automated theorem proving for types
Computer Laboratory Programming Research Group Seminar
Program Verification Using Cyclic Proof
Wednesday Seminars - Department of Computer Science and Technology
What does the operating system ever do for me? - Systems Challenges in Graph Analytics
Wednesday Seminars - Department of Computer Science and Technology
No Littering!
β οΈ Please note: Unusual day of week and time.
Logic and Semantics Seminar (Computer Laboratory)
The C standard formalized in Coq, what's next?
Wednesday Seminars - Department of Computer Science and Technology
Imaginary Engines: Lovelace, Babbage and the Analytical Engine.
Computer Laboratory Programming Research Group Seminar
Gotta Go Fast: Futhark - A Data-Parallel Purely Functional Language and its Optimising GPGPU Compiler
β οΈ Note unusual day and time
Logic and Semantics Seminar (Computer Laboratory)
A rational reconstruction of homogeneous meta-programming
Rainbow Group Seminars
A Live, Multiple-Representation Probabilistic Programming Environment for Novices
Wednesday Seminars - Department of Computer Science and Technology
Android: Mobile, Wearable and IoT devices - Designing Global, Scalable Systems
β οΈ Note revised date.
Logic and Semantics Seminar (Computer Laboratory)
Giry and the Machine
Computer Laboratory Programming Research Group Seminar
Dependent types, linear types and operating systems
Wednesday Seminars - Department of Computer Science and Technology
From Human Affect and Personality to Social Robots: Affective and Social Signal Processing
Technical Talks - Department of Computer Science and Technology
Bitcoin β Design Demystified
Logic and Semantics Seminar (Computer Laboratory)
Logical dependence via functional dependence
Computer Laboratory Systems Research Group Seminar
Optimal-Performance Next-Generation (Datacenter) Networks
Logic and Semantics Seminar (Computer Laboratory)
Generating Gradual Typing Systems with the Gradualizer
Computer Laboratory Systems Research Group Seminar
A Decade of IoT Standard Communication Protocols
Computer Laboratory Systems Research Group Seminar
On PCIe Performance
Computer Laboratory Programming Research Group Seminar
Meeting on Testing and Verification for Computational Science
Logic and Semantics Seminar (Computer Laboratory)
Comprehensive Parametric Polymorphism
Computer Laboratory Systems Research Group Seminar
Measuring Urban Social Diversity Using Interconnected Geo-Social Networks
Wednesday Seminars - Department of Computer Science and Technology
Freedom to Innovate: Addressing Student Legal Risks at MIT and Queen Mary's Entrepreneurship and Cyberlaw Clinics
Computer Laboratory Systems Research Group Seminar
Do Not Believe Everything You Read in the Papers
Logic and Semantics Seminar (Computer Laboratory)
THIS TALK HAS BEEN CANCELLED/POSTPONED
β οΈ THIS TALK HAS BEEN CANCELLED/POSTPONED
Wednesday Seminars - Department of Computer Science and Technology
CST Part Ib, Group Project Presentations
Logic and Semantics Seminar (Computer Laboratory)
A call-by-value realizability model for PML
β οΈ NOTE UNUSUAL VENUE
Computer Laboratory Systems Research Group Seminar
Is every java program a unikernel? An introduction to IncludeOS' design and foundations
Wednesday Seminars - Department of Computer Science and Technology
Data Science at The Guardian
β οΈ There is no 2:00pm Seminar this week, but the 3:00pm NLIP talk is a recommended alternative.
Logic and Semantics Seminar (Computer Laboratory)
Excuse My Extrusion
Computer Laboratory Systems Research Group Seminar
Exploring the Web Frontier
Wednesday Seminars - Department of Computer Science and Technology
Communication with Artificial Intelligences
Computer Laboratory Programming Research Group Seminar
Biggest Challenges for Kotlin: Interoperability and Tooling
Logic and Semantics Seminar (Computer Laboratory)
Identity types in Algebraic Model Structures
β οΈ NOTE UNUSUAL VENUE This is the second seminar this week.
Computer Laboratory Systems Research Group Seminar
OS Design for Modern Hardware
Wednesday Seminars - Department of Computer Science and Technology
Predicting Psychology from Social Media Data
Logic and Semantics Seminar (Computer Laboratory)
What is an Algorithm?
β οΈ NOTE UNUSUAL TIME, DAY, AND VENUE. There are two seminars this week (Tuesday and Friday)
Logic and Semantics Seminar (Computer Laboratory)
Effects as sessions, sessions as effects
β οΈ NOTE UNUSUAL VENUE
Wednesday Seminars - Department of Computer Science and Technology
The Supercloud: Opportunities and Challenges
Logic and Semantics Seminar (Computer Laboratory)
Interacting Hopf monoids: the algebra of signal flow diagrams
β οΈ NOTE UNUSUAL VENUE
Computer Laboratory Systems Research Group Seminar
An Overview on Bigraphs, Their Applications, and Future Research Directions
Wednesday Seminars - Department of Computer Science and Technology
Synthetic Biology
Logic and Semantics Seminar (Computer Laboratory)
Dependent Types and Fibred Computational Effects
Computer Laboratory Systems Research Group Seminar
Pelican: A Building Block for Exascale Cold Data Storage
Wednesday Seminars - Department of Computer Science and Technology
Finding what is invisible through computation
Logic and Semantics Seminar (Computer Laboratory)
Graphical linear algebra and applications
Computer Laboratory Systems Research Group Seminar
Even Faster VM Networking with Virtual Passthrough
Computer Laboratory Systems Research Group Seminar
Characterization of Professional Users Behavior in Major Online Social Networks
Logic and Semantics Seminar (Computer Laboratory)
A continuation passing translation for functional session types
Computer Laboratory Systems Research Group Seminar
Systems Software for The Machine
Computer Laboratory Systems Research Group Seminar
A First Look at the Internet Usage Context of Indigenous U.S. Populations
β οΈ CANCELLED.
Wednesday Seminars - Department of Computer Science and Technology
Understanding and Verifying Javascript Programs.
Logic and Semantics Seminar (Computer Laboratory)
Typed realizability for first-order classical analysis
Computer Laboratory Systems Research Group Seminar
The Internet as your killer ICN use case
Wednesday Seminars - Department of Computer Science and Technology
Communication Technologies Research at the NPL
Computer Laboratory Systems Research Group Seminar
Cluster management at Google with Borg
Computer Laboratory Systems Research Group Seminar
Credit Cycle and Efficient Market Hypothesis - a practical point of view
Wednesday Seminars - Department of Computer Science and Technology
Talk Cancelled (was 'Synthetic Biology')
β οΈ This talk is cancelled.
Logic and Semantics Seminar (Computer Laboratory)
Online Space Complexity
Wednesday Seminars - Department of Computer Science and Technology
Unpatchable: Living with a Vulnerable Implanted Device
Logic and Semantics Seminar (Computer Laboratory)
Global Realisations of Local Specifications
Computer Laboratory Systems Research Group Seminar
FlowWatcher: Preventing Data Disclosure Vulnerabilities in Web Applications
Wednesday Seminars - Department of Computer Science and Technology
Image-triage, Brain Computer Interaction and Deception Detection using EEG
Computer Laboratory Systems Research Group Seminar
No compromises: distributed transactions with consistency, availability, and performance
Wednesday Seminars - Department of Computer Science and Technology
Todayβs and Tomorrowβs Camera Processing Pipelines
Computer Laboratory Programming Research Group Seminar
Towards a dynamic object model within Unix processes
Computer Laboratory Systems Research Group Seminar
Pro-Diluvian: Understanding Scoped-Flooding for Content Discovery in Information-Centric Networking
Wednesday Seminars - Department of Computer Science and Technology
Cluster Management with Kubernetes
Computer Laboratory Systems Research Group Seminar
Durability and Access Control for Scalable Distributed Filesystems
Wednesday Seminars - Department of Computer Science and Technology
Clouds, Things and Robots: the need for innovation in Architecture and Software
Computer Laboratory Systems Research Group Seminar
Reaching reliable agreement in an unreliable world
NLIP Seminar Series
Unweaving The Lexical Rainbow: Grounding Linguistic Creativity in Perceptual Semantics
β οΈ We only have LT2 for the hour, so please don't enter before 1pm and don't be late for the talk, as it will start promptly at 1:05 and we'll have to leave before 2pm.
Computer Laboratory Systems Research Group Seminar
Clean Application Compartmentalization with SOAAP
Computer Laboratory Programming Research Group Seminar
The Gamma: Programming tools for data journalism
Computer Laboratory Systems Research Group Seminar
Universal laws and architectures: theory and lessons from brains, nets, hearts, bugs, grids, flows, and zombies
Computer Laboratory Systems Research Group Seminar
Routes and Interconnectivity: An Internet Trend and an Architectural Proposal
Computer Laboratory Computer Architecture Group Meeting
The CAVA Computer: Exceptional Parallelism and Energy Efficiency
β οΈ Note unusual time and venue
Computer Laboratory Programming Research Group Seminar
Brand Objects and Gradual Contracts
Wednesday Seminars - Department of Computer Science and Technology
Interaction + Graphics: Four Lectures By Computer Laboratory Visitors
β οΈ This is a cross posting from the Rainbow Group.
Computer Laboratory Systems Research Group Seminar
Unobtrusive Smartphone-based Mobile Health Systems: Experiences with Biological Rhythm Monitoring
Computer Laboratory Systems Research Group Seminar
Trust in Networks and Collaborating Networked Systems
Computer Laboratory Systems Research Group Seminar
IX: A Protected Dataplane Operating System for High Throughput and Low Latency
Computer Laboratory Programming Research Group Seminar
Improving Implicit Parallelism
Logic and Semantics Seminar (Computer Laboratory)
Heat kernels in graphs: A journey from random walks to geometry, and back
Computer Laboratory Systems Research Group Seminar
Next-generation data-parallel dataflow systems
Computer Laboratory Systems Research Group Seminar
The vision for a Data Transparency Lab
Computer Laboratory Systems Research Group Seminar
Life out on the Savannah... Formal Models meet Mixed-Reality Systems
Logic and Semantics Seminar (Computer Laboratory)
Consistency of Quine's NF using nominal techniques
Computer Laboratory Systems Research Group Seminar
Rethinking State-Machine Replication for Multicore Architectures
Wednesday Seminars - Department of Computer Science and Technology
Probabilistic Programming; Ways Forward
The Wheeler Lectures in Computer Science
Hints and Principles for Computer System Design
Logic and Semantics Seminar (Computer Laboratory)
From Communicating Machines to Graphical Choreographies
Wednesday Seminars - Department of Computer Science and Technology
Cancelled : Full reduction in the face of absurdity.
β οΈ Talk cancelled for today - speaker cannot make it.
Logic and Semantics Seminar (Computer Laboratory)
Generic Computational Models
Logic and Semantics Seminar (Computer Laboratory)
Locally Finite Constraint Satisfaction Problems
Computer Laboratory Systems Research Group Seminar
Summaries on mobile phones: Context learning and data simplification
Wednesday Seminars - Department of Computer Science and Technology
Cellular Systems Biology of Chromosome Dynamics
Computer Laboratory Systems Research Group Seminar
Analytics on Graphs with a Trillion Edges
Wednesday Seminars - Department of Computer Science and Technology
Toward Causal Machine Learning
Computer Laboratory Systems Research Group Seminar
Copy Content, Copy Friends: Studies of Content Curation and Social Bootstrapping on Pinterest
Computer Laboratory Computer Architecture Group Meeting
Harder, Better, Faster, Stronger - Elliptic Curve Discrete Logarithm Computations on FPGAs
Computer Laboratory Programming Research Group Seminar
Probability and Prejudice: Bridging the Gap Between Machine Learning and Programming Languages
Computer Laboratory Systems Research Group Seminar
Online Reputation Management: Estimating the Impact of Management Responses on Consumer Reviews
Wednesday Seminars - Department of Computer Science and Technology
Deep Learning of Natural Language Semantics
β οΈ Extrodinary (out-of-term) Babbage Seminar
Computer Laboratory Systems Research Group Seminar
The SAFE Network from First Principles
Computer Laboratory Systems Research Group Seminar
Musketeer: all for one, one for all in data processing systems
Computer Laboratory Systems Research Group Seminar
Queues donβt matter when you can JUMP them!
Logic and Semantics Seminar (Computer Laboratory)
Linear numeral systems
Computer Laboratory Systems Research Group Seminar
Saber: Line-Rate Stream Processing on Heterogeneous Architectures
Computer Laboratory Systems Research Group Seminar
On Factors Affecting the Usage and Adoption of a Nation-wide TV Streaming Service
Wednesday Seminars - Department of Computer Science and Technology
The Automatic Statistician - an AI for Data Science
Computer Laboratory Systems Research Group Seminar
Rumors, cascades and word of mouth: observing virality on Facebook
Wednesday Seminars - Department of Computer Science and Technology
Group Project Presentations
Wednesday Seminars - Department of Computer Science and Technology
Digital by Default - A Paradigm Shift in Government
Computer Laboratory Systems Research Group Seminar
Aestheticodes: Beautiful Interaction
Wednesday Seminars - Department of Computer Science and Technology
The Evolution of Sophos
Logic and Semantics Seminar (Computer Laboratory)
Game Semantics for Interface Middleweight Java
Computer Laboratory Systems Research Group Seminar
Computers, Clocks and Network Time: Everything you never wanted to know about time
Wednesday Seminars - Department of Computer Science and Technology
Compressed sensing in the real world - Why and what actually works
Computer Laboratory Programming Research Group Seminar
Reflection without Remorse: Revealing a hidden sequence to speed up monadic reflection
Computer Laboratory Computer Architecture Group Meeting
Neural simulation on diverse computational hardware
Computer Laboratory Systems Research Group Seminar
GraphChi and GraphChi-DB: large-scale graph computation on just a PC
Wednesday Seminars - Department of Computer Science and Technology
Non-Photorealistic Rendering of Images
Computer Laboratory Computer Architecture Group Meeting
PSLP: Padded SLP Automatic Vectorization
Computer Laboratory Systems Research Group Seminar
Advanced Physical Layer Techniques for Wireless Multihop Networks
Wednesday Seminars - Department of Computer Science and Technology
Interacting with Infrastructure: Home Networking and Beyond
Wednesday Seminars - Department of Computer Science and Technology
The UK National Cyber Security Programme
Computer Laboratory Systems Research Group Seminar
Computational Privacy: On the privacy-conscientious use of metadata
Logic and Semantics Seminar (Computer Laboratory)
New reasoning techniques for monoidal algebras
Computer Laboratory Systems Research Group Seminar
First Impressions on the State of Cellular Data Connectivity in India
Logic and Semantics Seminar (Computer Laboratory)
Rigid Graphs for Adaptive Networks, with Data
Computer Laboratory Programming Research Group Seminar
QuLog: A modern logic-based agent-implementation language
Computer Laboratory Systems Research Group Seminar
CELAR+SCAN: Moving HPC to the cloud
Wednesday Seminars - Department of Computer Science and Technology
Transitive leap frogging: how to avoid queuing up for work
Computer Laboratory Computer Architecture Group Meeting
Bringing computer vision to the masses
Logic and Semantics Seminar (Computer Laboratory)
Transition systems over games
Computer Laboratory Systems Research Group Seminar
Life in the Slow Lane
Wednesday Seminars - Department of Computer Science and Technology
Text Analysis of Social Media Beyond Twitterdome
Logic and Semantics Seminar (Computer Laboratory)
Senescent Ground Tree Rewrite Systems
Computer Laboratory Systems Research Group Seminar
Bridging the gap between networking and end-host computing
Wednesday Seminars - Department of Computer Science and Technology
Scientific Data Management
Logic and Semantics Seminar (Computer Laboratory)
Verification of quantum protocols using Coq
Computer Laboratory Systems Research Group Seminar
Holistic GC: Coordinating Garbage Collection across Rack-scale Systems
Wednesday Seminars - Department of Computer Science and Technology
Kafka and Samza: distributed stream processing in practice
Computer Laboratory Computer Architecture Group Meeting
Raising Computational Throughput and Energy Efficiency by Synthesizing Software into FPGA Hardware
β οΈ Note unusual time and venue
Logic and Semantics Seminar (Computer Laboratory)
An Algorithmic Metatheorem for Directed Treewidth
Computer Laboratory Computer Architecture Group Meeting
USB Type-C: How hard is it to pick two resistors?
β οΈ Note unusual time and venue
Computer Laboratory Systems Research Group Seminar
A random walk through open data and more
Wednesday Seminars - Department of Computer Science and Technology
Payment System Security - Attacks and Defences
Microsoft Research Cambridge, public talks
Taming GPU threads with F# and Alea.GPU
β οΈ This event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Computer Laboratory Systems Research Group Seminar
End-to-End Performance Isolation through Virtual Datacenters
Wednesday Seminars - Department of Computer Science and Technology
Structure and Dynamics of Mutlilayer Networks
Computer Laboratory Systems Research Group Seminar
A Look at the Consequences of Internet Censorship Through an ISP Lens
Computer Laboratory Systems Research Group Seminar
1) Mining Users' Significant Driving Routes with Low-power Sensors 2) DSP.Ear: Leveraging Co-Processor Support for Continuous Audio Sensing on Smartphones
Wednesday Seminars - Department of Computer Science and Technology
Science Data Processor for the Square Kilometre Array Telescope
Computer Laboratory Systems Research Group Seminar
The Wireless Ecosystem β An ICT4D Perspective
Computer Laboratory Systems Research Group Seminar
Modelling a Community's Health and Mobility Patterns with Mobile Phone Data
Wednesday Seminars - Department of Computer Science and Technology
Fuzzy Optimisation of Reverse Logistics Networks
Computer Laboratory Systems Research Group Seminar
Faithful Reproduction of Network Experiments
Computer Laboratory Computer Architecture Group Meeting
RISC-V: A Free and Open Instruction Set Architecture
Computer Laboratory Systems Research Group Seminar
A crowdsourced approach for mobile sensing: How distributed data mining meets mobile devices
Computer Laboratory Programming Research Group Seminar
Logic programming beyond Prolog
β οΈ This is an MSR Seminar (Station Road), duplicated on the CPRG list
Computer Laboratory Automated Reasoning Group Lunches
Logic programming beyond Prolog
β οΈ This is a MSR Seminar (Station Road), duplicated on the ARG list
Computer Laboratory Systems Research Group Seminar
NetCheck: Network Diagnoses from Blackbox Traces
Computer Laboratory Computer Architecture Group Meeting
Randomised testing of a microprocessor model using SMT-solver state generation
β οΈ Note unusual time
Logic and Semantics Seminar (Computer Laboratory)
Micro-Policies: A Framework for Tag-Based Security Monitors
Computer Laboratory Programming Research Group Seminar
Embedding effect systems in Haskell
Computer Laboratory Systems Research Group Seminar
The Architecture of Innovation: Tracking Face-to-Face Interactions with UbiComp Technologies
Logic and Semantics Seminar (Computer Laboratory)
Backward Analysis via Over-Approximate Abstraction and Under-Approximate Subtraction
Computer Laboratory Systems Research Group Seminar
Ideas for the FireBox Software Stack
Computer Laboratory Systems Research Group Seminar
Title to be confirmed
Computer Laboratory Systems Research Group Seminar
Modeling, Specifying, and Verifying X86 Hardware and Software
Computer Laboratory Systems Research Group Seminar
Consistency and Reliability in Cloud-backed Storage Systems
Computer Laboratory Systems Research Group Seminar
Better Strategies for Data Collection in Sensor Networks
Computer Laboratory Programming Research Group Seminar
Programming Robotic Agents: A Multi-tasking Teleo-Reactive Approach
Computer Laboratory Systems Research Group Seminar
Network-Design Sensitivity Analysis
Computer Laboratory Systems Research Group Seminar
Daily Habits of Happy People: Accelerometers
Computer Laboratory Programming Research Group Seminar
Points-To and Alias Analysis -- the precision vs efficiency dilemma
Computer Laboratory Systems Research Group Seminar
Sampling Theory of Large Graphs
Computer Laboratory Systems Research Group Seminar
Enriching Electronic Textbooks
Logic and Semantics Seminar (Computer Laboratory)
Why Isnβt Verification Standard Practice?
Computer Laboratory Systems Research Group Seminar
Incoming.tv - Improving User Experience of Mobile Video through predictive prefetching
Computer Laboratory Systems Research Group Seminar
AWARE: Human & Social Context For Wellbeing
Computer Laboratory Systems Research Group Seminar
Engineering a Market: Concepts and Research on the HAT
Computer Laboratory Systems Research Group Seminar
Vehicular App Development: Opportunities and Challenges
Computer Laboratory Programming Research Group Seminar
Formally Verified Security Micro Policies
Computer Laboratory Systems Research Group Seminar
The CHERI capability model: Revisiting RISC in an age of risk
Computer Laboratory Systems Research Group Seminar
Unsynchronized Visual Communication
Computer Laboratory Systems Research Group Seminar
I'm the repro man: a rant and some incremental improvements on reproducibility in systems research
Wednesday Seminars - Department of Computer Science and Technology
No Fixed Abode: Avoiding IP Address Blocking to Circumvent Censorship
Logic and Semantics Seminar (Computer Laboratory)
Modeling a Practical Combination of Delimited Continuations, Exceptions, Dynamic-Wind Guards, Dynamic Binding, and Stack Inspection
Computer Laboratory Programming Research Group Seminar
Higher-kinded programming in ML
Computer Laboratory Systems Research Group Seminar
Branch Consistency or how to design a version controlled database
Wednesday Seminars - Department of Computer Science and Technology
Theory into Practice: the story of Incremental
Computer Laboratory Systems Research Group Seminar
From Big Data to banality of evil : toward an epistemological approach to ethics in Internet Era
Computer Laboratory Systems Research Group Seminar
Examining Region-Specific Third-Party Web Tracking Services
The Wheeler Lectures in Computer Science
Computational Thinking
Wednesday Seminars - Department of Computer Science and Technology
No Babbage Seminar today owing to the Wheeler Lecture
Computer Laboratory Systems Research Group Seminar
The story of figure 12b - trials, terrors and tribulations in applied systems research
Wednesday Seminars - Department of Computer Science and Technology
Multitask Learning
Computer Laboratory Programming Research Group Seminar
A Core Quantitative Coeffect Calculus
Computer Laboratory Programming Research Group Seminar
A Core Quantitative Coeffect Calculus
Wednesday Seminars - Department of Computer Science and Technology
Computing Cancer
Logic and Semantics Seminar (Computer Laboratory)
On-the-fly garbage collection: issues and opportunities
Wednesday Seminars - Department of Computer Science and Technology
*** The Weight of Gravity ***
β οΈ (Additional Talk: Week 0, Extended Duration 1.5 hrs)
Computer Laboratory Systems Research Group Seminar
(How) can we secure Internet routing?
Computer Laboratory Systems Research Group Seminar
Measuring and Analyzing Online Advertising
Computer Laboratory Programming Research Group Seminar
Solving an existential crisis in Haskell
Computer Laboratory Programming Research Group Seminar
What can Programming Language Research Learn from the Philosophy of Science?
Computer Laboratory Systems Research Group Seminar
Cosmic Rays Don't Strike Twice: Understanding the Nature of DRAM Errors and the Implications for System Design
Computer Laboratory Systems Research Group Seminar
TCP in the Wild
Computer Laboratory Systems Research Group Seminar
Recommending Investors for Crowdfunding Projects
Wednesday Seminars - Department of Computer Science and Technology
Competitive Contagion in Networks
Computer Laboratory Systems Research Group Seminar
Babel -- a modular routing protocol
Computer Laboratory Systems Research Group Seminar
The State of the Art in (Linux) Congestion Control
Computer Laboratory Systems Research Group Seminar
A new open and flexible way to test next-generation (OpenFlow) switches
Wednesday Seminars - Department of Computer Science and Technology
Part Ib Group Project Presentations
Computer Laboratory Automated Reasoning Group Lunches
Interfacing and improving proof tools
Computer Laboratory Systems Research Group Seminar
FaRM: Fast Remote Memory
Wednesday Seminars - Department of Computer Science and Technology
What We Talk About When We Talk About Types
Computer Laboratory Systems Research Group Seminar
A Cyber Security Lab: from teaching, to a security evaluation platform, to a novel configuration management paradigm?
Wednesday Seminars - Department of Computer Science and Technology
Interactive Configuration Problems
Computer Laboratory Computer Architecture Group Meeting
Virtual Prototyping, Virtual Platforms, and System Simulation for Embedded System and Software Development
Computer Laboratory Systems Research Group Seminar
Enhancing Network Structure to Increase Resilience and Survivability
Wednesday Seminars - Department of Computer Science and Technology
Safer Healthcare by Better Computer Science
Wednesday Seminars - Department of Computer Science and Technology
Talking About Shapes
Computer Laboratory Systems Research Group Seminar
Source-sensitive routing
Computer Laboratory Systems Research Group Seminar
Security-Oriented Analysis of Application Programs
Wednesday Seminars - Department of Computer Science and Technology
Randomised Load Balancing For Networks
Computer Laboratory Computer Architecture Group Meeting
The New Cambridge Phenomenon?
Logic and Semantics Seminar (Computer Laboratory)
Representing conditional independence in probabilistic programming
Computer Laboratory Programming Research Group Seminar
Towards Language Composition
Computer Laboratory Systems Research Group Seminar
User-level networking: The hard problems
Wednesday Seminars - Department of Computer Science and Technology
Evaluation Metrics and Learning to Rank for Information Retrieval
β οΈ Please note new seminar start time of 2:00pm this term.
Logic and Semantics Seminar (Computer Laboratory)
Automating reasoning tasks for separation logic
Computer Laboratory Systems Research Group Seminar
Approximate Bayesian Computation and Complex network models
Computer Laboratory Systems Research Group Seminar
Grappa: Scale-out Performance on Commodity Hardware for Irregular Applications
Logic and Semantics Seminar (Computer Laboratory)
An algebraic theory of type-and-effect systems
Logic and Semantics Seminar (Computer Laboratory)
Relational Programming in miniKanren
Wednesday Seminars - Department of Computer Science and Technology
MirageOS: compiling a functional cloud
Computer Laboratory Automated Reasoning Group Lunches
CakeML: A Verified Implementation of ML
Computer Laboratory Digital Technology Group (DTG) Meetings
Julia: A Fast Dynamic Language for Technical Computing
Logic and Semantics Seminar (Computer Laboratory)
Decision Problems for Linear Recurrence Sequences
Computer Laboratory Systems Research Group Seminar
PREDICTING SOCIAL BEHAVIOR IN SITUATION-GAMES FROM CROWDSOURCING EXPERIMENTS
Wednesday Seminars - Department of Computer Science and Technology
Compressed sensing and the art of subsampling
Computer Laboratory Systems Research Group Seminar
What makes mobile apps tick? lessons learned in collaborative app analysis
Logic and Semantics Seminar (Computer Laboratory)
Language based web security: the operational semantics approach
Computer Laboratory Systems Research Group Seminar
Callisto: Co-scheduling Parallel Runtime Systems
Wednesday Seminars - Department of Computer Science and Technology
Research Issues in Computer Support for Collaborative Problem Solving
Computer Laboratory Systems Research Group Seminar
IOFlow: A Software-Defined Storage Architecture
Computer Laboratory Automated Reasoning Group Lunches
A Verified Bignum Implementation in x86-64 Machine Code
Logic and Semantics Seminar (Computer Laboratory)
Weighted relational models of typed lambda-calculi
Computer Laboratory Systems Research Group Seminar
Smartphones, Crowds, and the Cloud: Population Guided Sensing Systems
Computer Laboratory Systems Research Group Seminar
Exploiting (Commercial) Hot-Spots for Device-to-Device Communication
Wednesday Seminars - Department of Computer Science and Technology
Towards Do-It-Yourself Networking
Logic and Semantics Seminar (Computer Laboratory)
Simple, efficient, sound-and-complete combinator parsing for all context-free grammars, using an oracle.
Wednesday Seminars - Department of Computer Science and Technology
Pico: no more passwords!
Computer Laboratory Systems Research Group Seminar
Urban Technologies: Feeling your emotions
Computer Laboratory Automated Reasoning Group Lunches
Mathematical practice, crowdsourcing, and social machines
Logic and Semantics Seminar (Computer Laboratory)
**TALK POSTPONED**
Computer Laboratory Systems Research Group Seminar
Towards Programmable Wide-Area Virtual Networks
Wednesday Seminars - Department of Computer Science and Technology
Understanding Video and Audio at Google
Computer Laboratory Systems Research Group Seminar
Adaptive and Resource-Efficient Rural Area Networks
Logic and Semantics Seminar (Computer Laboratory)
Fibrational Parametricity
Wednesday Seminars - Department of Computer Science and Technology
Disciplined Approximate Computing: From Language to Hardware and Beyond
Computer Laboratory Systems Research Group Seminar
Integrating Scale Out and Fault Tolerance in Stream Processing using Operator State Management
Computer Laboratory Digital Technology Group (DTG) Meetings
Upgrading Fortran source code using automatic refactoring
Computer Laboratory Programming Research Group Seminar
Automated functional program verification using fixpoint fusion
Computer Laboratory Systems Research Group Seminar
Eliminating Network Protocol Vulnerabilities Through Abstraction and Systems Language Design
Wednesday Seminars - Department of Computer Science and Technology
Towards Position-based Routing for Mobile Environments
Computer Laboratory Systems Research Group Seminar
Geo-Spotting: Mining Online Location-based Services for Optimal Retail Store Placement
Computer Laboratory Programming Research Group Seminar
Logic of Hybrid Games
Computer Laboratory Systems Research Group Seminar
Anomaly Detection in the Field
Computer Laboratory Computer Architecture Group Meeting
Scale-Out Processors
Computer Laboratory Systems Research Group Seminar
Designing an Optical Internet Router with a Preview of an Optical Turing Machine for Network Processing
Computer Laboratory Systems Research Group Seminar
Naiad: A Timely Dataflow System
Computer Laboratory Systems Research Group Seminar
ParkSense: A Smartphone Based Sensing System For On-Street Parking
Computer Laboratory Programming Research Group Seminar
Automatic SIMD vectorization for Haskell
Computer Laboratory Automated Reasoning Group Lunches
Some unfinished projects
Computer Laboratory Programming Research Group Seminar
OCaml-Java: blending OCaml & Java
Computer Laboratory Computer Architecture Group Meeting
Energy Efficient Computing System - Research in NICS CAD Tsinghua
β οΈ Note unusual time
Logic and Semantics Seminar (Computer Laboratory)
Descriptive set theory and Computation theory
Computer Laboratory Computer Architecture Group Meeting
Synopsys Processor Designer - Introduction and demonstration
β οΈ Note unusual time and venue
Computer Laboratory Systems Research Group Seminar
How to improve performance of ad-hoc networks?
Computer Laboratory Automated Reasoning Group Lunches
Looking Back at Lyrebird
Computer Laboratory Systems Research Group Seminar
Very high speed networking in VMs and bare metal
β οΈ Luigi's will also give a talk at MSR Cambridge (http://talks.cam.ac.uk/talk/index/46123)
Logic and Semantics Seminar (Computer Laboratory)
An overview of nominal algebra, lattice, representation and dualities for computer science foundations
Computer Laboratory Programming Research Group Seminar
Denotation of Contextual Modal Type theory
Computer Laboratory Programming Research Group Seminar
Coeffects: Unified static analysis of context-dependence
Logic and Semantics Seminar (Computer Laboratory)
**Cancelled** Logic of Hybrid Games
Computer Laboratory Programming Research Group Seminar
Goji: a tool to generate OCaml bindings of JavaScript libraries
Computer Laboratory Systems Research Group Seminar
Impact of Social Mapping in OpenStreetMap
β οΈ This talk has been cancelled.
Wednesday Seminars - Department of Computer Science and Technology
Humans + Automation: Greater than the sum of the parts
Wednesday Seminars - Department of Computer Science and Technology
Errors, Exploits, and Espionage - A tour of software vulnerabilities and their real-world impact
Computer Laboratory Systems Research Group Seminar
LibertΓ©, EgalitΓ©, FraternitΓ©: Regain control over your end systems
Computer Laboratory Programming Research Group Seminar
Concise analysis using implication algebras for task-local memory optimisation
Logic and Semantics Seminar (Computer Laboratory)
A few lessons that I learnt about interprocedural program analyses
Computer Laboratory Systems Research Group Seminar
Reaping the Benefits of Partial SDN Deployment in Enterprise Networks
Computer Laboratory Systems Research Group Seminar
Curing discontent in online content acquisition
Computer Laboratory Computer Architecture Group Meeting
Adaptive Resolution of Information Flow Constraints
β οΈ Note unusual time and venue
Computer Laboratory Systems Research Group Seminar
Towards Efficient Traffic-analysis Resistant Anonymity Networks
β οΈ Joint seminar with Security Group Seminar.
Computer Laboratory Computer Architecture Group Meeting
Exposing Fine-grain Concurrency in Sequential code with a Dataflow Compiler IR
β οΈ Note unusual time and venue
Wednesday Seminars - Department of Computer Science and Technology
The Domain Name System in 2013 β The political and technical landscape
Computer Laboratory Systems Research Group Seminar
Integrating Scale Out and Fault Tolerance in Stream Processing using Operator State Management
β οΈ This talk has been cancelled.
Computer Laboratory Programming Research Group Seminar
A Heterogeneous Parallel Programming Language and Compiler Architecture
Computer Laboratory Programming Research Group Seminar
Part III projects: Approximating a Haskell stack trace/Language and compiler for heterogenous parallelism
Wednesday Seminars - Department of Computer Science and Technology
Digging into (Historical) Data: Tracking global commodity trading in the nineteenth century
Computer Laboratory Systems Research Group Seminar
The neighbourhood game
Computer Laboratory Systems Research Group Seminar
Interdependence and Predictability of Human Mobility and Social Interactions
Logic and Semantics Seminar (Computer Laboratory)
Multiparty session types and their application in large distributed systems
Computer Laboratory Systems Research Group Seminar
SPOC: GPGPU Programming with OCaml
Wednesday Seminars - Department of Computer Science and Technology
Strongly-Typed Language Support for Internet-Scale Information Sources
Computer Laboratory Systems Research Group Seminar
An Objective Measure of Network Resilience
Computer Laboratory Programming Research Group Seminar
Coinductive big-step semantics for concurrency
β οΈ Note unusual time and day
Wednesday Seminars - Department of Computer Science and Technology
Mind the Map - Modelling Sustainability of Urban Crowd-Sourcing
Computer Laboratory Systems Research Group Seminar
Moana: A Case for a Global Information Network
Logic and Semantics Seminar (Computer Laboratory)
Barrier Invariants : a Shared State Abstraction for Data-dependent GPU Kernels >
Wednesday Seminars - Department of Computer Science and Technology
CANCELLED: Compressed Sensing and the Art of Subsampling
Computer Laboratory Systems Research Group Seminar
Chatty Tenants and the Cloud Network Sharing Problem
Computer Laboratory Programming Research Group Seminar
Mezzo
Logic and Semantics Seminar (Computer Laboratory)
Semigroups with low difficulty word problem
Computer Laboratory Systems Research Group Seminar
Information and Communications Technology for Development: Current Trajectories
The Wheeler Lectures in Computer Science
Could Computers Understand Their Own Programs
Computer Laboratory Systems Research Group Seminar
Cluster management at Google
Computer Laboratory Systems Research Group Seminar
On the efficient implementation of large round-robin arbiters
Computer Laboratory Systems Research Group Seminar
Can we leverage a Software Defined Networking (SDN) approach on Video streaming to benefit both the Network and its Users?
Computer Laboratory Computer Architecture Group Meeting
FUSEing PolyBlaze: enabling heterogeneous multicore research
β οΈ Note unusual time
Computer Laboratory Systems Research Group Seminar
Omega: flexible, scalable schedulers for large compute clusters
Computer Laboratory Automated Reasoning Group Lunches
Verified AIG Algorithms in ACL2
Computer Laboratory Systems Research Group Seminar
Toward an Atlas of the Physical Internet
Computer Laboratory Systems Research Group Seminar
Rethinking the Stack for Distributed Runtime Systems
Logic and Semantics Seminar (Computer Laboratory)
Malware Analysis with Tree Automata Inference
Wednesday Seminars - Department of Computer Science and Technology
Student Design Project Presentations
Computer Laboratory Systems Research Group Seminar
Multipath? What multipath? Positioning and communication using low frequency magneto-induction
Logic and Semantics Seminar (Computer Laboratory)
Cyclic Abduction of Inductive Termination Preconditions
Wednesday Seminars - Department of Computer Science and Technology
High-Assurance Algorithmic Trading
Computer Laboratory Systems Research Group Seminar
METIS: Exploring mobile phone sensing offloading for efficiently supporting social sensing applications
Wednesday Seminars - Department of Computer Science and Technology
Challenges in Computer Graphics Modeling
Computer Laboratory Systems Research Group Seminar
Analysing co-installability of software components
Wednesday Seminars - Department of Computer Science and Technology
Privacy Challenges and Solutions for Data Sharing
Computer Laboratory Systems Research Group Seminar
Productive parallel programming with Unified Parallel C
Computer Laboratory Automated Reasoning Group Lunches
A Formalisation of Finite Automata in Isabelle/HOL
Wednesday Seminars - Department of Computer Science and Technology
Adaptive Runtime Verification
Computer Laboratory Systems Research Group Seminar
Unikernels: Library Operating Systems for the Cloud
Wednesday Seminars - Department of Computer Science and Technology
Replacing lectures with videos in the Computer Science Tripos
Computer Laboratory Systems Research Group Seminar
The Role of Initial Experience in the Design of Inclusive User Interfaces
Wednesday Seminars - Department of Computer Science and Technology
Computing at School: Tackling the ICT Education Crisis in UK Schools
Computer Laboratory Systems Research Group Seminar
Not just Pi in the sky: low-tech solutions for social innovation
Computer Laboratory Systems Research Group Seminar
The charge of the light cyber brigade?
Computer Laboratory Programming Research Group Seminar
Java 8 Workshop
Computer Laboratory Systems Research Group Seminar
New paradigms in complex networks science: time dependence, networks of networks, spatial features, multiplexity
β οΈ This talk has been cancelled.
Computer Laboratory Systems Research Group Seminar
Internetworking with DTN
Computer Laboratory Systems Research Group Seminar
Dynamic flow algorithms for real-time evacuation guidance
Computer Laboratory Systems Research Group Seminar
Towards the Profiling of Twitter Users for Topic-Based Filtering + Collaborative Filtering For Recommendation
Computer Laboratory Systems Research Group Seminar
LCD-Net: Lowest Cost Denominator Networking - Enabling donated lunches in the Internet
Computer Laboratory Systems Research Group Seminar
Information theoretic view on Privacy preservation
β οΈ Note that the change of time - now at 14:00.
Wednesday Seminars - Department of Computer Science and Technology
One Bit is Not Enough: The Benefit of Reference Analysis in Virtual Memory Management
Computer Laboratory Programming Research Group Seminar
Continuation-Passing C: Program Transformations for Compiling Concurrency in an Imperative Language
Logic and Semantics Seminar (Computer Laboratory)
Halo: From Haskell to Logic through Denotational Semantics
Computer Laboratory Systems Research Group Seminar
Making Geo-Replicated Systems Fast as Possible, Consistent when Necessary
Computer Laboratory Systems Research Group Seminar
Fast run-time type checking for whole programs
Computer Laboratory Systems Research Group Seminar
Applying Pervasive Positioning for Crowd Behavior Recognition and Eco-Feedback
Wednesday Seminars - Department of Computer Science and Technology
Every tweet counts: How statistical content analysis of social networks can improve our knowledge of citizens' preferences. An application to France and US presidential elections and EU leaders' popularity
Computer Laboratory Systems Research Group Seminar
Large-Scale Peer-to-Peer Discovery Mechanism for Frequency Allocation
Wednesday Seminars - Department of Computer Science and Technology
Structural executable comparison, malware classification, and collaborative binary analysis - the formerly-zynamics tools at Google
Computer Laboratory Systems Research Group Seminar
Terabit traffic vs. von Neumann - Ensoft Technical Talk
Logic and Semantics Seminar (Computer Laboratory)
Abstraction and Invariance for Algebraically Indexed Types
Computer Laboratory Systems Research Group Seminar
Breaking for Commercials: Characterizing Mobile Advertising
Computer Laboratory Systems Research Group Seminar
Naiad: a system for incremental, iterative and interactive parallel computation
Wednesday Seminars - Department of Computer Science and Technology
Sentiment Analysis
Computer Laboratory Systems Research Group Seminar
Deduplication in VM Environments
Wednesday Seminars - Department of Computer Science and Technology
Semi-local string comparison
Computer Laboratory Systems Research Group Seminar
The seven deadly sins of cloud computing research
Wednesday Seminars - Department of Computer Science and Technology
Challenges and approaches to improving the accuracy of indoor positioning systems
Computer Laboratory Systems Research Group Seminar
From geek-dream to mass-market: Will privacy-preserving technologies ever be adopted?
Wednesday Seminars - Department of Computer Science and Technology
Machine Learning Methods for the Detection and Prediction of Transmembrane Beta-Barrel Proteins in Prokariotes
Computer Laboratory Systems Research Group Seminar
Distributed, Real-Time Bayesian Learning in Online Services
Computer Laboratory Programming Research Group Seminar
Monadic Program Slicing
Computer Laboratory Systems Research Group Seminar
Towards productive parallel programming: Unified Parallel C
β οΈ This talk has been cacelled due to the speaker's schedule change.
Computer Laboratory Systems Research Group Seminar
Urban*: Crowdsourcing for the good of London
Wednesday Seminars - Department of Computer Science and Technology
Dart: A Platform for Building Large Web Applications
Computer Laboratory Systems Research Group Seminar
Study of Twitter unfollow behavior
Computer Laboratory Programming Research Group Seminar
The Whiley Programming Language: Design & Implementation
Logic and Semantics Seminar (Computer Laboratory)
Preservation under Substructures modulo Bounded Cores
β οΈ Note special date and location (GC22)
Computer Laboratory Programming Research Group Seminar
A Notation for Comonads
Computer Laboratory Systems Research Group Seminar
Rapidly deployable TDMA mesh network with application to disaster management
Computer Laboratory Systems Research Group Seminar
Making Middleboxes Someone Else's Problem: Network Processing as a Cloud Service
Computer Laboratory Systems Research Group Seminar
The Importance of Being Placefriends: Discovering Location-focused Online Communities
Computer Laboratory Computer Architecture Group Meeting
Architecture Support for Accelerator-Center Architectures
Computer Laboratory Systems Research Group Seminar
Architectures for large-scale continuous data management
Computer Laboratory Systems Research Group Seminar
Connecting the Disconnected
Computer Laboratory Systems Research Group Seminar
Human Mobility Characterization from Cellular Network Data
β οΈ Joint seminar with DTG group
Computer Laboratory Systems Research Group Seminar
Optimizing multi-layered networks with long range dependent traffic
Computer Laboratory Systems Research Group Seminar
Code-Level Formal Verification for Large Real Systems
Wednesday Seminars - Department of Computer Science and Technology
The Great Indoors: The Next Frontier in Location-Based Services
β οΈ Note unusual time, day and location
Computer Laboratory Programming Research Group Seminar
Control Flow Analysis for the Join Calculus
Computer Laboratory Systems Research Group Seminar
Towards Trustworthy Embedded Systems
Computer Laboratory Systems Research Group Seminar
Generalizing Database Architecture
Computer Laboratory Automated Reasoning Group Lunches
Semi-automatic Algorithm Synthesis (Case Study: Square Root)
Computer Laboratory Automated Reasoning Group Lunches
Diabelli and Speedith: Heterogeneous reasoning and spider diagrams
Computer Laboratory Systems Research Group Seminar
Energy Debugging in Smartphones
β οΈ Charlie will give his talk at MSR.
Computer Laboratory Systems Research Group Seminar
Sense and Sensibility in a Pervasive World
Wednesday Seminars - Department of Computer Science and Technology
Behavioural Nudge or Technological Fudge?
Computer Laboratory Programming Research Group Seminar
Mathematical Structures for Data Types with Restricted Parametericity
Logic and Semantics Seminar (Computer Laboratory)
Bounds on proof size and distributive encryption
β οΈ Note that this talk will be in FW26 rather than the usual room.
Computer Laboratory Systems Research Group Seminar
Lock Inference in the Presence of Large Libraries
Computer Laboratory Systems Research Group Seminar
The Quest for Zero-Effort Indoor Localization
Computer Laboratory Programming Research Group Seminar
Syntax Matters: Writing abstract computations in F#
Logic and Semantics Seminar (Computer Laboratory)
Safe Recursive Set Functions
Computer Laboratory Systems Research Group Seminar
Attacks and defenses in decentralised botnets
Wednesday Seminars - Department of Computer Science and Technology
A Bayesian Approach to Learning the Structure of Human Languages
Computer Laboratory Automated Reasoning Group Lunches
Holfoot - a separation logic tool in HOL4
Computer Laboratory Systems Research Group Seminar
Economics of BitTorrent Communities
Wednesday Seminars - Department of Computer Science and Technology
Alan Turing as a computer designer
Computer Laboratory Programming Research Group Seminar
MPhil Presentations: (1) An investigation of the Join Calculus Abstract Machine (2) Ownership in Object-Oriented Languages
Logic and Semantics Seminar (Computer Laboratory)
MELL in a free compact closure
Computer Laboratory Systems Research Group Seminar
Facebook and Privacy: The Balancing Act of Personality, Gender, and Relationship Currency
Wednesday Seminars - Department of Computer Science and Technology
Energy efficiency and the design of brains
Computer Laboratory Systems Research Group Seminar
Exploiting the Structure of Human Mobility for Opportunistic Networks
Wednesday Seminars - Department of Computer Science and Technology
CANCELLED: Structural executable comparison, malware classification, and collaborative binary analysis - the formerly-zynamics tools at Google
β οΈ CANCELLED: will most likely be rescheduled for next term
Computer Laboratory Automated Reasoning Group Lunches
Diabelli: a framework for heterogeneous reasoning
Computer Laboratory Systems Research Group Seminar
The SUDOKU Coding Project
Wednesday Seminars - Department of Computer Science and Technology
Content delivery in the Internet: an infrastructure-oriented perspective.
Logic and Semantics Seminar (Computer Laboratory)
First steps in synthetic guarded domain theory: step-indexing in the topos of trees
Computer Laboratory Systems Research Group Seminar
A JVM for the Barrelfish Operating System
Computer Laboratory Systems Research Group Seminar
Towards Statistical Queries over Distributed Private User Data
Logic and Semantics Seminar (Computer Laboratory)
Expressiveness of real-time temporal logics
Computer Laboratory Systems Research Group Seminar
ThinkAir: Dynamic resource allocation and parallel execution in cloud for mobile code offloading
Computer Laboratory Systems Research Group Seminar
YouTube Around the World: Geographic Popularity of Videos
Computer Laboratory Computer Architecture Group Meeting
HDL Code Generation from MATLAB and Simulink
β οΈ Note unusual location
Computer Laboratory Systems Research Group Seminar
Real-time verification with bigraphs with sharing
Computer Laboratory Computer Architecture Group Meeting
System-Level Management of Hybrid Accelerators
β οΈ Note unusual time
Computer Laboratory Automated Reasoning Group Lunches
Proof-Producing Synthesis of ML from Higher-Order Logic
Computer Laboratory Programming Research Group Seminar
Architecture-neutral Parallelism
Logic and Semantics Seminar (Computer Laboratory)
On modal definability of first-order formulas with many free variables and its application to conjunctive query answering in description logics
Computer Laboratory Systems Research Group Seminar
A Scalable Approach for Managing Unstructured Information
Computer Laboratory Systems Research Group Seminar
OFLOPS: An Open Framework for OpenFlow Switch Evaluation
Computer Laboratory Automated Reasoning Group Lunches
Extending deforestation
Computer Laboratory Programming Research Group Seminar
Evaluation strategies for monadic computations
Computer Laboratory Systems Research Group Seminar
Bridging the Tenant-Provider Gap in Cloud Services
Computer Laboratory Automated Reasoning Group Lunches
A Proposed Framework for Analysing Security Ceremonies
Computer Laboratory Systems Research Group Seminar
Don't kill my ads! Balancing Privacy in an Ad-Supported Mobile Application Market
Computer Laboratory Systems Research Group Seminar
Rethinking file systems
Computer Laboratory Automated Reasoning Group Lunches
Bottom-up formalization of the ARM architecture
Computer Laboratory Systems Research Group Seminar
Control and Understanding: Owning Your Home Network
Wednesday Seminars - Department of Computer Science and Technology
A Communications Medium for the 21st Century : Towards Open Public Display Networks
Computer Laboratory Automated Reasoning Group Lunches
Explicit vs. symbolic algorithms for solving ALFP constraints
Logic and Semantics Seminar (Computer Laboratory)
Iterative algorithms and Sherali-Adams linear programming relaxations of graph isomorphism
Computer Laboratory Systems Research Group Seminar
So you want to do a PhD (you think)...
Computer Laboratory Programming Research Group Seminar
Using the OpenJDK to investigate covariance in Java
β οΈ Note unusual day and time.
Computer Laboratory Systems Research Group Seminar
Analysis of the call group structure in the BT call records dataset
Wednesday Seminars - Department of Computer Science and Technology
Inclusive Design
Logic and Semantics Seminar (Computer Laboratory)
Layered Fixed Point Logic
Wednesday Seminars - Department of Computer Science and Technology
Speech Synthesis at Google
Computer Laboratory Automated Reasoning Group Lunches
Plan B: A Buffered Memory Model for Java
Computer Laboratory Systems Research Group Seminar
On User Availability Prediction And Network Applications
Computer Laboratory Computer Architecture Group Meeting
ON-CHIP DEBUG SUPPORT TO ADDRESS COMPLEXITY IN MULTIPE PROCESSOR SYSTEMS-ON-CHIP
Computer Laboratory Computer Architecture Group Meeting
Device Mechanism: Rethinking Driver Development
β οΈ Note unusual day
Logic and Semantics Seminar (Computer Laboratory)
Algebra unifies Calculi of programming
Computer Laboratory Systems Research Group Seminar
IPv6 Transition and IPv4 address sharing mechanisms
Computer Laboratory Programming Research Group Seminar
Virtual machines should be invisible (and might be augmented)
Logic and Semantics Seminar (Computer Laboratory)
Nash Equilibrium, Bekic's Lemma and Bar Recursion
Computer Laboratory Systems Research Group Seminar
Experiments with dynamic networks of virtual routers
Wednesday Seminars - Department of Computer Science and Technology
Automatic Discovery of Patterns in Media Content
Computer Laboratory Systems Research Group Seminar
Real-Time and Real Trustworthiness: Timing Analysis of a Protected OS Kernel
β οΈ This talk is cancelled.
Computer Laboratory Systems Research Group Seminar
Quantifying Location Privacy
Wednesday Seminars - Department of Computer Science and Technology
Search Based Software Engineering
Computer Laboratory Computer Architecture Group Meeting
Communication Challenges for Extreme-Scale, Real-Time Neural Network Simulation
Computer Laboratory Systems Research Group Seminar
Linked Data infrastructures for HE
Wednesday Seminars - Department of Computer Science and Technology
Algebraic theories and computational effects
Computer Laboratory Automated Reasoning Group Lunches
Modular verification of preemptive OS kernels
Computer Laboratory Systems Research Group Seminar
Reflections on the Long-term Use of an Experimental Digital Signage System
Wednesday Seminars - Department of Computer Science and Technology
Notes on the Synthesis of Music
Computer Laboratory Automated Reasoning Group Lunches
On the Strength of Owicki-Gries for Resources
Logic and Semantics Seminar (Computer Laboratory)
Almost always blue trees and bar induction
Computer Laboratory Systems Research Group Seminar
Towards a Highly Available Internet
Wednesday Seminars - Department of Computer Science and Technology
TIME: Transport Information Monitoring Environment
Computer Laboratory Computer Architecture Group Meeting
Software lock elision for x86 machine code
Computer Laboratory Automated Reasoning Group Lunches
Discovery of Invariants through Automated Theory Formation
Computer Laboratory Systems Research Group Seminar
Software Bloat: A systems' perspective
Computer Laboratory Programming Research Group Seminar
Wool: low overhead work stealing for fine grain parallelism.
β οΈ Note unusual time of 2pm.
Computer Laboratory Systems Research Group Seminar
Why Johnny Can't Use the Cloud: And What We Can Do about It
Computer Laboratory Systems Research Group Seminar
Netmap: a novel framework for high speed packet I/O
Wednesday Seminars - Department of Computer Science and Technology
Probabilistic Graphical Models in Microsoft's Online Services: TrueSkill, AdPredictor, and Matchbox
Computer Laboratory Computer Architecture Group Meeting
Introducing the Computer Architecture Group
β οΈ New meeting time
Computer Laboratory Automated Reasoning Group Lunches
Zeno: An automated theorem prover for functional programs
Computer Laboratory Programming Research Group Seminar
Coeffect Systems and Typing (Preliminary report)
Computer Laboratory Systems Research Group Seminar
Our Twitter Profiles, Our Selves: Personality and Use of Language
Computer Laboratory Systems Research Group Seminar
Twitter bots
Computer Laboratory Systems Research Group Seminar
Energy-Efficiency in Cloud Computing Data Centers
Computer Laboratory Systems Research Group Seminar
A New Vision for Core Router Architectures
Computer Laboratory Systems Research Group Seminar
SociableSense: Exploring the Trade-offs of Adaptive Sampling and Computation Offloading for Social Sensing
Computer Laboratory Programming Research Group Seminar
Efficient and Correct Stencil Computations via Pattern Matching and Type Checking
Logic and Semantics Seminar (Computer Laboratory)
Parameterized Complexity of some Problems in Concurrency and Verification
Computer Laboratory Programming Research Group Seminar
Petri-nets as an Intermediate Representation for Heterogeneous Architectures
β οΈ Note unusual room
Computer Laboratory Computer Architecture Group Meeting
Experiences Creating Chromebook
β οΈ Note unusual time
Computer Laboratory Systems Research Group Seminar
Efficient Photonic Coding: a Considered Revision
Computer Laboratory Systems Research Group Seminar
Insomnia in the Access or How to Curb Access Network Related Energy Consumption
Computer Laboratory Computer Architecture Group Meeting
Threads, caches and networks in CMP systems
β οΈ Note unusual time
Computer Laboratory Computer Architecture Group Meeting
Verification of Microarchitectural Refinements in Rule-based Systems
β οΈ Note unusual time and location
Computer Laboratory Systems Research Group Seminar
Evaluation of Network Resilience and Survivability: Analysis, Simulation, Tools, and Experimentation
Computer Laboratory Computer Architecture Group Meeting
Hardware Protection for Trusted Software
β οΈ Note unusual time
Computer Laboratory Computer Architecture Group Meeting
An Energy-Efficient Patchable Accelerator For Post-Silicon Engineering Changes
Logic and Semantics Seminar (Computer Laboratory)
Parallel Assertions for Debugging Parallel Programs
Computer Laboratory Automated Reasoning Group Lunches
Nitpicking C++ Concurrency
Logic and Semantics Seminar (Computer Laboratory)
Lightweight Monadic Programming in ML
Computer Laboratory Computer Architecture Group Meeting
Implementation of ISE for the micro-threaded model in LEON3 SPARC
β οΈ Note unusual time and location
Computer Laboratory Computer Architecture Group Meeting
The Foundations of Apple-CORE:- DRISC, Microthreading and SVP
β οΈ Note unusual time and location
Computer Laboratory Computer Architecture Group Meeting
Using Processor Hardware Counters in Picking the Optimal Work-Stealing Policy
Computer Laboratory Programming Research Group Seminar
Practice talks
Computer Laboratory Systems Research Group Seminar
Exploiting Temporal Complex Network Metrics in Mobile Malware Containment
Wednesday Seminars - Department of Computer Science and Technology
Compiler Tools for MATLAB
Computer Laboratory Computer Architecture Group Meeting
RISC Instructions for Capability Acceleration
Computer Laboratory Computer Architecture Group Meeting
LiquidMetal: a unified programming language and runtime for heterogeneous platforms
Wednesday Seminars - Department of Computer Science and Technology
EXAMS - NO SEMINAR THIS WEEK
Computer Laboratory Automated Reasoning Group Lunches
Work in progress: a prototype refactoring tool based on a mechanically-verified core
Computer Laboratory Computer Architecture Group Meeting
Spatial Computation
Computer Laboratory Systems Research Group Seminar
Networks in Natural Language Processing
Wednesday Seminars - Department of Computer Science and Technology
Body Part Recognition: Making Kinect Robust
Computer Laboratory Automated Reasoning Group Lunches
How do I know my GPU or multicore floating point computations are correct?
Computer Laboratory Automated Reasoning Group Lunches
Separation Algebra
Computer Laboratory Computer Architecture Group Meeting
Kiwi HLS (high-level synthesis) - C# programs with FPGA acceleration
Computer Laboratory Systems Research Group Seminar
On the social scientific value of transactional data
Computer Laboratory Computer Architecture Group Meeting
Stream Chaining: Exploiting Multiple Levels of Correlation in Data Prefetching
Wednesday Seminars - Department of Computer Science and Technology
The Duality of State and Observation
Computer Laboratory Automated Reasoning Group Lunches
Title to be confirmed
Computer Laboratory Programming Research Group Seminar
When Monads and Comonads Overlap
β οΈ Note unusual time and room.
Logic and Semantics Seminar (Computer Laboratory)
The Complexity of #CSP
Computer Laboratory Systems Research Group Seminar
Calico: Disciplined Work-Stealing for Varying Core-Counts
Wednesday Seminars - Department of Computer Science and Technology
Kernel Methods: the Emergence of a Well-founded Machine Learning
Computer Laboratory Computer Architecture Group Meeting
The Berkeley Parallel Computing Laboratory
Computer Laboratory Programming Research Group Seminar
Interprocedural Data Flow Analysis: Resurrecting the Classical Call Strings Method
β οΈ Another unusual date/time...
Computer Laboratory Automated Reasoning Group Lunches
A verified runtime for a verified theorem prover
Computer Laboratory Systems Research Group Seminar
Revisiting delay-based TCP, and implementing 'stateless' TCP for HTTP servers
Computer Laboratory Computer Architecture Group Meeting
Link-Time Optimization for Instruction Cache Power Efficiency
Computer Laboratory Programming Research Group Seminar
Programming with Comonads and Codo Notation
β οΈ Note unusual time and place
Computer Laboratory Programming Research Group Seminar
Demystifying GCC (Or What the GCC manuals should have told you but they don't!)
β οΈ Note unusual time/day/location
Wednesday Seminars - Department of Computer Science and Technology
From deterministic finite automata to infinite games
Computer Laboratory Systems Research Group Seminar
Group Processes and Local Network Dynamics
β οΈ This talk has been cancelled.
Logic and Semantics Seminar (Computer Laboratory)
Isomorphisms of types in the presence of higher-order references
Computer Laboratory Systems Research Group Seminar
Hybrid binary rewriting for memory access instrumentation
Computer Laboratory Programming Research Group Seminar
Functional Programming for the Data Centre
β οΈ Note unusual day and time. Room GS15.
Wednesday Seminars - Department of Computer Science and Technology
Reflection on Java Security and Its Practical Impacts
β οΈ Joint with the Security seminar series
Computer Laboratory Automated Reasoning Group Lunches
Using the Cambridge ARM model to verify the concrete machine code of seL4
Wednesday Seminars - Department of Computer Science and Technology
Moose: an open platform for software analysis
Computer Laboratory Automated Reasoning Group Lunches
Introductory meeting
Computer Laboratory Computer Architecture Group Meeting
Field programmable parallel computing in signal and image processing - is application development too hard and what can be done about it?
β οΈ Note unusual time
Computer Laboratory Security Seminar
What is Software Assurance?
Logic and Semantics Seminar (Computer Laboratory)
Domination When the Stars Are Out β An algorithmization of Chudnovskyβs and Seymourβs Structure Theorem for Claw-Free Graphs
Computer Laboratory Systems Research Group Seminar
Condensing the cloud: running CIEL on many-core
Computer Laboratory Systems Research Group Seminar
CIEL: a universal execution engine for distributed data-flow computing
Wednesday Seminars - Department of Computer Science and Technology
Quantum computing -- theoretical prospects and relations to classical computation
β οΈ Note change of lecture theatre
Computer Laboratory Automated Reasoning Group Lunches
Validating QBF Validity in HOL4
Computer Laboratory Computer Architecture Group Meeting
Steps Towards a Flexible Manycore Fabric
Logic and Semantics Seminar (Computer Laboratory)
Bisimulation and Model-Checking for Partial Order Models of Concurrency
Computer Laboratory Systems Research Group Seminar
Improving Content Delivery Networks by Tracking Geographic Social Cascades
Wednesday Seminars - Department of Computer Science and Technology
Exhibition of Student Design Projects
β οΈ Note special event! Note unusual time!
Computer Laboratory Automated Reasoning Group Lunches
Heterogeneous Proofs: Spider Diagrams meet Higher-Order Provers
Computer Laboratory Computer Architecture Group Meeting
Short-Read DNA Sequence Alignment with Custom Designed FPGA-based Hardware
Computer Laboratory Systems Research Group Seminar
Promoting location privacy... one lie at a time
Wednesday Seminars - Department of Computer Science and Technology
Mobile Software Engineering - Characteristics and Challenges
Computer Laboratory Automated Reasoning Group Lunches
Rough-and-ready proof reconstruction
Computer Laboratory Computer Architecture Group Meeting
Low Power Photonic Networks for Shared Memory Computers
Logic and Semantics Seminar (Computer Laboratory)
Approximating Labelled Markov Processes by Averaging
Computer Laboratory Systems Research Group Seminar
Media landscape in Twitter: A world of new conventions and political diversity
Wednesday Seminars - Department of Computer Science and Technology
Reasoning about Software Safety Integrity and Assurance
Computer Laboratory Automated Reasoning Group Lunches
The Strategy Challenge in Computer Algebra
Computer Laboratory Computer Architecture Group Meeting
Time-Driven Switching: Principles and Implementation
Computer Laboratory Programming Research Group Seminar
Petri-nets as an Intermediate Representation for Heterogeneous Architectures
Computer Laboratory Systems Research Group Seminar
Running dynamic algorithms on static hardware
Computer Laboratory Automated Reasoning Group Lunches
Formalizing Metarouting
Logic and Semantics Seminar (Computer Laboratory)
Kleisli Arrows of Outrageous Fortune
Computer Laboratory Systems Research Group Seminar
The Microsoft .NET Gadgeteer Prototyping Platform and Home Heating Control using Occupancy Prediction
Wednesday Seminars - Department of Computer Science and Technology
In the beginning God created tensor, ... then matter, ... then speech
Computer Laboratory Computer Architecture Group Meeting
Predictive Models for Microarchitectural Adaptation
Computer Laboratory Systems Research Group Seminar
Mathematical models of rumour spreading in complex social networks
Wednesday Seminars - Department of Computer Science and Technology
Efficient Network-wide Flow Record Generation
Computer Laboratory Automated Reasoning Group Lunches
Quantifier Heuristics in HOL4
Logic and Semantics Seminar (Computer Laboratory)
Selection functions everywhere
Computer Laboratory Systems Research Group Seminar
Query Planning in Data Streaming
Wednesday Seminars - Department of Computer Science and Technology
Challenging Computer Science Problems at Ocado
Computer Laboratory Programming Research Group Seminar
Joinads: a retargetable control-flow construct for reactive, parallel and concurrent programming
Logic and Semantics Seminar (Computer Laboratory)
Modular Reasoning for Deterministic Parallelism
Computer Laboratory Systems Research Group Seminar
Virtualisation in the Network
Computer Laboratory Programming Research Group Seminar
Specification, Implementation and Verification of Refactorings
β οΈ Note: Thursday not Friday.
Computer Laboratory Computer Architecture Group Meeting
Building an 18 core ARM chip multiprocessor for neuronal simulation
β οΈ Room changed, Note unusual time
Computer Laboratory Programming Research Group Seminar
Idris --- Systems Programming Meets Full Dependent Types
β οΈ Note: Unusual time and date.
Wednesday Seminars - Department of Computer Science and Technology
Implementing a Distributed Event Processing Network
Computer Laboratory Automated Reasoning Group Lunches
Introductory meeting
Computer Laboratory Programming Research Group Seminar
Pluggable Type System with Optional Runtime Monitoring of Type Errors
Computer Laboratory Systems Research Group Seminar
Is Content Publishing in BitTorrent Altruistic or Profit-Driven?
Computer Laboratory Systems Research Group Seminar
Toward Power-aware Networking
Computer Laboratory Programming Research Group Seminar
QuickSpec -- Guessing Formal Specifications using Testing
Computer Laboratory Automated Reasoning Group Lunches
Evaluating Formulas on Graphs
Computer Laboratory Systems Research Group Seminar
The CamCube project: Rethinking the data center cluster
Computer Laboratory Automated Reasoning Group Lunches
First prototype of an Isabelle/HOL-to-LeoII interface
Computer Laboratory Computer Architecture Group Meeting
The RLOC is Dead -- Long Live the RLOC
Computer Laboratory Systems Research Group Seminar
Mining Public Transport Usage for Personalised Intelligent Transport Systems
Logic and Semantics Seminar (Computer Laboratory)
Automatic reduction of differential semantics for protein-protein interaction networks, by abstract interpretation
Computer Laboratory Systems Research Group Seminar
Workshop on the Future of Social Networking: Experts from Industry and Academia
Wednesday Seminars - Department of Computer Science and Technology
Detecting Network Traffic Anomalies
Computer Laboratory Automated Reasoning Group Lunches
Mirage
Computer Laboratory Systems Research Group Seminar
Bridging the Gap between Theory and Practice of Internet Routing
Wednesday Seminars - Department of Computer Science and Technology
What is happening now? Finding events in Massive Message Streams
Computer Laboratory Automated Reasoning Group Lunches
A Formalisation of the Myhill-Nerode Theorem based on Regular Expressions
Logic and Semantics Seminar (Computer Laboratory)
Towards Automatic Resource Consumption Certification
β οΈ Note unusual time (11am) and room (SS03)
Computer Laboratory Systems Research Group Seminar
Recommending Social Events from Mobile Phone Location Data
Wednesday Seminars - Department of Computer Science and Technology
A Look Into Youtube - The World's Largest Video Site
Computer Laboratory Automated Reasoning Group Lunches
Formal Verification of Analog Designs using MetiTarski
Logic and Semantics Seminar (Computer Laboratory)
A Framework for Incremental Modelling and Verification of On-Chip Protocols and Its Application to PCI Express
β οΈ Note the unusual time (13:00)
Computer Laboratory Systems Research Group Seminar
Multi-relational Organization of Large-scale Social Networks in an Online World
Computer Laboratory Automated Reasoning Group Lunches
Bit-blasting in HOL4
Computer Laboratory Systems Research Group Seminar
Understanding Cyberattack as an Instrument of U.S. Policy
Computer Laboratory Programming Research Group Seminar
Performance-portable Programming Abstraction for Image Processing
Computer Laboratory Systems Research Group Seminar
Discrete Gene Regulatory Networks: A novel approach to configuring sensor network operation
Wednesday Seminars - Department of Computer Science and Technology
A Survey of Classical and Real-Time Verification
Computer Laboratory Automated Reasoning Group Lunches
A Simple and Efficient Memory Model for Concurrent Programming Languages
Computer Laboratory Systems Research Group Seminar
Routing in Equilibrium
Wednesday Seminars - Department of Computer Science and Technology
Test Generation and Fault Localization for Web Applications
Wednesday Seminars - Department of Computer Science and Technology
Hierarchies, Lowerarchies, Anarchies, and Plutarchies: Historical Perspectives of Composably Layered High-Assurance Architectures
β οΈ Note unusual time and day (and LT2)
Computer Laboratory Automated Reasoning Group Lunches
Schedulability analysis of embedded real-time Java
Computer Laboratory Computer Architecture Group Meeting
Welcome meeting
Computer Laboratory Programming Research Group Seminar
Extracting the Semantic Signature of Malware, Metamorphic Viruses and Worms
Computer Laboratory Systems Research Group Seminar
Adapting and assembling components using Cake, a language of interface relations
Wednesday Seminars - Department of Computer Science and Technology
Multi-Target Data-Parallel Programming with Accelerator for GPUs, Multicore Processors and FPGAs
Computer Laboratory Automated Reasoning Group Lunches
Introductory meeting
Computer Laboratory Systems Research Group Seminar
A mobile context monitoring platform for PAN-scale dynamic mobile computing environments
Computer Laboratory Systems Research Group Seminar
Predicting Faults in Heterogeneous, Federated Distributed Systems
Computer Laboratory Systems Research Group Seminar
Talk1: EmotionSense: A Mobile Phones based Adaptive Platform for Experimental Social Psychology Research, Talk2: Energy-Accuracy Trade-offs in Querying Sensor Data for Continuous Sensing Mobile Systems
Computer Laboratory Programming Research Group Seminar
Analysis, Synchronization and Scheduling Challenges in X10
Logic and Semantics Seminar (Computer Laboratory)
Characterizations of the Expressive Power of Logics over Trees
Computer Laboratory Systems Research Group Seminar
Towards deeply publish/subscribe-based Web
Computer Laboratory Programming Research Group Seminar
Offloading Java to Graphics Processors
β οΈ Please note unusal time/place
Computer Laboratory Systems Research Group Seminar
Clouds on the Horizon: Challenges in Building the Next Generation of Computing Infrastructure
Computer Laboratory Systems Research Group Seminar
Digital Moon and the Challenges of Whole Planet Modeling
Computer Laboratory Programming Research Group Seminar
Estimating and Exploiting Potential Parallelism by Source-level Dependence Profiling
Concurrency and Communication: Lessons from the SHIM Project
β οΈ (Re-run of talk given at MSR two weeks ago)
Computer Laboratory Computer Architecture Group Meeting
Concurrency and Communication: Lessons from the SHIM Project
β οΈ (Re-run of talk given at MSR two weeks ago)
Computer Laboratory Systems Research Group Seminar
Programming models for the Barrelfish multi-kernel operating system
Wednesday Seminars - Department of Computer Science and Technology
Some Uses of Hashing in Networking Problems
Computer Laboratory Systems Research Group Seminar
A Spark in the Cloud: Iterative and Interactive Cluster Computing
Computer Laboratory Programming Research Group Seminar
Supercompilation by evaluation
Computer Laboratory Systems Research Group Seminar
Sending software to space: a bundle of fun
Computer Laboratory Systems Research Group Seminar
Beyond The Digital Delusion: A Case for Lossy Preservation
Computer Laboratory Automated Reasoning Group Lunches
A Mechanically Verified AIG-to-BDD Conversion Algorithm
Computer Laboratory Systems Research Group Seminar
From Herding Sheep to Herding Cats: Balancing Compliance and Innovation in the Modular Age of the Internet
Computer Laboratory Systems Research Group Seminar
A Socratic method for validation of measurement-based networking research
Computer Laboratory Systems Research Group Seminar
Seamless Clock Synchronization under Migration
Computer Laboratory Systems Research Group Seminar
DEFCon: High-Performance Event Processing with Information Security
Computer Laboratory Systems Research Group Seminar
PSIRP: Information-centric Networking
Computer Laboratory Computer Architecture Group Meeting
Enabling Runtime Monitoring on Multicores for Performance and Reliability
Wednesday Seminars - Department of Computer Science and Technology
Executable Strategies for Cellular Decision Making
Computer Laboratory Automated Reasoning Group Lunches
General Binding in Nominal Isabelle 2
Computer Laboratory Systems Research Group Seminar
Anzere: replication policy scaling for personal storage networks
Mini Courses in Theoretical Computer Science
Mini course on proof theory (Part 3)
Mini Courses in Theoretical Computer Science
Mini course on proof theory (Part 2)
Computer Laboratory Programming Research Group Seminar
Functional programming with monads combined with comonads
Wednesday Seminars - Department of Computer Science and Technology
EXAMS
β οΈ No Wednesday Seminar due to Exams!
Computer Laboratory Programming Research Group Seminar
System Tests from Unit Tests
Computer Laboratory Automated Reasoning Group Lunches
Validating QBF Invalidity in HOL4
Mini Courses in Theoretical Computer Science
Mini course on proof theory (Part 1)
Computer Laboratory Systems Research Group Seminar
NetSci Conference - Discussion
Wednesday Seminars - Department of Computer Science and Technology
Dynamical Grammars for Galaxy Image Recognition
Computer Laboratory Systems Research Group Seminar
From RPC to Web Apps: Trends in Client-Server Systems
Computer Laboratory Automated Reasoning Group Lunches
Local Reasoning about While-Loops
Logic and Semantics Seminar (Computer Laboratory)
Scalars & probabilities, monads & categories
Computer Laboratory Systems Research Group Seminar
Selective Reprogramming in Wireless Sensor Networks
Category Theory Seminar
The Scott model of Linear Logic is the extensional collapse of its relational model
Wednesday Seminars - Department of Computer Science and Technology
Statistical problems in complex networks
Computer Laboratory Automated Reasoning Group Lunches
Verification of a copying garbage collector
Logic and Semantics Seminar (Computer Laboratory)
Algebraic Theories over Nominal Sets
Computer Laboratory Systems Research Group Seminar
A Heuristic and Hybrid Hash-based Approach to Fast Lookup
Computer Laboratory Systems Research Group Seminar
EndRE: An End-System Redundancy Elimination Service for Enterprise Traffic
Wednesday Seminars - Department of Computer Science and Technology
Privacy in Advertising: Not all Adware is Badware
β οΈ Rescheduled from April 21.
Computer Laboratory Automated Reasoning Group Lunches
Title to be confirmed
β οΈ Canceled because of date clash with HCSS and workshop at MSR
Computer Laboratory Systems Research Group Seminar
Experiences of Designing and Deploying Intelligent Sensor Nodes in Construction Sites
Wednesday Seminars - Department of Computer Science and Technology
NO SEMINAR THIS WEEK
Computer Laboratory Automated Reasoning Group Lunches
Formal models of ARM processors in HOL
β οΈ Presenters: Mike Gordon and Anthony Fox / This is a rehearsal of our HCSS talk on May 11
Computer Laboratory Systems Research Group Seminar
Detecting Temporal Sybil Attacks
Wednesday Seminars - Department of Computer Science and Technology
From Separation Logic to Systems Code
Computer Laboratory Automated Reasoning Group Lunches
From Counter Abstraction to Thread-State Cutoffs: New Techniques for Multi-Threaded Program Verification
Wednesday Seminars - Department of Computer Science and Technology
Privacy in Advertising: Not all Adware is Badware
Computer Laboratory Systems Research Group Seminar
Operational Refinement of Image Processing (ORIP)
Computer Laboratory Automated Reasoning Group Lunches
Introductory Meeting
Logic and Semantics Seminar (Computer Laboratory)
Declassification Policy Inference
Computer Laboratory Systems Research Group Seminar
Performance Monitoring in Service Provider Networks
Computer Laboratory Programming Research Group Seminar
Adventures in XML updates
Computer Laboratory Systems Research Group Seminar
An information-centric transport protocol
Computer Laboratory Automated Reasoning Group Lunches
Formal Verification of Analog and Mixed Signal Designs
Logic and Semantics Seminar (Computer Laboratory)
Undecidability of propositional separation logic and its neighbours
Computer Laboratory Systems Research Group Seminar
How Google Tests Software
Wednesday Seminars - Department of Computer Science and Technology
Aura: A Programming Language with Authorization and Audit
Computer Laboratory Automated Reasoning Group Lunches
Interfacing two similar HOLs
Computer Laboratory Systems Research Group Seminar
Detecting Sybil attacks and recommending social contacts from proximity records
Wednesday Seminars - Department of Computer Science and Technology
Exhibition of Student Design Projects
β οΈ Note special event! Note unusual time!
Computer Laboratory Automated Reasoning Group Lunches
Integration of SMT Solvers with ITPs - There and Back Again
Computer Laboratory Systems Research Group Seminar
BlogLearn: A Framework for Analytics over Corporate Blogs
Computer Laboratory Systems Research Group Seminar
Dynamic Filtering: Multi-Purpose Architecture Support for Language Runtime Systems
Wednesday Seminars - Department of Computer Science and Technology
Generic Programming
Computer Laboratory Automated Reasoning Group Lunches
Verification of Multicast Protocols
Computer Laboratory Systems Research Group Seminar
Using Program Behaviour to Exploit Heterogeneous Multi-Core Architectures
Wednesday Seminars - Department of Computer Science and Technology
Proving that programs eventually do something good
Computer Laboratory Automated Reasoning Group Lunches
A New Version of Nominal Isabelle
Computer Laboratory Programming Research Group Seminar
Haskell Type Constraints Unleashed
Computer Laboratory Systems Research Group Seminar
Building & running your own web 2.0 service: experience from a local startup
Wednesday Seminars - Department of Computer Science and Technology
Third Generation Machine Intelligence
Computer Laboratory Systems Research Group Seminar
Separating inter-domain routing and forwarding
Wednesday Seminars - Department of Computer Science and Technology
Automated Experimentation: Beyond Deployment and Execution
Computer Laboratory Systems Research Group Seminar
Routing Fairness in Chord: Analysis and Enhancement
β οΈ Due to a flight delay, the speaker is still in Madrid. Unfortunately, we therefore need to cancel this talk.
Wednesday Seminars - Department of Computer Science and Technology
Graphical Reasoning in Symmetric Monoidal Categories
Computer Laboratory Automated Reasoning Group Lunches
Holfoot - A separation logic tools inside HOL 4
Computer Laboratory Systems Research Group Seminar
Optical Communications for Data Centres and High Performance Computing
Computer Laboratory Systems Research Group Seminar
Community detection algorithms: a comparative analysis
Wednesday Seminars - Department of Computer Science and Technology
Models of large-scale real-life networks
Computer Laboratory Automated Reasoning Group Lunches
Introductory meeting
Logic and Semantics Seminar (Computer Laboratory)
Automatic Analysis of Scratch-pad Memory Code for Heterogeneous Multicore Processors
Computer Laboratory Systems Research Group Seminar
Bringing network coding into the network
Computer Laboratory Computer Architecture Group Meeting
Accelerator: A data-parallel DSL for programming heterogonous systems
Wednesday Seminars - Department of Computer Science and Technology
Multipath TCP
Computer Laboratory Systems Research Group Seminar
A Bit of Network Information Theory
β οΈ This talk is cancelled - due to the recent heavy snow, the speaker could not travel.
Computer Laboratory Programming Research Group Seminar
Optimizing sparse vector-matrix multiplication on GPUs
Computer Laboratory Automated Reasoning Group Lunches
Verified just-in-time compiler on x86
β οΈ Notice changed date
Computer Laboratory Systems Research Group Seminar
Coded Wireless Video Broadcast/Multicast - A Framework To Harvest The True Potential Of 4G Access Networks
Computer Laboratory Programming Research Group Seminar
(CANCELLED) Google's Go Programming Language
Computer Laboratory Systems Research Group Seminar
Security Architectures for Distributed Social Networks
Wednesday Seminars - Department of Computer Science and Technology
Performance Comparisons of Hard Logic, Programmable Soft Logic, and Instruction Set Architectures
β οΈ Note unusual out of term date.
Logic and Semantics Seminar (Computer Laboratory)
The Hybrid Systems Jigsaw: Bringing Together Computer Science, Dynamical Systems and Control Engineering.
Wednesday Seminars - Department of Computer Science and Technology
A POPLmark retrospective: Using proof assistants in programming language research
β οΈ Note change of speaker!
Computer Laboratory Automated Reasoning Group Lunches
jStar: Towards Practical Verification for Java
Computer Laboratory Programming Research Group Seminar
Alore: Making dynamic languages simpler
Logic and Semantics Seminar (Computer Laboratory)
The Microcosm Principle and Coalgebraic Modeling of Component Calculi
Wednesday Seminars - Department of Computer Science and Technology
Elements of a Networked Urbanism
Computer Laboratory Automated Reasoning Group Lunches
New tools in HOL 4 - Consequence Conversions, Quantifier Heuristics, Styles
β οΈ Notice change of speaker
Computer Laboratory Programming Research Group Seminar
Ypnos: Declarative, Parallel Structured Grid Programming
Computer Laboratory Systems Research Group Seminar
Internet Optometry: Assessing the Broken Glasses in Internet Reachability
Wednesday Seminars - Department of Computer Science and Technology
Insights from Expert Software Design Practice
Computer Laboratory Automated Reasoning Group Lunches
SMT Solvers: New Oracles for the HOL Theorem Prover
Computer Laboratory Systems Research Group Seminar
Saving the world, one handset at a time
β οΈ Note later start time
Computer Laboratory Computer Architecture Group Meeting
Massively Parallel Processor Array: an FPGA Replacement?
Wednesday Seminars - Department of Computer Science and Technology
On Quantitative Software Verification
Computer Laboratory Automated Reasoning Group Lunches
Abstract Threads
β οΈ th orginally sheduled talk by Thomas Tuerk will probably be given next term
Computer Laboratory Computer Architecture Group Meeting
Computer System Emulation using Multiple FPGAs
Wednesday Seminars - Department of Computer Science and Technology
Serializability Enforcement for Concurrent ML
Computer Laboratory Systems Research Group Seminar
Microeconomic Modeling of Incentives for Managed Overlays
Computer Laboratory Systems Research Group Seminar
Content Centric Networking
Wednesday Seminars - Department of Computer Science and Technology
Aggregated Security Monitoring in 10GB networks
Logic and Semantics Seminar (Computer Laboratory)
A Theory of Indirection via Approximation
Computer Laboratory Automated Reasoning Group Lunches
A formal system for Euclidean diagrammatic reasoning
Computer Laboratory Programming Research Group Seminar
Informal Tutorial: Haskell's Type Classes and Type Families
Computer Laboratory Systems Research Group Seminar
A Dirty-slate Approach to Routing Scalability
Wednesday Seminars - Department of Computer Science and Technology
Pushing JavaScript Performance
Computer Laboratory Automated Reasoning Group Lunches
Owicki-Gries, Thread-Modular Model-Checking, Cartesian Abstraction
Computer Laboratory Systems Research Group Seminar
Triangular clustering in document networks
Wednesday Seminars - Department of Computer Science and Technology
Reaching Out: how to engage young people with computer science
β οΈ Warning: the talk will include loud bangs.
Computer Laboratory Automated Reasoning Group Lunches
High-Assurance(?) High-Frequency Trading
Computer Laboratory Systems Research Group Seminar
Motivating Future Interconnects: A Differential Measurement Analysis of PCI Latency
Wednesday Seminars - Department of Computer Science and Technology
Scalable Ontology-Based Information Systems
Computer Laboratory Automated Reasoning Group Lunches
Introductory meeting
Computer Laboratory Systems Research Group Seminar
The Multikernel: A new OS architecture for scalable multicore systems
Logic and Semantics Seminar (Computer Laboratory)
NO LOGIC AND SEMANTICS SEMINAR TODAY
β οΈ FW11 FW26 not available today
Computer Laboratory Systems Research Group Seminar
RouteBricks: Exploiting Parallelism to Scale Software Routers
Computer Laboratory Systems Research Group Seminar
TDMA For Long Distance Wireless Networks
Computer Laboratory Systems Research Group Seminar
QFQ: Efficient Packet Scheduling with Tight Service Guarantees
Logic and Semantics Seminar (Computer Laboratory)
A Canonical Local Representation of Binding
Computer Laboratory Systems Research Group Seminar
FreeBSD support for Stanford NetFPGA
Computer Laboratory Systems Research Group Seminar
Addressing the Scalability of Ethernet with MOOSE
Computer Laboratory Systems Research Group Seminar
Mini-Course on Structure and Dynamics of Complex Networks
Computer Laboratory Computer Architecture Group Meeting
PWRficient Techniques for Today & Questions for Tomorrow
β οΈ Note unusual time
Computer Laboratory Automated Reasoning Group Lunches
Verified LISP implementations on ARM, x86 and PowerPC / A HOL Formalisation of Smallfoot
Computer Laboratory Automated Reasoning Group Lunches
Why you can't even trust HOL, and what to do about it
Wednesday Seminars - Department of Computer Science and Technology
Reflections on merging the digital and the physical
β οΈ Note unusual time
Computer Laboratory Programming Research Group Seminar
Intelligent Thread-Level Speculation
Computer Laboratory Systems Research Group Seminar
SIGCOMM 2009 Keynote Talk: Internet of Ideas
Computer Laboratory Systems Research Group Seminar
A Queue with Multiple Stable Regions
Wednesday Seminars - Department of Computer Science and Technology
Evolving a language in and for the real world
β οΈ 800th Anniversary of Cambridge Univ. talk
Computer Laboratory Systems Research Group Seminar
Ethernet Evolution from 1990 to Today
Computer Laboratory Programming Research Group Seminar
Monadic Constraint Programming
Wednesday Seminars - Department of Computer Science and Technology
Toward Energy-efficient Computing
β οΈ 800th Anniversary of Cambridge Univ. talk/Note unusual time
Wednesday Seminars - Department of Computer Science and Technology
What can sequent calculus do for functional programs?
Computer Laboratory Systems Research Group Seminar
Observed Relationships between Size Measures of the Internet or Is the Internet really just a star network after all?
Computer Laboratory Systems Research Group Seminar
Biowire Workshop (Day 2/2)
Computer Laboratory Systems Research Group Seminar
Biowire Workshop (Day 1/2)
Wednesday Seminars - Department of Computer Science and Technology
Concurrency Through the Ages
β οΈ 800th Anniversary of Cambridge Univ. talk
Computer Laboratory Systems Research Group Seminar
Stochastic Networks Workshop
Computer Laboratory Systems Research Group Seminar
Crowdsourcing Network Monitoring
Computer Laboratory Programming Research Group Seminar
Optimizing Dynamically Updateable Programs
Logic and Semantics Seminar (Computer Laboratory)
Explicit Stabilisation for Rely-Guarantee reasoning
Computer Laboratory Systems Research Group Seminar
Baggy Bounds Checking: An Efficient and Backwards-Compatible Defense against Out-of-Bounds Errors
Computer Laboratory Computer Architecture Group Meeting
A Photonic Chip-to-chip Network for C3D
Computer Laboratory Systems Research Group Seminar
Mobile Agent Electronic Triage Tag
Wednesday Seminars - Department of Computer Science and Technology
No Wednesday Seminar today!
Computer Laboratory Automated Reasoning Group Lunches
Solving HOL problems using FOL tools
Computer Laboratory Programming Research Group Seminar
Studying task-level parallelism in C programs using Embla (work in progress)
Logic and Semantics Seminar (Computer Laboratory)
Inductive-recursive definitions
Computer Laboratory Systems Research Group Seminar
Online Social Networks and Applications: a Measurement Perspective
Computer Laboratory Systems Research Group Seminar
The many uses of write off-loading
Computer Laboratory Computer Architecture Group Meeting
A Communication Characterization of Splash-2 and Parsec
Wednesday Seminars - Department of Computer Science and Technology
The 10 Cultures Problem
β οΈ 800th Anniversary of Cambridge Univ. talk
Logic and Semantics Seminar (Computer Laboratory)
Safety of program transformations in shared-memory concurrency
β οΈ NOTE UNUSUAL DAY AND TIME. There are two seminars this week, one on Wednesday, one on Friday.
Computer Laboratory Automated Reasoning Group Lunches
Verifying Flash Device Drivers
Computer Laboratory Programming Research Group Seminar
Types are calling conventions
Wednesday Seminars - Department of Computer Science and Technology
Computational Creativity: A Different Future for AI Research
Computer Laboratory Systems Research Group Seminar
ClackPointSocial: Audio/Video Collaboration for OpenSocial
Computer Laboratory Programming Research Group Seminar
Dictionaries: lazy or strict type class witnesses?
Computer Laboratory Systems Research Group Seminar
PeerSoN: Privacy-Preserving P2P Social Networks
Wednesday Seminars - Department of Computer Science and Technology
Model-Based Design: a New Landscape for Embedded Systems Development
Computer Laboratory Automated Reasoning Group Lunches
Automatic Reverse Engineering for Formal Verification
Logic and Semantics Seminar (Computer Laboratory)
Focalisation and Classical Realisability
Computer Laboratory Systems Research Group Seminar
Systematic Testing for Dynamically Updatable Software
Computer Laboratory Computer Architecture Group Meeting
Flow-Aware Allocation for On-Chip Networks
β οΈ Note unusual time and venue
Wednesday Seminars - Department of Computer Science and Technology
Inventing the User: EDSAC in context
β οΈ EDSAC 60th Anniversary talk/800th Anniversary of Cambridge Univ. talk/Note unusual time (Talk followed by Drinks Reception at 17:00)
Computer Laboratory Automated Reasoning Group Lunches
Free to a good home: an advertisement for the "new" HOL4 theories of probability, integration, and information. / A Heap of Problems
Computer Laboratory Programming Research Group Seminar
Cake: a language for adapting and linking mismatched binary components
Wednesday Seminars - Department of Computer Science and Technology
Accounting for User Behaviour in Security
Computer Laboratory Automated Reasoning Group Lunches
Mechanically Proving Hoare Formulae
Computer Laboratory Programming Research Group Seminar
Beginning of term introductory meeting
Logic and Semantics Seminar (Computer Laboratory)
TALK CANCELLED: An overview of structural corecursion
β οΈ THIS TALK HAS BEEN POSTPONED. We hope to reschedule for later in the term.
Wednesday Seminars - Department of Computer Science and Technology
"Re-architecting Internet capacity sharing" aka "Putting far-reaching Cambridge research into practice"
Computer Laboratory Automated Reasoning Group Lunches
Introductory Meeting
Computer Laboratory Computer Architecture Group Meeting
Parallel External Memory Model for Multicore Architectures
Computer Laboratory Systems Research Group Seminar
Delivery Properties of Human Social Networks
Computer Laboratory Automated Reasoning Group Lunches
Formal Verification of Centaur Technology's X86-Compatible Media Unit
Computer Laboratory Programming Research Group Seminar
Enhancing Verilog
Computer Laboratory Systems Research Group Seminar
A Runtime System for Software Lock Elision
Computer Laboratory Systems Research Group Seminar
Pointless Tainting? Evaluating the practicality of pointer tainting
Computer Laboratory Systems Research Group Seminar
Hybrid DTN-MANET routing in Highly Dynamic Ad-hoc networks
Computer Laboratory Programming Research Group Seminar
Type (re)construction from values
Logic and Semantics Seminar (Computer Laboratory)
Structurally Recursive Descent Parsing
Computer Laboratory Systems Research Group Seminar
ROAR: Increasing the Flexibility and Performance of Distributed Search
Computer Laboratory Automated Reasoning Group Lunches
A Verifiable, Executable SLR Parser
Computer Laboratory Automated Reasoning Group Lunches
A Theory of Type-directed Coercion Insertion
β οΈ Note change of date
Computer Laboratory Programming Research Group Seminar
Interoperation of Lucid's Dataflow paradigm and Object-orientation with a Coalgebraic Semantics
Computer Laboratory Systems Research Group Seminar
Juggling with IPTV⦠or A GMPLS infrastructure for a better multicast IPTV network
Wednesday Seminars - Department of Computer Science and Technology
Correctness by Construction of High-Integrity Software
Computer Laboratory Automated Reasoning Group Lunches
Semantics Lunch
β οΈ Canceled, semantics lunch instead
Computer Laboratory Programming Research Group Seminar
Painless Parse Errors
Logic and Semantics Seminar (Computer Laboratory)
Deciding Boolean BI (via Display Logic)
Computer Laboratory Systems Research Group Seminar
Securing Virtual Machine Monitors: What is Needed?
Wednesday Seminars - Department of Computer Science and Technology
Collective Intelligence Techniques for Pervasive Computing
Computer Laboratory Systems Research Group Seminar
Persistent Content-based Information Dissemination in Hybrid Vehicular Networks
Computer Laboratory Automated Reasoning Group Lunches
Modular verification of concurrent programs with heap
β οΈ Mike Hick's talk moved to the 17th of March
Computer Laboratory Programming Research Group Seminar
Designing Languages to Aid Verification
Computer Laboratory Systems Research Group Seminar
Wireless Networks: Overcoming the Challenges, Leveraging the Opportunities
Wednesday Seminars - Department of Computer Science and Technology
Balancing the expected and the surprising in geometric patterns: an investigation inspired by Bridget Riley's early Op art
Computer Laboratory Automated Reasoning Group Lunches
Formal power series in Isabelle/HOL
Logic and Semantics Seminar (Computer Laboratory)
A game for a neutral approach to provability in MALL
Computer Laboratory Systems Research Group Seminar
IRONModel: robust performance models in the wild
Wednesday Seminars - Department of Computer Science and Technology
Privacy and HCISec: Notes From The Front
Computer Laboratory Automated Reasoning Group Lunches
RGSep action inference
Computer Laboratory Programming Research Group Seminar
Programming for Mamba
β οΈ Possibly shorter with more time for discussion
Computer Laboratory Computer Architecture Group Meeting
FPGA's NoC Freedom: You bought it, so why not use it
β οΈ Note unusual time and day
Computer Laboratory Systems Research Group Seminar
Wedge: Splitting Applications into Reduced-Privilege Compartments
Wednesday Seminars - Department of Computer Science and Technology
Modelling Quality Properties of Systems
Computer Laboratory Automated Reasoning Group Lunches
Verifying Distributed Systems: the Operational Approach
Logic and Semantics Seminar (Computer Laboratory)
Equideductive logic and CCCs with subspaces
β οΈ NOTE UNUSUAL DAY.
Mini Courses in Theoretical Computer Science
Call-by-push-value (part 2)
β οΈ This is the second part of a two-part series
Wednesday Seminars - Department of Computer Science and Technology
IPv6: the basics
Mini Courses in Theoretical Computer Science
Call-by-push-value (part 1)
β οΈ This is the first part of a two-part series. Part 2 is on Wed 4th Feb.
Computer Laboratory Automated Reasoning Group Lunches
Finite Model Generation, Proof-Producing SAT Solvers, and SMT
Computer Laboratory Programming Research Group Seminar
Deriving efficient data movement from decoupled Access/Execute specifications
Logic and Semantics Seminar (Computer Laboratory)
Nondeterminism: many questions and (maybe) some answers
Computer Laboratory Systems Research Group Seminar
How to do a Systems PhD
Wednesday Seminars - Department of Computer Science and Technology
A Framework for the Analysis of Mix-Based Steganographic File Systems
Computer Laboratory Automated Reasoning Group Lunches
A HOL Formalisation of Smallfoot
Wednesday Seminars - Department of Computer Science and Technology
Structured Hidden Markov Model: A General Tool for Analysing Sequential data
Computer Laboratory Automated Reasoning Group Lunches
Title to be confirmed
β οΈ Canceled because of POPL
Wednesday Seminars - Department of Computer Science and Technology
Statistical Parsing of Natural Language with Lexicalised Grammars
Computer Laboratory Automated Reasoning Group Lunches
Introductory Meeting
Computer Laboratory Systems Research Group Seminar
DryadLINQ: distributed data-parallel computing using a high-level language
Computer Laboratory Systems Research Group Seminar
Deadlock Immunity: Teaching Systems How To Defend Against Deadlocks
Wednesday Seminars - Department of Computer Science and Technology
Second-Order Quantifier Elimination
Computer Laboratory Automated Reasoning Group Lunches
An ACL2 Tutorial
Logic and Semantics Seminar (Computer Laboratory)
Dynamics, robustness and fragility of trust
β οΈ NOTE THE UNUSUAL TIME
Computer Laboratory Systems Research Group Seminar
Inter-domain rendezvous
Wednesday Seminars - Department of Computer Science and Technology
MetiTarski: An Automatic Theorem Prover for Real-Valued Special Functions
Computer Laboratory Automated Reasoning Group Lunches
The Semantics of x86-CC Multiprocessor Machine Code
Computer Laboratory Programming Research Group Seminar
Haskell is Not Not ML
Logic and Semantics Seminar (Computer Laboratory)
Polynomial functors
Computer Laboratory Systems Research Group Seminar
Spread-Spectrum Computation
Computer Laboratory Computer Architecture Group Meeting
Optical Interconnect - Tutorial and Initial Thoughts
Wednesday Seminars - Department of Computer Science and Technology
Robust Networks
Computer Laboratory Automated Reasoning Group Lunches
Techniques for Symbolic Complexity Bounds
Computer Laboratory Programming Research Group Seminar
Limits of parallelism using Dynamic Dependency Graphs
Computer Laboratory Systems Research Group Seminar
Using Fair DHTs for Location Aware Service Discovery
Wednesday Seminars - Department of Computer Science and Technology
Defending Networked Resources Against Floods of Unwelcome Requests
Computer Laboratory Automated Reasoning Group Lunches
Mechanically verified LISP interpreters
β οΈ Note unusual time
Computer Laboratory Programming Research Group Seminar
Work in progress on visual programming languages
Computer Laboratory Systems Research Group Seminar
Optimal probing for packet networks through Design of Experiments for Markov Chains
β οΈ Contact Andrew Moore (awm22) if you want to chat with Ben prior to the talk.
Logic and Semantics Seminar (Computer Laboratory)
Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types
Wednesday Seminars - Department of Computer Science and Technology
The Manticore project
Computer Laboratory Automated Reasoning Group Lunches
Proving recursive programs terminating
Computer Laboratory Programming Research Group Seminar
Towards programming Safety Critical Systems in Java
Computer Laboratory Systems Research Group Seminar
Sensing, Understanding and Modelling People using Mobile Phones
Computer Laboratory Programming Research Group Seminar
A practical approach to Domain Specific Language development
β οΈ Note change of speaker/topic
Wednesday Seminars - Department of Computer Science and Technology
How to Protect your Data by Eliminating Trusted Storage Infrastructure
Computer Laboratory Automated Reasoning Group Lunches
Towards Automatic Stability Analysis for Rely-Guarantee Proofs
Computer Laboratory Programming Research Group Seminar
Logical Testing: Hoare-style Specification Meets Executable Validation
Computer Laboratory Systems Research Group Seminar
Usage of FPGA for Passive Network Monitoring
Wednesday Seminars - Department of Computer Science and Technology
Forensic Genomics:Kin Privacy, Driftnets and Other Open Questions
Computer Laboratory Automated Reasoning Group Lunches
The Mechanical Formalization of Measure, Integration and Probability
Computer Laboratory Programming Research Group Seminar
Dynamic loaded compiler plugins for the Glasgow Haskell Compiler
Logic and Semantics Seminar (Computer Laboratory)
NO LOGIC AND SEMANTICS SEMINAR TODAY
Computer Laboratory Systems Research Group Seminar
Can I be your disruption-tolerant friend?
Wednesday Seminars - Department of Computer Science and Technology
Practical Dynamic Software Updating for C
Computer Laboratory Automated Reasoning Group Lunches
Applications of MetiTarski in the Verification of Control and Hybrid Systems
Wednesday Seminars - Department of Computer Science and Technology
Design, Compilation and Runtime Solutions for Energy-Efficient Microprocessors
β οΈ Note unusual date and time
Computer Laboratory Computer Architecture Group Meeting
Design, Compilation and Runtime Solutions for Energy-Efficient Microprocessors
β οΈ Please note unusual venue, date and time
Computer Laboratory Programming Research Group Seminar
Planning meeting and welcome
Logic and Semantics Seminar (Computer Laboratory)
Classical BI (A Logic for Reasoning About Dualising Resource)
Computer Laboratory Systems Research Group Seminar
On Low Dimensional Random Projections and Similarity Search
Computer Laboratory Computer Architecture Group Meeting
Hardware multithreading
Wednesday Seminars - Department of Computer Science and Technology
Content Distribution based on Social Swarming
Computer Laboratory Automated Reasoning Group Lunches
Introductory Meeting
Computer Laboratory Computer Architecture Group Meeting
BEE3: Revitalizing Computer Architecture Research
β οΈ Note unusual time and location
Computer Laboratory Systems Research Group Seminar
Geosensor Networks: State of the Art
Logic and Semantics Seminar (Computer Laboratory)
Nominal terms and one-and-a-half level Curry-Howard
Computer Laboratory Computer Architecture Group Meeting
Two generations of Many-Core Computational Arrays
β οΈ Note unusual time
Computer Laboratory Automated Reasoning Group Lunches
Formal Methods for Critical Systems
Computer Laboratory Automated Reasoning Group Lunches
Diagrammatic Reasoning in Separation Logic
Computer Laboratory Systems Research Group Seminar
Mobicom Rehearsal Day
Computer Laboratory Computer Architecture Group Meeting
G: A high-level packet processing language with a high-speed FPGA-based implementation
β οΈ Note unusual day and time
Wednesday Seminars - Department of Computer Science and Technology
STRUCTURE AND DYNAMICS IN COMPLEX SYSTEMS
Computer Laboratory Systems Research Group Seminar
A talk about XenoTiny
Computer Laboratory Systems Research Group Seminar
Entropy Rate of Diffusion Processes on Complex Networks
Computer Laboratory Systems Research Group Seminar
Moving WSN Programming Abstractions into the Real World
Computer Laboratory Systems Research Group Seminar
NetFPGA: An open platform for high-speed data processing
β οΈ Let me know if you want to chat with John and I'll sort out a timetable.
Computer Laboratory Systems Research Group Seminar
Social-based Code Dissemination in Mobile Wireless Sensor Networks
Logic and Semantics Seminar (Computer Laboratory)
The interpretation of intuitionistic type theory in locally cartesian closed categories: an intuitionistic approach
Computer Laboratory Systems Research Group Seminar
Social networking 2.0: Cityware for Facebook
Computer Laboratory Automated Reasoning Group Lunches
ACL2-Based Verification of NoC Communication Infrastructures
Computer Laboratory Systems Research Group Seminar
Reusing legacy device drivers in an L4-based microkernel environment
Computer Laboratory Computer Architecture Group Meeting
Combining Scratch-Pad Placement with Loop Parallelisation for FPGAs
Computer Laboratory Automated Reasoning Group Lunches
The Relative Consistency of the Axiom of Choice, Mechanized Using Isabelle/ZF
Logic and Semantics Seminar (Computer Laboratory)
Event structure semantics of the pi-calculus
Computer Laboratory Systems Research Group Seminar
Deep in the Shadows: Implementation & Applications of Shadow Page Tables
Computer Laboratory Automated Reasoning Group Lunches
Proving Liveness Properties of Non-blocking Data Structures
Computer Laboratory Systems Research Group Seminar
Efficient Node Discovery in Mobile Wireless Sensor Networks
Wednesday Seminars - Department of Computer Science and Technology
Acceleration of scientific computing using graphics hardware
Computer Laboratory Automated Reasoning Group Lunches
Proof-producing decompilation and compilation
β οΈ Room changed
Computer Laboratory Computer Architecture Group Meeting
Map-reduce as a Programming Model for Custom Computing Machines
β οΈ Note unusual time
Computer Laboratory Systems Research Group Seminar
Virtually Saving the Planet
Wednesday Seminars - Department of Computer Science and Technology
How to prove that a communications protocol stack is up to the job
Computer Laboratory Automated Reasoning Group Lunches
Proving conditional termination
Logic and Semantics Seminar (Computer Laboratory)
Extensional rewriting with sums
Wednesday Seminars - Department of Computer Science and Technology
Citations and Argumentation for Better Information Access
Computer Laboratory Automated Reasoning Group Lunches
Applying Machine Learning to Heuristic Selection in an Automated Theorem Prover
Logic and Semantics Seminar (Computer Laboratory)
Eriskay: a programming language based on game semantics.
Computer Laboratory Systems Research Group Seminar
A Weighted Spectrum Metric for Comparison of Internet Topologies
Wednesday Seminars - Department of Computer Science and Technology
Stylized Rendering for Multi-resolution Image Representation: Reconciling Efficiency with Aesthetics in Image Compression
Computer Laboratory Automated Reasoning Group Lunches
Information, Anonymity, and Proof
Logic and Semantics Seminar (Computer Laboratory)
Verification Based on Algebra and Automated Deduction
Computer Laboratory Systems Research Group Seminar
Epidemic Streaming: the story so far
Computer Laboratory Computer Architecture Group Meeting
Xilinx ChipScope Tutorial
β οΈ Note - originally this was to be on 16th April, but it has been postponed until 30th April
Wednesday Seminars - Department of Computer Science and Technology
Copyright vs Community
β οΈ Please note the extended duration
Computer Laboratory Automated Reasoning Group Lunches
LCF-style Propositional Simplification With BDDs and SAT Solvers
Computer Laboratory Automated Reasoning Group Lunches
Introductory Meeting
Logic and Semantics Seminar (Computer Laboratory)
A language extension for provably safe exception handling
Computer Laboratory Systems Research Group Seminar
Preventing memory error exploits with WIT
Computer Laboratory Computer Architecture Group Meeting
The next resource war: computation vs. communication
β οΈ Note unusual time
Computer Laboratory Systems Research Group Seminar
Stabilizing Internet Routing: or, A Story of Heterogeneity
Computer Laboratory Programming Research Group Seminar
Sequentializing the Value State Dependence Graph
Computer Laboratory Computer Architecture Group Meeting
Synchronisation Mechanisms - A Tutorial
Wednesday Seminars - Department of Computer Science and Technology
Sustainable Energy -- without the hot air
Computer Laboratory Automated Reasoning Group Lunches
A Constraint-Programming Framework For Bounded Program Verification
Logic and Semantics Seminar (Computer Laboratory)
Keep Off The Grass: Locking the Right Path for Atomicity
Wednesday Seminars - Department of Computer Science and Technology
Student Design Project Presentations
Computer Laboratory Computer Architecture Group Meeting
Tutorial on Data Driven Computation
Computer Laboratory Automated Reasoning Group Lunches
Exploring Properties of Normal Multimodal Logics in Simple Type Theory with LEO-II
Computer Laboratory Systems Research Group Seminar
Varnish -- programming like it is 2008
Computer Laboratory Systems Research Group Seminar
Thoughts on an Identifier/Locator Split for IPv6
Wednesday Seminars - Department of Computer Science and Technology
Delay Tolerant Routing in Mobile and Sensor Networks
Computer Laboratory Systems Research Group Seminar
Improving Xen Security through Disaggregation
Computer Laboratory Automated Reasoning Group Lunches
Some "Real World" Problems in the Analog and Mixed Signal Domains
Computer Laboratory Computer Architecture Group Meeting
System Modeling and Dynamic Reconfiguration in Xilinx Research
β οΈ Note unusual time
Computer Laboratory Systems Research Group Seminar
Scheduling for multi-carrier wireless systems
Wednesday Seminars - Department of Computer Science and Technology
High-Performance Processing with Field-Programmable Logic
Computer Laboratory Computer Architecture Group Meeting
High-Performance Processing with Field-Programmable Logic
β οΈ Note unusual time and place
Computer Laboratory Automated Reasoning Group Lunches
An Embedding of Abstract Separation Logic in HOL
Computer Laboratory Systems Research Group Seminar
Perceptually motivated playout delay adaptation algorithm for VoIP network
Computer Laboratory Computer Architecture Group Meeting
Hardware defences against side channel and invasive attacks
Wednesday Seminars - Department of Computer Science and Technology
Rethink and Arise!
Computer Laboratory Computer Architecture Group Meeting
Programmable Logic Core Based Post-Silicon Debug For SoCs
β οΈ Note unusual time
Computer Laboratory Automated Reasoning Group Lunches
A rigorous approach to networking: TCP, from implementation to protocol to service
Computer Laboratory Systems Research Group Seminar
Web Programming with Links: Theory and Practice
Computer Laboratory Computer Architecture Group Meeting
Reading group: Revisiting the Sequential Programming Model for the Multicore Era
β οΈ Note unusual time
Wednesday Seminars - Department of Computer Science and Technology
Defence against the Dark Arts
Computer Laboratory Automated Reasoning Group Lunches
Automatic Proof for Theorems On Transcendental Functions
Computer Laboratory Systems Research Group Seminar
Genomic principles for feedback regulation of metabolism
Wednesday Seminars - Department of Computer Science and Technology
Executable Biology: Successes and Challenges
Computer Laboratory Systems Research Group Seminar
Renewable Energy in Data Centres
Wednesday Seminars - Department of Computer Science and Technology
Fine-grained differences and similarities in meanings
β οΈ NOTE THE LATER TIME
Computer Laboratory Automated Reasoning Group Lunches
MaLARea: a Metasystem for Automated Reasoning in Large Theories
Computer Laboratory Programming Research Group Seminar
The Constraint Handling Rules (CHR) language
Logic and Semantics Seminar (Computer Laboratory)
On Scalable Shape Analysis
Logic and Semantics Seminar (Computer Laboratory)
A completeness proof for bisimulation in the pi-calculus using Isabelle
β οΈ Note the unusual day.
Wednesday Seminars - Department of Computer Science and Technology
Searching for Evil
Computer Laboratory Automated Reasoning Group Lunches
Introductory Meeting
Computer Laboratory Systems Research Group Seminar
Scaling Internet Routing with Legacy Protocols
Computer Laboratory Programming Research Group Seminar
Memory safety with exceptions and linear types
Computer Laboratory Computer Architecture Group Meeting
Designing Circuits with Parallel Programs
β οΈ last hardwrae discussion of the year
Computer Laboratory Automated Reasoning Group Lunches
Automatic proof of SPARK verification conditions
Computer Laboratory Systems Research Group Seminar
Camel: Paravirtual memory CoW in Xen
Computer Laboratory Programming Research Group Seminar
Controlling control flow in web application
Computer Laboratory Computer Architecture Group Meeting
All day seminar: Parallel Computing Everywhere
β οΈ Special one day meeting
Computer Laboratory Automated Reasoning Group Lunches
n-bit words in HOL
Logic and Semantics Seminar (Computer Laboratory)
Logics for Coalgebras
Wednesday Seminars - Department of Computer Science and Technology
Automation for Interactive Theorem Provers
Computer Laboratory Automated Reasoning Group Lunches
Proving Correctness of Secret Sharing Protocols using the Inductive Method
Computer Laboratory Programming Research Group Seminar
Detecting and Tracking Inconsistencies in UML
Logic and Semantics Seminar (Computer Laboratory)
Category Theory and the Philosophy of Language
Computer Laboratory Systems Research Group Seminar
A Security Architecture for Wireless Medical Sensor Networks
Wednesday Seminars - Department of Computer Science and Technology
Executable Biology: Successes and Challenges
β οΈ Canceled
Computer Laboratory Automated Reasoning Group Lunches
From Program Logics to Program Analyses And Back
Computer Laboratory Computer Architecture Group Meeting
IET/BCS talk: The Internet - Where it came from & where it is going
β οΈ IET/BCS evening talk
Computer Laboratory Systems Research Group Seminar
Isolating Untrusted Extensions in a Multiserver Operating System
Wednesday Seminars - Department of Computer Science and Technology
Software Defect Mining with Formal Concept Analysis
Computer Laboratory Automated Reasoning Group Lunches
Reasoning about Linear Systems
Logic and Semantics Seminar (Computer Laboratory)
Separation Logic Semantics for Communicating Processes
Computer Laboratory Systems Research Group Seminar
Peer Dragnet: Tool for Analyzing Peer's Route Announcements and their Impact
Computer Laboratory Systems Research Group Seminar
Synchronization in Complex Modular Networks
Wednesday Seminars - Department of Computer Science and Technology
Birrell's distributed reference listing revisited
Logic and Semantics Seminar (Computer Laboratory)
Pointer Safety and Graph Grammars
Computer Laboratory Automated Reasoning Group Lunches
Synthesis from Temporal Specifications
Logic and Semantics Seminar (Computer Laboratory)
Model theoretic tools for deciding boundedness of fixed points
Computer Laboratory Systems Research Group Seminar
Validating Degree-Based Topology Generators
Computer Laboratory Computer Architecture Group Meeting
Design for device variability in nano CMOS
Wednesday Seminars - Department of Computer Science and Technology
Multi-core programming with automatic parallelisation
Computer Laboratory Automated Reasoning Group Lunches
A tool for verification: A decompiler from ARM to HOL
Logic and Semantics Seminar (Computer Laboratory)
Logical Reasoning for Higher-Order Functions with Local State
Computer Laboratory Programming Research Group Seminar
Jones Optimality and Hardware Virtualization (A Report on Work in Progress)
Wednesday Seminars - Department of Computer Science and Technology
TechTalk by Google - The Chubby lock service for loosely-coupled distributed systems
Computer Laboratory Automated Reasoning Group Lunches
A modular formalisation of finite group theory
Computer Laboratory Systems Research Group Seminar
A Machine Learning Approach for Efficient Traffic Classification
Wednesday Seminars - Department of Computer Science and Technology
How Do We Know What to Design?
Computer Laboratory Automated Reasoning Group Lunches
Executable Biology: Towards Computer Programs that Mimic Life
Computer Laboratory Systems Research Group Seminar
Graph Edge Colouring Problems Arising from Optical Network Design
Wednesday Seminars - Department of Computer Science and Technology
How to Write Bug-Free Code - A Live Demonstration
Computer Laboratory Automated Reasoning Group Lunches
Introductiory Meeting
Computer Laboratory Automated Reasoning Group Lunches
Verifying an Operating System Kernel
β οΈ Room changed
Wednesday Seminars - Department of Computer Science and Technology
SQ Minus EQ can Predict Programming Aptitude
Computer Laboratory Automated Reasoning Group Lunches
Boosting Verification by Automatic Tuning of Decision Procedures
Computer Laboratory Automated Reasoning Group Lunches
Cryptanalysis with SAT - a propositional programming environment
β οΈ Room changed
Computer Laboratory Automated Reasoning Group Lunches
One-pass Tableaux for Computation Tree Logic
β οΈ Room changed
Computer Laboratory Systems Research Group Seminar
Next Generation Dynamic Spectrum Networks
Computer Laboratory Computer Architecture Group Meeting
Communicating Process Architecture for Multicores
Logic and Semantics Seminar (Computer Laboratory)
The Java Memory Model - the Good, the Bad and the Ugly
Logic and Semantics Seminar (Computer Laboratory)
A unified model of class invariant verification frameworks
Computer Laboratory Automated Reasoning Group Lunches
Progress Report on Leo-II, an Automatic Theorem Prover for Higher-Order Logic
Computer Laboratory Programming Research Group Seminar
Sound Haskell
Computer Laboratory Systems Research Group Seminar
Toward Dependency-Agnostic Online Upgrades in Distributed Systems
β οΈ Please note the unusual time and day
Computer Laboratory Systems Research Group Seminar
What does atomic mean?
Computer Laboratory Automated Reasoning Group Lunches
A Deep Embedding of a Decidable Fragment of Separation Logic in HOL
Computer Laboratory Programming Research Group Seminar
Termination analysis and call graph construction for higher-order functional programs
Computer Laboratory Systems Research Group Seminar
San Fermin: Aggregating Large Data Sets using Dynamic Binomial Trees
Computer Laboratory Automated Reasoning Group Lunches
The ARM Cortex-M1 Architecture in Coq
Logic and Semantics Seminar (Computer Laboratory)
Cyclic Proofs of Program Termination in Separation Logic
Computer Laboratory Automated Reasoning Group Lunches
From QED to X-Logic, following the lead of Leibniz
Logic and Semantics Seminar (Computer Laboratory)
Valiant's theory
Computer Laboratory Automated Reasoning Group Lunches
Connecting Partial and Total Correctness for Probabilistic Programs in HOL4
Computer Laboratory Programming Research Group Seminar
Two Software-Based Models of Thread Level Speculation
Wednesday Seminars - Department of Computer Science and Technology
Smart-card based authentication on an insecure network
Computer Laboratory Automated Reasoning Group Lunches
A Compressing Translation from Propositional Resolution to Natural Deduction
Wednesday Seminars - Department of Computer Science and Technology
Electronics Revolution - driving pivotal change in Computer Science
Computer Laboratory Programming Research Group Seminar
I solemnly swear that I am up to... automatic parallelisation
Computer Laboratory Programming Research Group Seminar
Computational specification for temporal abstraction in music
Logic and Semantics Seminar (Computer Laboratory)
An Executable Model of the JVM in Coq
Computer Laboratory Systems Research Group Seminar
Opportunistic Mobile Sensor Data Collection with SCAR
Wednesday Seminars - Department of Computer Science and Technology
New Directions for Navigation
Computer Laboratory Automated Reasoning Group Lunches
Local Reasoning for Storable Locks and Threads
Logic and Semantics Seminar (Computer Laboratory)
Infinite-State System Verification via Tree Automata
Computer Laboratory Systems Research Group Seminar
Wide-area migration of Virtual Machines including local persistent state
Wednesday Seminars - Department of Computer Science and Technology
Modelling Biochemical Pathways with Stochastic Process Algebra
Computer Laboratory Systems Research Group Seminar
Research at the NUS Interactive Multimedia Lab
Wednesday Seminars - Department of Computer Science and Technology
βI want to tell you a joke. Are you ready?β β Implementing automated pun generation for children with complex communication needs.
Computer Laboratory Systems Research Group Seminar
Optimal Wireless LAN Channel Selection Without Communication
Computer Laboratory Systems Research Group Seminar
Future innovations in virtualization technology
β οΈ Please note the unusual time and location.
Wednesday Seminars - Department of Computer Science and Technology
DNA Microarray Technology at Agilent Technologies: Engineering, Manufacturing and Applications
β οΈ Host: Pietro Lio'.
Wednesday Seminars - Department of Computer Science and Technology
Church's Problem on the Synthesis of Nonterminating Programs
β οΈ Host: Anuj Dawar. NOTE: This talk is OUT-OF-TERM
Computer Laboratory Systems Research Group Seminar
Challenges in measuring wireless networks
β οΈ Note the unusual Time and Venue
Computer Laboratory Systems Research Group Seminar
Two Days in the Life of the DNS Anycast Root Servers
Logic and Semantics Seminar (Computer Laboratory)
When While is a Security Risk
Logic and Semantics Seminar (Computer Laboratory)
Relational parametricity for computational effects.
Logic and Semantics Seminar (Computer Laboratory)
Stone duality for bitopological spaces
Wednesday Seminars - Department of Computer Science and Technology
Annual Presentation of Student Projects
β οΈ NOTE LATER TIME
Logic and Semantics Seminar (Computer Laboratory)
Verification Across Intellectual Property Boundaries
Wednesday Seminars - Department of Computer Science and Technology
Security and Cooperation in Wireless Networks
Logic and Semantics Seminar (Computer Laboratory)
A Logic of Reachable Patterns in Linked Data-Structures
Wednesday Seminars - Department of Computer Science and Technology
The Lixto Web Data Extraction Project: A Status Report
Wednesday Seminars - Department of Computer Science and Technology
Computing for the Future of the Planet
Logic and Semantics Seminar (Computer Laboratory)
Verifying Object-Invariants in Spec#
Wednesday Seminars - Department of Computer Science and Technology
From Pascal and ML to Perl and VB: Software Engineering in Postmodernity
Wednesday Seminars - Department of Computer Science and Technology
Mechanising First-Order Logic: Technology, Decidability and Applications
Wednesday Seminars - Department of Computer Science and Technology
Road transport data and their uses
Wednesday Seminars - Department of Computer Science and Technology
Verification of fine-grain concurrency: Separation Logic for Floyd assertions in Petri nets.
Logic and Semantics Seminar (Computer Laboratory)
Fine-grained concurrency with separation logic
β οΈ (joint work with Kalpesh Kapoor and Kamal Lodaya)
Wednesday Seminars - Department of Computer Science and Technology
New Challenges in Describing Digital Music
Wednesday Seminars - Department of Computer Science and Technology
Safety checking in a domain of collaborative applications.
Logic and Semantics Seminar (Computer Laboratory)
A logical approach to data provenance.
Wednesday Seminars - Department of Computer Science and Technology
Automatic termination proofs for software
Logic and Semantics Seminar (Computer Laboratory)
Bialgebras and modal logic
Wednesday Seminars - Department of Computer Science and Technology
Security Applications and Aspects of Meaning-Based Computing
Logic and Semantics Seminar (Computer Laboratory)
Reasoning about Code Pointers (Separation Logic for Higher-Order Store)
Wednesday Seminars - Department of Computer Science and Technology
The Challenges and Thrills of a Young Industry
Logic and Semantics Seminar (Computer Laboratory)
A structural proof of the soundness of rely/guarantee rules
Wednesday Seminars - Department of Computer Science and Technology
All-Optical Networks
Wednesday Seminars - Department of Computer Science and Technology
Learning Probabilistic Sequence Models for Uncovering Gene Regulation
β οΈ This talk was originally scheduled for October 4. NOTE THAT IT IS NOT AT THE USUAL TIME.
Wednesday Seminars - Department of Computer Science and Technology
Semantics in broad-coverage natural language processing
Logic and Semantics Seminar (Computer Laboratory)
Logical equivalence for subtyping object and recursive types.
Wednesday Seminars - Department of Computer Science and Technology
Logics for Unranked Trees: An Overview
Logic and Semantics Seminar (Computer Laboratory)
Collection and Contra-collection in Mathematics
Wednesday Seminars - Department of Computer Science and Technology
Learning Probabilistic Sequence Models for Uncovering Gene Regulation
Wednesday Seminars - Department of Computer Science and Technology
Electromagnetic eavesdropping on computers
Please see above for contact details for this list.