![[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
tcg40's list
A personal list of talks.
Contact: Tobias Grosser
0 upcoming talks View 658 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
SANDWICH Seminar (Computer Laboratory)
ArchSem: Reusable Rigorous Semantics of Relaxed Architectures
SANDWICH Seminar (Computer Laboratory)
Decision procedures for parametric multi-width bitvectors
SANDWICH Seminar (Computer Laboratory)
Soteria and Compositional Symbolic Execution Γ la Carte
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 Systems Research Group Seminar
Adaptive Resource Allocation for Low-Latency LLM Serving in Dynamic Environments
SANDWICH Seminar (Computer Laboratory)
Dependent Linear Type Theory via Bunched(less) Implications
SANDWICH Seminar (Computer Laboratory)
Confluence of Term Rewriting Systems with Variable Binding
SANDWICH Seminar (Computer Laboratory)
Executable Specification of a Production Hypervisor
SANDWICH Seminar (Computer Laboratory)
Type Checking is Proof Reductions in Classical Linear Logic
SANDWICH Seminar (Computer Laboratory)
SANDWICH Day
SANDWICH Seminar (Computer Laboratory)
An Invitation to Synthetic Domain Theory
SANDWICH Seminar (Computer Laboratory)
Automated Methods for Logic-Based Higher-Order Program Verification
Computer Laboratory Systems Research Group Seminar
AI Meets Economics: The Case of Auction-Assisted AI Systems in Cloud-Edge Continuum
SANDWICH Seminar (Computer Laboratory)
Heyting Algebras and Higher-Order Logic
SANDWICH Seminar (Computer Laboratory)
PNVI-ae-udi: the last (most recent) C memory object model
SANDWICH Seminar (Computer Laboratory)
A Computer Architect's Attempt at Using Type Theoretic Concepts to Model Branch Predictors
Computer Laboratory Systems Research Group Seminar
The Case for Decentralized Scheduling in Modern Datacenters
SANDWICH Seminar (Computer Laboratory)
Toward a liquid call-by-push-value
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
SANDWICH Seminar (Computer Laboratory)
The 2-Category of Graded Monads
SANDWICH Seminar (Computer Laboratory)
A Typed, Algebraic Approach to Parsing
SANDWICH Seminar (Computer Laboratory)
Skew structure in categories
SANDWICH Seminar (Computer Laboratory)
Free algebras for free theories
SANDWICH Seminar (Computer Laboratory)
Closing the Gap between Transactional Consistency Models and Executable Code using Separation Logic
SANDWICH Seminar (Computer Laboratory)
Generalised J rules and simultaneous pattern matching of equalities
SANDWICH Seminar (Computer Laboratory)
What does it take to certify a conversion checker?
Computer Laboratory Systems Research Group Seminar
The Demikernel Datapath Architecture for Microsecond-scale Datacenter Systems
SANDWICH Seminar (Computer Laboratory)
The Denotational Semantics of SSA
Computer Laboratory Systems Research Group Seminar
OSDB: Turning the Tables on Kernel Data
SANDWICH Seminar (Computer Laboratory)
Decision Procedures for Bitvector Reasoning in Lean
SANDWICH Seminar (Computer Laboratory)
Substitution, Normalization, and Formalization
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
SANDWICH Seminar (Computer Laboratory)
Mixed Linear-Cartesian Theories as Substitution Monoids
SANDWICH Seminar (Computer Laboratory)
Unrolling Lists
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
SANDWICH Seminar (Computer Laboratory)
Do You Really Understand Incompleteness?
SANDWICH Seminar (Computer Laboratory)
Executable Separation Logic Specifications in CN
SANDWICH Seminar (Computer Laboratory)
Toward a Coq formalisation of the Arm architecture
SANDWICH Seminar (Computer Laboratory)
On the Operational Theory of the CPS-Calculus
Computer Laboratory Systems Research Group Seminar
Modelling orchestration
SANDWICH Seminar (Computer Laboratory)
Traversing the Eckmann-Hilton Hyperclock
SANDWICH Seminar (Computer Laboratory)
Some cool facts about dualities
lc985's list
Cambridge Compiler Social Talks
Computer Laboratory Systems Research Group Seminar
Compiling Distributed System Models with PGo, and Beyond
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 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 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 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 Systems Research Group Seminar
How debuggable is your (compiler-optimised) program?
Wednesday Seminars - Department of Computer Science and Technology
The Compilation Game: Unifying AI, Hardware Design, Quantum, Climate Modelling, and Verification
SANDWICH Seminar (Computer Laboratory)
A Denotational Approach to Release/Acquire Concurrency
Computer Laboratory Systems Research Group Seminar
DINC: Toward Distributed In-Network Computing / Exploring the Benefits of Carbon-Aware Routing
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
SANDWICH Seminar (Computer Laboratory)
Computing inverses in higher categories
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
SANDWICH Seminar (Computer Laboratory)
Type theoretic approaches to semistrictness
SANDWICH Seminar (Computer Laboratory)
Higher-Order Algebraic Effects and Handlers
SANDWICH Seminar (Computer Laboratory)
A couple of things Iβve learned about algebraically universal categories
SANDWICH Seminar (Computer Laboratory)
Generic bidirectional typing for dependent type theories
SANDWICH Seminar (Computer Laboratory)
Definitional Functoriality for Dependent (Sub)Types
SANDWICH Seminar (Computer Laboratory)
Polymorphic Subtyping with Polarisation: β Β± β
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 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 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 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 Systems Research Group Seminar
Do switches dream of machine learning?
Computer Laboratory Systems Research Group Seminar
Asynchrony, Ordering, and Protocols
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 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 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 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 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 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
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 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 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 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 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 Systems Research Group Seminar
Ios: Why work when you can delegate?
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 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 Systems Research Group Seminar
OS Design for Modern Hardware
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 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 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 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 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 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 Systems Research Group Seminar
GraphChi and GraphChi-DB: large-scale graph computation on just a PC
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 Systems Research Group Seminar
CELAR+SCAN: Moving HPC to the cloud
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 Systems Research Group Seminar
A random walk through open data and more
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 Systems Research Group Seminar
A crowdsourced approach for mobile sensing: How distributed data mining meets mobile devices
Computer Laboratory Systems Research Group Seminar
NetCheck: Network Diagnoses from Blackbox Traces
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 Systems Research Group Seminar
Network-Design Sensitivity Analysis
Computer Laboratory Systems Research Group Seminar
Daily Habits of Happy People: Accelerometers
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 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 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 Systems Research Group Seminar
(How) can we secure Internet routing?
Computer Laboratory Systems Research Group Seminar
Measuring and Analyzing Online Advertising
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 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 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 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 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 Systems Research Group Seminar
Anomaly Detection in the Field
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 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)
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 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 Systems Research Group Seminar
Towards Efficient Traffic-analysis Resistant Anonymity Networks
β οΈ Joint seminar with Security Group Seminar.
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 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 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 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 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 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 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 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 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 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 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 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 Systems Research Group Seminar
Attacks and defenses in decentralised botnets
Computer Laboratory Systems Research Group Seminar
Economics of BitTorrent Communities
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 Systems Research Group Seminar
Real-time verification with bigraphs with sharing
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 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 Systems Research Group Seminar
Analysis of the call group structure in the BT call records dataset
Computer Laboratory Systems Research Group Seminar
On User Availability Prediction And Network Applications
Computer Laboratory Systems Research Group Seminar
IPv6 Transition and IPv4 address sharing mechanisms
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 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 Systems Research Group Seminar
Software Bloat: A systems' perspective
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 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 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 Systems Research Group Seminar
Evaluation of Network Resilience and Survivability: Analysis, Simulation, Tools, and Experimentation
Computer Laboratory Systems Research Group Seminar
Exploiting Temporal Complex Network Metrics in Mobile Malware Containment
Computer Laboratory Systems Research Group Seminar
Networks in Natural Language Processing
Computer Laboratory Systems Research Group Seminar
On the social scientific value of transactional data
Computer Laboratory Systems Research Group Seminar
Calico: Disciplined Work-Stealing for Varying Core-Counts
Computer Laboratory Systems Research Group Seminar
Revisiting delay-based TCP, and implementing 'stateless' TCP for HTTP servers
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 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 Systems Research Group Seminar
Improving Content Delivery Networks by Tracking Geographic Social Cascades
Computer Laboratory Systems Research Group Seminar
Promoting location privacy... one lie at a time
Computer Laboratory Systems Research Group Seminar
Media landscape in Twitter: A world of new conventions and political diversity
Computer Laboratory Systems Research Group Seminar
Running dynamic algorithms on static hardware
Computer Laboratory Systems Research Group Seminar
The Microsoft .NET Gadgeteer Prototyping Platform and Home Heating Control using Occupancy Prediction
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 Systems Research Group Seminar
Virtualisation in the Network
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 Systems Research Group Seminar
The CamCube project: Rethinking the data center cluster
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
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 Systems Research Group Seminar
Discrete Gene Regulatory Networks: A novel approach to configuring sensor network operation
Computer Laboratory Systems Research Group Seminar
Routing in Equilibrium
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 Systems Research Group Seminar
Towards deeply publish/subscribe-based Web
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 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 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 Systems Research Group Seminar
Anzere: replication policy scaling for personal storage networks
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
Computer Laboratory Systems Research Group Seminar
Experiences of Designing and Deploying Intelligent Sensor Nodes in Construction Sites
Computer Laboratory Systems Research Group Seminar
Detecting Temporal Sybil Attacks
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 Systems Research Group Seminar
An information-centric transport protocol
Computer Laboratory Systems Research Group Seminar
How Google Tests Software
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 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
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
Computer Laboratory Systems Research Group Seminar
Bringing network coding into the network
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 Systems Research Group Seminar
Coded Wireless Video Broadcast/Multicast - A Framework To Harvest The True Potential Of 4G Access Networks
Computer Laboratory Systems Research Group Seminar
Security Architectures for Distributed Social Networks
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 Systems Research Group Seminar
Microeconomic Modeling of Incentives for Managed Overlays
Computer Laboratory Systems Research Group Seminar
Content Centric Networking
Computer Laboratory Systems Research Group Seminar
A Dirty-slate Approach to Routing Scalability
Computer Laboratory Systems Research Group Seminar
Triangular clustering in document networks
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 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 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 Systems Research Group Seminar
Baggy Bounds Checking: An Efficient and Backwards-Compatible Defense against Out-of-Bounds Errors
Computer Laboratory Systems Research Group Seminar
Mobile Agent Electronic Triage Tag
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 Systems Research Group Seminar
ClackPointSocial: Audio/Video Collaboration for OpenSocial
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 Systems Research Group Seminar
Delivery Properties of Human Social Networks
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 Systems Research Group Seminar
ROAR: Increasing the Flexibility and Performance of Distributed Search
Computer Laboratory Systems Research Group Seminar
Juggling with IPTV⦠or A GMPLS infrastructure for a better multicast IPTV network
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
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
Computer Laboratory Systems Research Group Seminar
Wedge: Splitting Applications into Reduced-Privilege Compartments
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 Systems Research Group Seminar
Spread-Spectrum Computation
Computer Laboratory Systems Research Group Seminar
Using Fair DHTs for Location Aware Service Discovery
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 Systems Research Group Seminar
Sensing, Understanding and Modelling People using Mobile Phones
Computer Laboratory Systems Research Group Seminar
Usage of FPGA for Passive Network Monitoring
Computer Laboratory Systems Research Group Seminar
Can I be your disruption-tolerant friend?
Computer Laboratory Systems Research Group Seminar
On Low Dimensional Random Projections and Similarity Search
Computer Laboratory Systems Research Group Seminar
Geosensor Networks: State of the Art
Computer Laboratory Systems Research Group Seminar
Mobicom Rehearsal Day
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 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 Systems Research Group Seminar
Virtually Saving the Planet
Computer Laboratory Systems Research Group Seminar
A Weighted Spectrum Metric for Comparison of Internet Topologies
Computer Laboratory Systems Research Group Seminar
Epidemic Streaming: the story so far
Computer Laboratory Systems Research Group Seminar
Preventing memory error exploits with WIT
Computer Laboratory Systems Research Group Seminar
Stabilizing Internet Routing: or, A Story of Heterogeneity
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 Systems Research Group Seminar
Scheduling for multi-carrier wireless systems
Computer Laboratory Systems Research Group Seminar
Perceptually motivated playout delay adaptation algorithm for VoIP network
Computer Laboratory Systems Research Group Seminar
Web Programming with Links: Theory and Practice
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 Systems Research Group Seminar
Scaling Internet Routing with Legacy Protocols
Computer Laboratory Systems Research Group Seminar
Camel: Paravirtual memory CoW in Xen
Computer Laboratory Systems Research Group Seminar
A Security Architecture for Wireless Medical Sensor Networks
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 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
Computer Laboratory Systems Research Group Seminar
Next Generation Dynamic Spectrum Networks
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 Systems Research Group Seminar
San Fermin: Aggregating Large Data Sets using Dynamic Binomial Trees
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
Please see above for contact details for this list.