![[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)
George Neville-Neil ().
Thursday 12 March 2026, 15:00-16:00
ah460's list
A personal list of talks.
Contact: Anthony Hylick
0 upcoming talks View 912 archived talks
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
Computer Laboratory Systems Research Group Seminar
Automatically Formally Verified Hardware using Aristotle
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
compiler socials
Full Stack Verification of CHERI systems
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)
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.
ack55's list
Coinductive predicates in Lean
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
compiler socials
Translation Validation for LLVM's AArch64 Backend
Computer Laboratory Computer Architecture Group Meeting
More ARMs than arms: From Sunk to Silicon Supremacy
Computer Laboratory Systems Research Group Seminar
AI Meets Economics: The Case of Auction-Assisted AI Systems in Cloud-Edge Continuum
tcg40's list
AI Accelerators 101
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
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
tcg40's list
CASCADE Poster Social (+ Compiler Tech Talk)
Computer Laboratory Computer Architecture Group Meeting
HPCA, CGO & CC 2025 practice presentations
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
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
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
Computer Laboratory Systems Research Group Seminar
Modelling orchestration
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
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
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.
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
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
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?
Computer Laboratory Computer Architecture Group Meeting
Compiler Testing with Relaxed Memory Models with L. Geeson
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.
Computer Laboratory Systems Research Group Seminar
DINC: Toward Distributed In-Network Computing / Exploring the Benefits of Carbon-Aware Routing
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
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
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
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
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
Computer Laboratory Computer Architecture Group Meeting
Synthesizing Accelerators for FPGAs the Functional Way
Computer Laboratory Systems Research Group Seminar
Past, Present and Future of Wireless Networking
Computer Laboratory Systems Research Group Seminar
In-Network Machine Learning for Market Prediction Using Limit Order Books
Computer Laboratory Systems Research Group Seminar
Insights into Routing on Service Addresses (ROSA)
Computer Laboratory Systems Research Group Seminar
Follow the Transistors, a New Approach to Systems Software
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
Computer Laboratory Systems Research Group Seminar
Consumer IoT devices Identification at the Edge
Computer Laboratory Systems Research Group Seminar
Scene understanding in emergency response scenarios
Computer Laboratory Systems Research Group Seminar
The Challenges of Controlling a Quantum Computer
Computer Laboratory Systems Research Group Seminar
Achieving Consistent Low Latency for Wireless Real-Time Communications with the Shortest Control Loop
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
Computer Laboratory Systems Research Group Seminar
Are we stuck with the current Internet Protocol (IP)? (And does it matter if we are?)
Computer Laboratory Systems Research Group Seminar
Order! A tale of money, intrigue, and specifications.
Computer Laboratory Systems Research Group Seminar
Towards an Internet of Reality
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
Computer Laboratory Systems Research Group Seminar
Towards Digital Sovereignty in the Age of Hyper-giants
Computer Laboratory Systems Research Group Seminar
Software as a Network
Computer Laboratory Systems Research Group Seminar
Turbocharging Serverless Research with vHive
Computer Laboratory Systems Research Group Seminar
Networked Systems in the Era of Programmable Dataplanes
Computer Laboratory Systems Research Group Seminar
Perception-Driven Optimization: A New Frontier for Scaling Internet Applications
Computer Laboratory Systems Research Group Seminar
Health Monitoring with Wireless Sensors and Machine Learning
Computer Laboratory Systems Research Group Seminar
Cache Networks with Optimality Guarantees
Computer Laboratory Systems Research Group Seminar
Assertions for Distributed Systems
Computer Laboratory Systems Research Group Seminar
Towards Performant Networking from Low-Earth Orbit
Computer Laboratory Systems Research Group Seminar
Making the Most of Massive Clusters
Computer Laboratory Systems Research Group Seminar
Automerge: A New Foundation for Collaboration Software
Computer Laboratory Systems Research Group Seminar
AnyOpt: Predicting and Optimizing IP Anycast Performance
Computer Laboratory Systems Research Group Seminar
The Demikernel OS Architecture for Kernel-Bypass, Microsecond Systems
Computer Laboratory Systems Research Group Seminar
Cloud-native data systems for the post-Moore era
Computer Laboratory Systems Research Group Seminar
Programmable data plane
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
Computer Laboratory Systems Research Group Seminar
Leveraging over-provisioned WANs for next-generation services
Computer Laboratory Systems Research Group Seminar
Network Function Virtualization and its Application to Improve the Architecture and Protocols of Future Cellular Networks
Computer Laboratory Systems Research Group Seminar
Mapping Mobile Broadband Access
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
Computer Laboratory Systems Research Group Seminar
Teleoperating Mobile Things
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
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
Computer Laboratory Systems Research Group Seminar
Designing Next Generation Network Interface Cards
Computer Laboratory Systems Research Group Seminar
Programmable, Hardware-Based Routing and Scheduling
Computer Laboratory Systems Research Group Seminar
Pluginizing Internet Protocols
Computer Laboratory Systems Research Group Seminar
Practical Edge Computing for Mobile X Reality
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
Computer Laboratory Systems Research Group Seminar
On the Art of Wielding a Double-Edged Sword (or, Finessing Modern Networks)
Computer Laboratory Systems Research Group Seminar
Mir-BFT: Robust Scaling of Classical BFT
Computer Laboratory Systems Research Group Seminar
The Battle for Bandwidth: Fairness and Heterogenous Congestion Control on Today's Internet
Computer Laboratory Systems Research Group Seminar
Enclave-Aware Compartmentalization and Secure Sharing with Sirius
Computer Laboratory Systems Research Group Seminar
Twins: White-Glove Approach for BFT Testing
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
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
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
Computer Laboratory Systems Research Group Seminar
Owl: OCaml Scientific and Engineering Computing
Computer Laboratory Systems Research Group Seminar
Trip Report - CCC
Computer Laboratory Systems Research Group Seminar
Securing IoT with Azure Sphere
Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series
The SPHERE project
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
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
Computer Laboratory Systems Research Group Seminar
FastFabric: Scaling Hyperledger Fabric to 20,000 Transactions per Second
Computer Laboratory Systems Research Group Seminar
Network Hygiene, Incentives, and Regulation: Deployment of Source Address Validation in the Internet
Computer Laboratory Computer Architecture Group Meeting
Fast and Efficient Deployment of Security Defenses via Microcode Customization
β οΈ Note unusual time and location
Computer Laboratory Systems Research Group Seminar
Do switches dream of machine learning?
Computer Laboratory Systems Research Group Seminar
Asynchrony, Ordering, and Protocols
Computer Laboratory Computer Architecture Group Meeting
The new clang constant interpreter
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
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
Computer Laboratory Systems Research Group Seminar
Test Automation and Debug hardware for Chromebooks
Computer Laboratory Systems Research Group Seminar
Local-first software: Returning data ownership to users
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
Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series
A Decade of Ubiquitous Computing Research in Mental Health
Computer Laboratory Systems Research Group Seminar
IPv6 over LPWAN: when 6LoWPAN is too heavy for (long range) IoT links!
Computer Laboratory Systems Research Group Seminar
The Case For In-Network Computing On Demand
Computer Laboratory Systems Research Group Seminar
Network Science and Telecommunications
Computer Laboratory Systems Research Group Seminar
Debugging and Repairing P4 Programs
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
Computer Laboratory Systems Research Group Seminar
Computational Behavior Analysis through Wearables and Machine Learning -- Pushing the Boundaries towards usable Digital Health.
Computer Laboratory Systems Research Group Seminar
Open Source Quantum Computing
Computer Laboratory Systems Research Group Seminar
Performance Contracts for Software Network Functions
Computer Laboratory Systems Research Group Seminar
Accountable Systems and Google Maps
Computer Laboratory Systems Research Group Seminar
Replace your exploit-ridden firmware with a Linux Kernel
Computer Laboratory Systems Research Group Seminar
From Unikernels to Nabla Containers
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
Computer Laboratory Systems Research Group Seminar
Cross-modality Inference in Ubiquitous Human Identification
Computer Laboratory Systems Research Group Seminar
Chromebooks, USB-C and Google PI/SI Research
Computer Laboratory Systems Research Group Seminar
The Elusive Internet Flatening: 10 Years of IXP Growth
Computer Laboratory Systems Research Group Seminar
Privacy Trading in the Apps and IoT Age: Markets and Computation
Computer Laboratory Systems Research Group Seminar
Using large-scale simulation for the national assessment of Fibre-To-The-Premises and 5G deployment
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
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
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
Computer Laboratory Systems Research Group Seminar
Edge Computing through Distributed Trust and Programmable Privacy
Computer Laboratory Systems Research Group Seminar
Research Challenges and Solutions for IOT/CPS
Computer Laboratory Systems Research Group Seminar
Quantifying Privacy Loss of Human Mobility Graph Topology
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
Computer Laboratory Systems Research Group Seminar
My VM is Lighter (and Safer) than your Container
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
Computer Laboratory Systems Research Group Seminar
Highly Energy Efficient Key-value Store for In-network Computing
Computer Laboratory Systems Research Group Seminar
Energy landscape of multivariate time series data
β οΈ starting time at 15:00! sorry for the confusion!
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
Computer Laboratory Systems Research Group Seminar
Geolocated Datasets for Urban Science
Computer Laboratory Systems Research Group Seminar
Play it on the Edge - the Fun, the Risks, and the Lessons
Computer Laboratory Systems Research Group Seminar
Does your smartwatch miss a (heart) beat? - Investigation of wearables for affective research
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
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
Computer Laboratory Systems Research Group Seminar
Secure Multi-Party Linear Regression on High-Dimensional Data
Computer Laboratory Systems Research Group Seminar
The Rise of Augmented Intelligence in Edge Networks
Computer Laboratory Systems Research Group Seminar
DataFlow SuperComputing for BigData
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
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
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
rdm34's list
The Biomaker Challenge: an introduction
Logic and Semantics Seminar (Computer Laboratory)
What does the Future of Programming Look Like?
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
Computer Laboratory Systems Research Group Seminar
Open Source Network Tester on NetFPGA-SUME Platform
Computer Laboratory Systems Research Group Seminar
P4-NetFPGA
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
Computer Laboratory Systems Research Group Seminar
Where Has My Time Gone?
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
Computer Laboratory Systems Research Group Seminar
Towards a Stateful Forwarding Abstraction for Software and Hardware Network Functions
Computer Laboratory Systems Research Group Seminar
A Digital Architecture for Future Cities
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
Computer Laboratory Systems Research Group Seminar
Internet measurements in Africa
Computer Laboratory Systems Research Group Seminar
Internet Monitoring at Scale
Computer Laboratory Digital Technology Group (DTG) Meetings
The Next-Generation Vector Architecture for HPC
Computer Laboratory Systems Research Group Seminar
Towards an SDN-enabled Federated Internet
Computer Laboratory Systems Research Group Seminar
High-level development and debugging of FPGA-based network programs
Computer Laboratory Systems Research Group Seminar
ClassBench-ng: Recasting ClassBench After a Decade of Network Evolution
Computer Laboratory Systems Research Group Seminar
The Lift Project: Performance Portable GPU Code generation via Rewrite Rules
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
Computer Laboratory Programming Research Group Seminar
Automatic Identification and Parallelisation of General Reduction Operations
Computer Laboratory Systems Research Group Seminar
Flexible Paxos: Reaching agreement without majorities
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
Computer Laboratory Systems Research Group Seminar
Unik: A platform for automating unikernel compilation and deployment
Computer Laboratory Systems Research Group Seminar
Firmament: fast, centralized cluster scheduling at scale
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
Computer Laboratory Programming Research Group Seminar
Title to be confirmedFlow- and Context-Sensitive Points-to Analysis using Generalized Points-to Graphs
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?
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
Computer Laboratory Systems Research Group Seminar
Towards synchronized (and programmable) datacenters
Computer Laboratory Systems Research Group Seminar
Unikernels and Beyond: the future of application containers in the cloud
Computer Laboratory Systems Research Group Seminar
A Fast and Practical Software Packet Scheduling Architecture
Computer Laboratory Systems Research Group Seminar
Managing Privacy Trade-Offs in the Internet
Computer Laboratory Computer Architecture Group Meeting
OpenPiton
Computer Laboratory Systems Research Group Seminar
Ios: Why work when you can delegate?
Computer Laboratory Programming Research Group Seminar
Program Verification Using Cyclic Proof
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
Rainbow Group Seminars
A Live, Multiple-Representation Probabilistic Programming Environment for Novices
Computer Laboratory Programming Research Group Seminar
Dependent types, linear types and operating systems
Computer Laboratory Systems Research Group Seminar
Optimal-Performance Next-Generation (Datacenter) Networks
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
Computer Laboratory Systems Research Group Seminar
Measuring Urban Social Diversity Using Interconnected Geo-Social Networks
Computer Laboratory Systems Research Group Seminar
Do Not Believe Everything You Read in the Papers
Computer Laboratory Systems Research Group Seminar
Is every java program a unikernel? An introduction to IncludeOS' design and foundations
Computer Laboratory Systems Research Group Seminar
Exploring the Web Frontier
Computer Laboratory Programming Research Group Seminar
Biggest Challenges for Kotlin: Interoperability and Tooling
Computer Laboratory Systems Research Group Seminar
OS Design for Modern Hardware
Logic and Semantics Seminar (Computer Laboratory)
Effects as sessions, sessions as effects
β οΈ NOTE UNUSUAL VENUE
Computer Laboratory Systems Research Group Seminar
An Overview on Bigraphs, Their Applications, and Future Research Directions
Computer Laboratory Systems Research Group Seminar
Pelican: A Building Block for Exascale Cold Data Storage
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
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.
Computer Laboratory Systems Research Group Seminar
The Internet as your killer ICN use case
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
Computer Laboratory Systems Research Group Seminar
FlowWatcher: Preventing Data Disclosure Vulnerabilities in Web Applications
Computer Laboratory Systems Research Group Seminar
No compromises: distributed transactions with consistency, availability, and performance
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
Computer Laboratory Systems Research Group Seminar
Durability and Access Control for Scalable Distributed Filesystems
Computer Laboratory Systems Research Group Seminar
Reaching reliable agreement in an unreliable world
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
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
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
Computer Laboratory Systems Research Group Seminar
Rethinking State-Machine Replication for Multicore Architectures
Computer Laboratory Systems Research Group Seminar
Summaries on mobile phones: Context learning and data simplification
Computer Laboratory Systems Research Group Seminar
Analytics on Graphs with a Trillion Edges
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
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!
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
Computer Laboratory Systems Research Group Seminar
Rumors, cascades and word of mouth: observing virality on Facebook
Computer Laboratory Systems Research Group Seminar
Aestheticodes: Beautiful Interaction
Computer Laboratory Systems Research Group Seminar
Computers, Clocks and Network Time: Everything you never wanted to know about time
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
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
Computer Laboratory Systems Research Group Seminar
Computational Privacy: On the privacy-conscientious use of metadata
Computer Laboratory Systems Research Group Seminar
First Impressions on the State of Cellular Data Connectivity in India
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
Computer Laboratory Computer Architecture Group Meeting
Bringing computer vision to the masses
Computer Laboratory Systems Research Group Seminar
Life in the Slow Lane
Computer Laboratory Systems Research Group Seminar
Bridging the gap between networking and end-host computing
Computer Laboratory Systems Research Group Seminar
Holistic GC: Coordinating Garbage Collection across Rack-scale Systems
Computer Laboratory Computer Architecture Group Meeting
Raising Computational Throughput and Energy Efficiency by Synthesizing Software into FPGA Hardware
β οΈ Note unusual time and venue
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
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
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
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
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 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
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
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
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
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
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
Computer Laboratory Systems Research Group Seminar
The story of figure 12b - trials, terrors and tribulations in applied systems research
Computer Laboratory Programming Research Group Seminar
A Core Quantitative Coeffect Calculus
Computer Laboratory Programming Research Group Seminar
A Core Quantitative Coeffect Calculus
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
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
Computer Laboratory Systems Research Group Seminar
FaRM: Fast Remote Memory
Computer Laboratory Systems Research Group Seminar
A Cyber Security Lab: from teaching, to a security evaluation platform, to a novel configuration management paradigm?
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
Computer Laboratory Systems Research Group Seminar
Source-sensitive routing
Computer Laboratory Systems Research Group Seminar
Security-Oriented Analysis of Application Programs
Computer Laboratory Computer Architecture Group Meeting
The New Cambridge Phenomenon?
Computer Laboratory Programming Research Group Seminar
Towards Language Composition
Computer Laboratory Systems Research Group Seminar
User-level networking: The hard problems
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
Computer Laboratory Digital Technology Group (DTG) Meetings
Julia: A Fast Dynamic Language for Technical Computing
Computer Laboratory Systems Research Group Seminar
PREDICTING SOCIAL BEHAVIOR IN SITUATION-GAMES FROM CROWDSOURCING EXPERIMENTS
Computer Laboratory Systems Research Group Seminar
What makes mobile apps tick? lessons learned in collaborative app analysis
Computer Laboratory Systems Research Group Seminar
Callisto: Co-scheduling Parallel Runtime Systems
Computer Laboratory Systems Research Group Seminar
IOFlow: A Software-Defined Storage Architecture
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
Computer Laboratory Systems Research Group Seminar
Urban Technologies: Feeling your emotions
Computer Laboratory Systems Research Group Seminar
Towards Programmable Wide-Area Virtual Networks
Computer Laboratory Systems Research Group Seminar
Adaptive and Resource-Efficient Rural Area Networks
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
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 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
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 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
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.
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
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
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
Computer Laboratory Systems Research Group Seminar
The neighbourhood game
Computer Laboratory Systems Research Group Seminar
Interdependence and Predictability of Human Mobility and Social Interactions
Computer Laboratory Systems Research Group Seminar
SPOC: GPGPU Programming with OCaml
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
Computer Laboratory Systems Research Group Seminar
Moana: A Case for a Global Information Network
Computer Laboratory Systems Research Group Seminar
Chatty Tenants and the Cloud Network Sharing Problem
Computer Laboratory Programming Research Group Seminar
Mezzo
Computer Laboratory Systems Research Group Seminar
Information and Communications Technology for Development: Current Trajectories
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 Systems Research Group Seminar
Toward an Atlas of the Physical Internet
Computer Laboratory Systems Research Group Seminar
Rethinking the Stack for Distributed Runtime Systems
Computer Laboratory Systems Research Group Seminar
Multipath? What multipath? Positioning and communication using low frequency magneto-induction
Computer Laboratory Systems Research Group Seminar
METIS: Exploring mobile phone sensing offloading for efficiently supporting social sensing applications
Computer Laboratory Systems Research Group Seminar
Analysing co-installability of software components
Computer Laboratory Systems Research Group Seminar
Productive parallel programming with Unified Parallel C
Computer Laboratory Systems Research Group Seminar
Unikernels: Library Operating Systems for the Cloud
Computer Laboratory Systems Research Group Seminar
The Role of Initial Experience in the Design of Inclusive User Interfaces
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.
Computer Laboratory Programming Research Group Seminar
Continuation-Passing C: Program Transformations for Compiling Concurrency in an Imperative Language
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
Computer Laboratory Systems Research Group Seminar
Large-Scale Peer-to-Peer Discovery Mechanism for Frequency Allocation
Computer Laboratory Systems Research Group Seminar
Terabit traffic vs. von Neumann - Ensoft Technical Talk
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
Computer Laboratory Systems Research Group Seminar
Deduplication in VM Environments
Computer Laboratory Systems Research Group Seminar
The seven deadly sins of cloud computing research
Computer Laboratory Systems Research Group Seminar
From geek-dream to mass-market: Will privacy-preserving technologies ever be adopted?
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
Computer Laboratory Systems Research Group Seminar
Study of Twitter unfollow behavior
Computer Laboratory Programming Research Group Seminar
The Whiley Programming Language: Design & Implementation
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
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 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
Computer Laboratory Programming Research Group Seminar
Mathematical Structures for Data Types with Restricted Parametericity
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#
Computer Laboratory Systems Research Group Seminar
Attacks and defenses in decentralised botnets
Computer Laboratory Systems Research Group Seminar
Economics of BitTorrent Communities
Computer Laboratory Programming Research Group Seminar
MPhil Presentations: (1) An investigation of the Join Calculus Abstract Machine (2) Ownership in Object-Oriented Languages
Computer Laboratory Systems Research Group Seminar
Facebook and Privacy: The Balancing Act of Personality, Gender, and Relationship Currency
Computer Laboratory Systems Research Group Seminar
Exploiting the Structure of Human Mobility for Opportunistic Networks
Computer Laboratory Systems Research Group Seminar
The SUDOKU Coding Project
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
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 Programming Research Group Seminar
Architecture-neutral Parallelism
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 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 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 Systems Research Group Seminar
Control and Understanding: Owning Your Home Network
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
Logic and Semantics Seminar (Computer Laboratory)
Layered Fixed Point Logic
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
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)
Computer Laboratory Systems Research Group Seminar
Experiments with dynamic networks of virtual routers
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
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
Computer Laboratory Systems Research Group Seminar
Reflections on the Long-term Use of an Experimental Digital Signage System
Computer Laboratory Systems Research Group Seminar
Towards a Highly Available Internet
Computer Laboratory Computer Architecture Group Meeting
Software lock elision for x86 machine code
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
Computer Laboratory Computer Architecture Group Meeting
Introducing the Computer Architecture Group
β οΈ New meeting time
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
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
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
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
Computer Laboratory Computer Architecture Group Meeting
Spatial Computation
Computer Laboratory Systems Research Group Seminar
Networks in Natural Language Processing
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
Computer Laboratory Programming Research Group Seminar
When Monads and Comonads Overlap
β οΈ Note unusual time and room.
Computer Laboratory Systems Research Group Seminar
Calico: Disciplined Work-Stealing for Varying Core-Counts
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 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
Computer Laboratory Systems Research Group Seminar
Group Processes and Local Network Dynamics
β οΈ This talk has been cancelled.
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.
Gates Distinguished Lecture Series
Director-General of the BBC
Gates Distinguished Lecture Series
Sir Richard Dearlove
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?
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
Computer Laboratory Computer Architecture Group Meeting
Steps Towards a Flexible Manycore Fabric
Computer Laboratory Systems Research Group Seminar
Improving Content Delivery Networks by Tracking Geographic Social Cascades
Gates Distinguished Lecture Series
The Beauty of Data Visualization
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
Gates Distinguished Lecture Series
Driving innovation into application: the passion behind creating a Biotechnology company
Computer Laboratory Computer Architecture Group Meeting
Low Power Photonic Networks for Shared Memory Computers
Computer Laboratory Systems Research Group Seminar
Media landscape in Twitter: A world of new conventions and political diversity
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
Gates Distinguished Lecture Series
UN Assistant Secretary-General for Humanitarian Affairs and Deputy Emergency
Computer Laboratory Systems Research Group Seminar
The Microsoft .NET Gadgeteer Prototyping Platform and Home Heating Control using Occupancy Prediction
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
Computer Laboratory Systems Research Group Seminar
Query Planning in Data Streaming
Computer Laboratory Programming Research Group Seminar
Joinads: a retargetable control-flow construct for reactive, parallel and concurrent programming
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.
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 Systems Research Group Seminar
The CamCube project: Rethinking the data center cluster
Computer Laboratory Computer Architecture Group Meeting
The RLOC is Dead -- Long Live the RLOC
Gates Distinguished Lecture Series
London 2012 Olympic Games
Computer Laboratory Systems Research Group Seminar
Mining Public Transport Usage for Personalised Intelligent Transport Systems
Computer Laboratory Systems Research Group Seminar
Workshop on the Future of Social Networking: Experts from Industry and Academia
Computer Laboratory Systems Research Group Seminar
Bridging the Gap between Theory and Practice of Internet Routing
Gates Distinguished Lecture Series
Don't Look Now: Representations of Violence in Media
Computer Laboratory Systems Research Group Seminar
Recommending Social Events from Mobile Phone Location Data
Computer Laboratory Systems Research Group Seminar
Multi-relational Organization of Large-scale Social Networks in an Online World
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
Gates Distinguished Lecture Series
Entrepreneurship Revealed: Building Game Changing Businesses
Computer Laboratory Systems Research Group Seminar
Routing in Equilibrium
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
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
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
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
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 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
Computer Laboratory Systems Research Group Seminar
Anzere: replication policy scaling for personal storage networks
Computer Laboratory Programming Research Group Seminar
Functional programming with monads combined with comonads
Computer Laboratory Programming Research Group Seminar
System Tests from Unit Tests
Gates Distinguished Lecture Series
NATO in the 21st Century
Computer Laboratory Systems Research Group Seminar
NetSci Conference - Discussion
Computer Laboratory Systems Research Group Seminar
From RPC to Web Apps: Trends in Client-Server Systems
Computer Laboratory Systems Research Group Seminar
Selective Reprogramming in Wireless Sensor Networks
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
Gates Distinguished Lecture Series
The Plundered Planet: Why We Must-and How We Can-Manage Nature for Global Prosperity
Computer Laboratory Systems Research Group Seminar
Experiences of Designing and Deploying Intelligent Sensor Nodes in Construction Sites
Gates Distinguished Lecture Series
Cloning, Stem Cells and Regenerative Medicine: The World After Dolly
Computer Laboratory Systems Research Group Seminar
Detecting Temporal Sybil Attacks
Gates Distinguished Lecture Series
Science - facts and frictions
Computer Laboratory Systems Research Group Seminar
Operational Refinement of Image Processing (ORIP)
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 Systems Research Group Seminar
How Google Tests Software
Gates Distinguished Lecture Series
Lessons from the Obama Campaign: Making the Obama Digital Model Work in Politics and Beyond
Computer Laboratory Systems Research Group Seminar
Detecting Sybil attacks and recommending social contacts from proximity records
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
Computer Laboratory Systems Research Group Seminar
Using Program Behaviour to Exploit Heterogeneous Multi-Core Architectures
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
Computer Laboratory Systems Research Group Seminar
Separating inter-domain routing and forwarding
Gates Distinguished Lecture Series
How do we really bring vision correction to those that need it in the Developing World?
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.
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
Gates Distinguished Lecture Series
Discussion with movie director and writer of The Horse Boy
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
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 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
Gates Distinguished Lecture Series
The Cyberknife
Computer Laboratory Programming Research Group Seminar
Alore: Making dynamic languages simpler
Gates Distinguished Lecture Series
Cambridge - Treasure Island in the Fens
Gates Distinguished Lecture Series
Gates Coffeehouse Webinar: Breaking into Politics
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
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?
Gates Distinguished Lecture Series
Gates Internal Symposium: Social Science and the Scientific Method
Computer Laboratory Computer Architecture Group Meeting
Computer System Emulation using Multiple FPGAs
Computer Laboratory Systems Research Group Seminar
Microeconomic Modeling of Incentives for Managed Overlays
Computer Laboratory Systems Research Group Seminar
Content Centric Networking
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
Gates Distinguished Lecture Series
Invisible Children: THE RESCUE
Computer Laboratory Systems Research Group Seminar
Triangular clustering in document networks
Gates Distinguished Lecture Series
Just listen they're scared: The application of hostage negotiation in everyday life.
Computer Laboratory Systems Research Group Seminar
Motivating Future Interconnects: A Differential Measurement Analysis of PCI Latency
Computer Laboratory Systems Research Group Seminar
The Multikernel: A new OS architecture for scalable multicore systems
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
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 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
Computer Laboratory Systems Research Group Seminar
Ethernet Evolution from 1990 to Today
Computer Laboratory Programming Research Group Seminar
Monadic Constraint Programming
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)
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
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
Computer Laboratory Programming Research Group Seminar
Studying task-level parallelism in C programs using Embla (work in progress)
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
Computer Laboratory Programming Research Group Seminar
Types are calling conventions
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
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
Computer Laboratory Programming Research Group Seminar
Cake: a language for adapting and linking mismatched binary components
Gates Distinguished Lecture Series
A 21st Century View of National Security
Computer Laboratory Programming Research Group Seminar
Beginning of term 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 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 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
Computer Laboratory Programming Research Group Seminar
Painless Parse Errors
Computer Laboratory Systems Research Group Seminar
Securing Virtual Machine Monitors: What is Needed?
Computer Laboratory Systems Research Group Seminar
Persistent Content-based Information Dissemination in Hybrid Vehicular Networks
Gates Distinguished Lecture Series
Vaccine Development in the Year 2100
Gates Distinguished Lecture Series
Lent Internal Symposium 2009
β οΈ Recording of the lecture is available from: http://www.cl.cam.ac.uk/~pb400/GatesInternalSeminar.mp3
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
Computer Laboratory Systems Research Group Seminar
IRONModel: robust performance models in the wild
Gates Distinguished Lecture Series
Cambridge and the Environment
β οΈ Recording of the lecture is available from: http://www.cl.cam.ac.uk/~pb400/ViceChancellorRichards.mp3
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
Gates Distinguished Lecture Series
Whether a creation-based religion can be consistent with science and evolution
β οΈ Recording of the lecture is available from: http://www.cl.cam.ac.uk/~pb400/RabbiWeinreb.mp3
Computer Laboratory Programming Research Group Seminar
Deriving efficient data movement from decoupled Access/Execute specifications
Computer Laboratory Systems Research Group Seminar
How to do a Systems PhD
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
Computer Laboratory Systems Research Group Seminar
Inter-domain rendezvous
Computer Laboratory Programming Research Group Seminar
Haskell is Not Not ML
Computer Laboratory Systems Research Group Seminar
Spread-Spectrum Computation
Computer Laboratory Computer Architecture Group Meeting
Optical Interconnect - Tutorial and Initial Thoughts
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
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.
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
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
Computer Laboratory Programming Research Group Seminar
Dynamic loaded compiler plugins for the Glasgow Haskell Compiler
Computer Laboratory Systems Research Group Seminar
Can I be your disruption-tolerant friend?
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
Computer Laboratory Systems Research Group Seminar
On Low Dimensional Random Projections and Similarity Search
Computer Laboratory Computer Architecture Group Meeting
Hardware multithreading
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
Computer Laboratory Computer Architecture Group Meeting
Two generations of Many-Core Computational Arrays
β οΈ Note unusual time
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
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
Computer Laboratory Systems Research Group Seminar
Social networking 2.0: Cityware for Facebook
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
Gates Distinguished Lecture Series
Containment and Democratic Cosmopolitanism
β οΈ Wine reception from 5:30 to 6 pm. Everyone is welcome.
Computer Laboratory Systems Research Group Seminar
Deep in the Shadows: Implementation & Applications of Shadow Page Tables
Computer Laboratory Systems Research Group Seminar
Efficient Node Discovery in Mobile Wireless Sensor Networks
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
Computer Laboratory Systems Research Group Seminar
A Weighted Spectrum Metric for Comparison of Internet Topologies
Gates Distinguished Lecture Series
Twenty Chickens for a Saddle
β οΈ This talk is open to everyone. Wine reception from 5:30 to 6 pm before the talk.
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
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
Gates Distinguished Lecture Series
Regulating Global Capitalism
Computer Laboratory Computer Architecture Group Meeting
Synchronisation Mechanisms - A Tutorial
Computer Laboratory Computer Architecture Group Meeting
Tutorial on Data Driven Computation
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
Computer Laboratory Systems Research Group Seminar
Improving Xen Security through Disaggregation
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
Computer Laboratory Computer Architecture Group Meeting
High-Performance Processing with Field-Programmable Logic
β οΈ Note unusual time and place
Gates Distinguished Lecture Series
Why do humans share food?
β οΈ Wine reception from 5:30 to 6 pm before the lecture at 6 pm. This talk is open to the general public.
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
Computer Laboratory Computer Architecture Group Meeting
Programmable Logic Core Based Post-Silicon Debug For SoCs
β οΈ Note unusual time
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
Computer Laboratory Systems Research Group Seminar
Genomic principles for feedback regulation of metabolism
Computer Laboratory Systems Research Group Seminar
Renewable Energy in Data Centres
Computer Laboratory Programming Research Group Seminar
The Constraint Handling Rules (CHR) language
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
Gates Distinguished Lecture Series
Early-Modern Iberian Empires and the Scientific Revolution
β οΈ There will be a wine reception at 5:30 pm before the lecture begins at 6 pm.
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
Gates Distinguished Lecture Series
Neuroethical Issues in Cognitive Enhancement and Neuroimaging
β οΈ There will be a wine reception at 5:30 pm before the lecture begins at 6 pm.
Computer Laboratory Programming Research Group Seminar
Detecting and Tracking Inconsistencies in UML
Computer Laboratory Systems Research Group Seminar
A Security Architecture for Wireless Medical Sensor Networks
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
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
Computer Laboratory Systems Research Group Seminar
Validating Degree-Based Topology Generators
Computer Laboratory Computer Architecture Group Meeting
Design for device variability in nano CMOS
Gates Distinguished Lecture Series
The Global Conservation Crisis
β οΈ A wine reception will follow the talk. Offered in collaboration with The City Seminar at CRASSH.
Computer Laboratory Programming Research Group Seminar
Jones Optimality and Hardware Virtualization (A Report on Work in Progress)
Computer Laboratory Systems Research Group Seminar
A Machine Learning Approach for Efficient Traffic Classification
Computer Laboratory Systems Research Group Seminar
Graph Edge Colouring Problems Arising from Optical Network Design
Gates Distinguished Lecture Series
Global Warming
Computer Laboratory Systems Research Group Seminar
Next Generation Dynamic Spectrum Networks
Computer Laboratory Computer Architecture Group Meeting
Communicating Process Architecture for Multicores
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 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 Programming Research Group Seminar
Two Software-Based Models of Thread Level Speculation
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
Computer Laboratory Systems Research Group Seminar
Opportunistic Mobile Sensor Data Collection with SCAR
Computer Laboratory Systems Research Group Seminar
Wide-area migration of Virtual Machines including local persistent state
Computer Laboratory Systems Research Group Seminar
Research at the NUS Interactive Multimedia Lab
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.
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
Gates Distinguished Lecture Series
The Visual and the Visceral: Pornography and Sanctity, Modern and Medieval
Gates Distinguished Lecture Series
Web 2.0
Gates Distinguished Lecture Series
Managing China's Rise
Gates Distinguished Lecture Series
To Boldly Go. My Life in Physics.
β οΈ To reserve a place email GatesHawking@gmail.com
Please see above for contact details for this list.