ah460's list

Tech law vs tech design: why can't we be friends?

User Dr Tristan Henderson, University of St Andrews.

House Room SS03, Computer Laboratory, William Gates Building.

Friday 22 March 2024, 15:00-16:00

lc985's list

Democratizing Data Science by Leveraging Structure

User Amir Shaikhha.

Friday 22 March 2024, 11:00-12:00

A Privacy-Preserving Architecture and Data-sharing Model for Cloud-IoT Applications

User Dr Jenjira Jaimunk, Department of Computer Engineering, Chiang Mai University.

Thursday 21 March 2024, 15:00-16:00

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.

User Giray Yağlıkçı / Geraldo Francisco.

Computer Laboratory Computer Architecture Group Meeting

Thursday 14 March 2024, 15:00-16:00

Optimization Methods for Accelerator Mapping and Hardware Design Space Exploration

User Grace Dinh, Unversity of Berkley.

House SS03, Computer Laboratory, William Gates Building.

Friday 08 March 2024, 13:00-14:00

Computer Laboratory Computer Architecture Group Meeting

Representing Data Collections for Analysis and Transformation

User Tommy McMichen, Northwestern University.

House SS03, Computer Laboratory, William Gates Building.

Friday 08 March 2024, 10:45-11:45

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

User Andrés Colubri, University of Massachusetts.

Computer Laboratory Computer Architecture Group Meeting

Thursday 29 February 2024, 15:00-16:00

OptiWISE: Combining Sampling and Instrumentation for Granular CPI Analysis

User Yuxin Guo, University of Cambridge.

House SC04, Computer Laboratory, William Gates Building.

Tuesday 27 February 2024, 12:00-13:00

How debuggable is your (compiler-optimised) program?

User Stephen Kell, King's College London.

Computer Laboratory Computer Architecture Group Meeting

Thursday 22 February 2024, 15:00-16:00

Compiler Testing with Relaxed Memory Models with L. Geeson

User Luke Geeson.

House SN08, Computer Laboratory, William Gates Building.

Tuesday 20 February 2024, 17:00-18:00

Wednesday Seminars - Department of Computer Science and Technology

The Compilation Game: Unifying AI, Hardware Design, Quantum, Climate Modelling, and Verification

User Dr Tobias Grosser - Department of Computer Science and Technology, University of Cambridge.

House Lecture Theatre 1, Computer Laboratory, William Gates Building.

Wednesday 07 February 2024, 15:05-15:55

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.

User Lionel Parreaux, HKUST (Hong Kong University of Science and Technology).

House Computer Laboratory, William Gates Building, LT2.

Friday 26 January 2024, 15:15-16:15

tcg40's list

Visual, Interactive, and Explainable Human-AI Collaboration

User Menna El-Assady.

Wednesday 24 January 2024, 16:00-17:00

DINC: Toward Distributed In-Network Computing / Exploring the Benefits of Carbon-Aware Routing

User changgang.zheng@eng.ox.ac.uk, sawsan.elzahr@eng.ox.ac.uk.

Computer Laboratory Computer Architecture Group Meeting

Thursday 23 November 2023, 15:00-16:00

Unlocking the Power of Data-Centric Acceleration for Modern Applications

User Haiyu Mao, ETH Zurich.

House SS03, Computer Laboratory, William Gates Building.

Friday 10 November 2023, 15:00-16:00

Navigating the Open Source Landscape: Insights from Ayan Kumar and Edwin Torok

https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09

User Ayan Kumar, AMD.

Thursday 09 November 2023, 15:00-16:00

K9db: Privacy-Compliant Storage For Web Applications By Construction

https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09

User Malte Schwarzkopf (Brown University).

Computer Laboratory Computer Architecture Group Meeting

Friday 27 October 2023, 15:00-16:00

Modern Cache Prefetching and Page Size Aware Cache Prefetching

Note unusual time

User Texas A&M.

House Lecture Theatre 2, Department of Computer Science & Technology, 15 JJ Thompson Avenue, Madingley Road, Cambridge, CB3 0FD.

Wednesday 13 September 2023, 13:30-14:30

Computer Laboratory Computer Architecture Group Meeting

SQuadS: Self-Serve System Services for new Hardware-Software Cooperation

User Nazerke Turtayeva, UC Santa Barbara.

House SS03, Computer Laboratory, William Gates Building.

Thursday 07 September 2023, 13:00-14:00

Hardware for Machine Learning

Tenstorrent - building AI/ML accelerators

User Thaddeus Fortenberry, Ali Ziadi and Luke Yen.

House LT2, Computer Laboratory, William Gates Building.

Tuesday 01 August 2023, 10:00-12:00

Memo: an incremental computation library that powers Dune

https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09

User Andrey Mokhov, Jane Street.

Computer Laboratory Computer Architecture Group Meeting

Thursday 29 June 2023, 15:00-16:00

Wally: Bridging he CPU Education-Implementation Gap

Note unusual time

User Prof. David Harris, Harvey Mudd College.

House SS03, Computer Laboratory, William Gates Building.

Thursday 22 June 2023, 11:00-12:00

Monitoring and Improving QoE for the home network via large scale CPE deployment.

https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09

User Iain Fraser, Netduma.

Computer Laboratory Computer Architecture Group Meeting

Thursday 15 June 2023, 15:00-16:00

Synthesizing Accelerators for FPGAs the Functional Way

User Christophe Dubach (McGill University).

House SS03, Computer Laboratory, William Gates Building.

Thursday 01 June 2023, 14:00-15:00

House FW11 and https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09.

Past, Present and Future of Wireless Networking

User Dr. Mallik Tatipamula, CTO, Ericsson, Silicon Valley.

Thursday 25 May 2023, 15:00-16:00

House FW26 and https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09.

In-Network Machine Learning for Market Prediction Using Limit Order Books

User Xinpeng Hong, University of Oxford.

Thursday 18 May 2023, 15:00-16:00

House FW26 and https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09.

Insights into Routing on Service Addresses (ROSA)

User Dirk Trossen, Huawei.

Thursday 04 May 2023, 15:00-16:00

House FW11 and https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09.

Follow the Transistors, a New Approach to Systems Software

User George Neville-Neil.

Tuesday 02 May 2023, 15:00-16:00

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

User Dr Mark Hayter.

House Lecture Theatre 2, Department of Computer Science & Technology, 15 JJ Thompson Avenue, Madingley Road, Cambridge, CB3 0FD.

Thursday 12 January 2023, 15:00-16:00

House FW11 and https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09.

Consumer IoT devices Identification at the Edge

User Roman Kolcun, University of Cambridge.

Thursday 01 December 2022, 15:00-16:00

House https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09.

Scene understanding in emergency response scenarios

User Niki Trigoni, Oxford.

Thursday 24 November 2022, 15:00-16:00

House FW11 or https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09.

The Challenges of Controlling a Quantum Computer

User Kenton Barnes, Riverlane.

Thursday 10 November 2022, 15:00-16:00

House FW11 and https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09.

ca

User Speaker to be confirmed.

Tuesday 01 November 2022, 15:00-16:00

House FW11 and https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09.

Achieving Consistent Low Latency for Wireless Real-Time Communications with the Shortest Control Loop

User Zili Meng, Tsinghua Unversity.

Thursday 18 August 2022, 15:00-16:00

House https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09.

cISP: A Speed-of-Light Internet Service Provider

User Brighten Godfrey, UIUC and VMware.

Thursday 21 July 2022, 15:00-16:00

House FW11 and https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09.

Building trustworthy multi-party systems in the cloud (without handling over the keys to the kingdom)

User Heidi Howard, Microsoft Research.

Thursday 07 July 2022, 15:00-16:00

House https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09.

Trustworthy Digital Identity - Systems Architecture

User Jon Crowcroft, CL and Turing institute.

Thursday 30 June 2022, 15:00-16:00

House https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09.

Are we stuck with the current Internet Protocol (IP)? (And does it matter if we are?)

User Saleem Bhatti, U. St Andrews.

Thursday 09 June 2022, 15:00-16:00

House FW11 and https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09.

Order! A tale of money, intrigue, and specifications.

User Lorenzo Alvisi, Cornell University.

Thursday 26 May 2022, 15:00-16:00

House FW11 and https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09.

Towards an Internet of Reality

User James Gross, KTH Stockholm.

Thursday 12 May 2022, 15:00-16:00

House https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09.

Internet Traffic Analysis at Scale

User Anja Feldmann, Max Planck Institute for Informatics.

Thursday 24 March 2022, 15:00-16:00

House https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09.

AI and Big Data for Social Good: From Covid Infection Study to Drug Repurposing for the Treatment of Alzheimer’s Disease

User Jacqueline Lam and Victor Li, University of Hong Kong.

Thursday 17 March 2022, 15:00-16:00

House https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09.

Towards Digital Sovereignty in the Age of Hyper-giants

User Vaibhav Bajpai, CISPA Helmholtz Center for Information Security,.

Thursday 10 March 2022, 15:00-16:00

House FW11 and https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09.

Software as a Network

User Brighten Godfrey, UIUC and VMware.

Thursday 03 March 2022, 15:00-16:00

House FW11 and https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09.

Turbocharging Serverless Research with vHive

User Dmitrii Ustiugov, University of Edinburgh.

Thursday 24 February 2022, 15:00-16:00

House FW11 and https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09.

Networked Systems in the Era of Programmable Dataplanes

User Arvind Krishnamurthy, University of Washington.

Thursday 17 February 2022, 15:00-16:00

House FW11 and https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09.

Perception-Driven Optimization: A New Frontier for Scaling Internet Applications

User Junchen Jiang, University of Chicago.

Thursday 10 February 2022, 15:00-16:00

House FW11 and https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09.

Health Monitoring with Wireless Sensors and Machine Learning

User Bruce Maggs, Duke University and Emerald Innovations.

Thursday 03 February 2022, 15:00-16:00

House FW11 and https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09.

Cache Networks with Optimality Guarantees

User Stratis Ioannidis, Northeastern University.

Thursday 27 January 2022, 15:00-16:00

House FW11 and https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09.

Assertions for Distributed Systems

User Aurojit Panda, NYU.

Thursday 20 January 2022, 15:00-16:00

House FW11 and https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09.

Towards Performant Networking from Low-Earth Orbit

User Debopam Bhattacherjee, ETH Zürich.

Thursday 13 January 2022, 15:00-16:00

House FW11 and https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09.

Making the Most of Massive Clusters

User Fiodar Kazhamiaka, Stanford.

Thursday 02 December 2021, 15:00-16:00

House FW11 and https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09.

Automerge: A New Foundation for Collaboration Software

User Martin Kleppmann, Cambridge.

Thursday 25 November 2021, 15:00-16:00

House FW11 and https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09.

AnyOpt: Predicting and Optimizing IP Anycast Performance

User David Choffnes, Northeastern University.

Thursday 18 November 2021, 15:00-16:00

House FW11 and https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09.

The Demikernel OS Architecture for Kernel-Bypass, Microsecond Systems

User Irene Zhang, Microsoft Research.

Thursday 04 November 2021, 15:00-16:00

House FW11 and https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09.

Cloud-native data systems for the post-Moore era

User Jana Giceva, TU Munich.

Thursday 28 October 2021, 15:00-16:00

House FW11 and https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09.

Programmable data plane

User Minlan Yu, Harvard and Google.

Thursday 21 October 2021, 15:00-16:00

House FW11 and https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09.

Why is Zoom so much more popular than standards-based videoconferencing?

User Henning Schulzrinne, Columbia University.

Thursday 14 October 2021, 15:00-16:00

House FW11 and https://cl-cam-ac-uk.zoom.us/j/97216272378?pwd=M2diTFhMTnppckJtNWhFVTBKK0REZz09.

Edge network opens the door of heterogeneous network federation

User Yuchao Zhang, BUPT and Cambridge.

Thursday 07 October 2021, 15:00-16:00

House https://meet.google.com/cyk-qqgm-buj.

Revisiting MANETs in 2021

User Marco Caballero (University of Cambridge).

Friday 30 July 2021, 13:15-14:15

House https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon.

Hey, you got your distributed algorithm in my ML!

User Tim Harris, Microsoft.

Thursday 15 July 2021, 15:00-16:00

House https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon.

Unsafe at Any Speed? Self-Driving Networks without Self-Crashing Networks

User Jeff Mogul, Google.

Thursday 08 July 2021, 15:00-16:00

House https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon.

Internet Transparency

User Katerina Argyraki, EPFL.

Thursday 24 June 2021, 15:00-16:00

House https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon.

Leveraging over-provisioned WANs for next-generation services

User Rachee Singh.

Thursday 10 June 2021, 15:00-16:00

House https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon.

Network Function Virtualization and its Application to Improve the Architecture and Protocols of Future Cellular Networks

User K. K. Ramakrishnan, UC Riverside.

Thursday 03 June 2021, 15:00-16:00

House https://cl-cam-ac-uk.zoom.us/j/4361570789?pwd=Nkl2T3ZLaTZwRm05bzRTOUUxY3Q4QT09&from=addon.

Mapping Mobile Broadband Access

User Ellen Zegura, Georgia Tech.

Thursday 27 May 2021, 15:00-16:00

iBox: Internet in a Box

User Venkat Padmanabhan, Microsoft Research.

Thursday 20 May 2021, 15:00-16:00

WLANs above 100 GHz: Mobility, Sensing, and Security

User Edward Knightly (Rice).

Thursday 13 May 2021, 15:00-16:00

Teleoperating Mobile Things

User Joerg Ott (TU Munich).

Thursday 06 May 2021, 15:00-16:00

Examining Raft's behaviour during partial network failures

User Chris J. Jensen, Computer Lab.

Thursday 29 April 2021, 15:00-16:00

Consumer IoT devices: Privacy Implications and Device Identification

User Roman Kolcun, Computer Lab.

Thursday 22 April 2021, 15:00-16:00

House meet.google.com/bbd-mrcv-arg.

Understanding the Weaponization of the Web via Data-Driven Analysis

User Emiliano De Cristofaro (UCL).

Thursday 15 April 2021, 15:00-16:00

Protection, restoration and expansion of the world's woodlands as Nature-based Solutions to the climate and biodiversity crises: how can computer science help?

User David Coomes (Plant Sciences).

Thursday 08 April 2021, 15:00-16:00

House meet.google.com/rvx-amuv-xrh.

Towards Grey Fault Tolerant Cloud Systems

User Ryan Huang.

Thursday 01 April 2021, 15:00-16:00

Obstacles to Wearable Computing

User Helen Oliver, Computer Lab.

Thursday 25 March 2021, 15:00-16:00

DNA for archival storage

User Omer Sella, Computer Lab.

Thursday 18 March 2021, 15:00-16:00

Rearchitecting Kubernetes for the Edge

User Andrew Jeffery, Computer Lab.

Thursday 11 March 2021, 15:00-16:00

Designing Next Generation Network Interface Cards

User Aditya Akella, University of Wisconsin, Madison.

Thursday 25 February 2021, 15:00-16:00

Programmable, Hardware-Based Routing and Scheduling

User Vanbever Laurent, ETH Zurich.

Thursday 18 February 2021, 15:00-16:00

Pluginizing Internet Protocols

User Olivier Bonaventure.

Thursday 04 February 2021, 15:00-16:00

Practical Edge Computing for Mobile X Reality

User Pan (Ben) Hui, HKUST.

Thursday 28 January 2021, 15:00-16:00

Let It Rain - Interactive Smart Building Data Visualisations for Real-time Sensor Readings

User Justas Brazauskas (CL).

Thursday 21 January 2021, 15:00-16:00

Running NFV Service Chains at the True Speed of the Underlying Hardware

User Dejan Kostic, KTH.

Thursday 03 December 2020, 15:00-16:00

Load Migration in SDN Controllers

User Yashar Ganjali, University of Toronto.

Thursday 26 November 2020, 15:00-16:00

On the Art of Wielding a Double-Edged Sword (or, Finessing Modern Networks)

User Samer Al-Kiswany, University of Waterloo.

Thursday 19 November 2020, 15:00-16:00

Mir-BFT: Robust Scaling of Classical BFT

User Marko Vukolic, IBM Research, Zurich.

Thursday 12 November 2020, 15:00-16:00

The Battle for Bandwidth: Fairness and Heterogenous Congestion Control on Today's Internet

User Justine Sherry, CMU.

Thursday 29 October 2020, 15:00-16:00

Enclave-Aware Compartmentalization and Secure Sharing with Sirius

User Zahra Tarkhani, Computer Lab.

Thursday 22 October 2020, 15:00-16:00

Twins: White-Glove Approach for BFT Testing

User Shehar Bano, Novi (Facebook).

Thursday 15 October 2020, 15:00-16:00

Bias in AI

User Derek McAuley.

Thursday 08 October 2020, 15:00-16:00

Scaling AI Systems with Optical I/O

User Manya Ghobadi, MIT.

Thursday 10 September 2020, 15:00-16:00

Smart Cities with Privacy Assurance

User Sid Chau, ANU.

Thursday 03 September 2020, 15:00-16:00

Sirius: A Flat Datacenter Network with Nanosecond Optical Switching

User Hitesh Ballani, MSR.

Thursday 20 August 2020, 15:00-16:00

Systematic Rateless Coding for Efficient Data Transport in Data Centres

User Mohammed Alasmar, Department of Informatics, University of Sussex.

Thursday 06 August 2020, 15:00-16:00

Caching with Delayed Hits

User Nirav Atre, CMU.

Thursday 30 July 2020, 15:00-16:00

House https://meetingsemea10.webex.com/meet/sk818 .

Untangling the Web by tracking our trackers

User Nishanth Sastry.

Thursday 02 July 2020, 15:00-16:00

House https://meetingsemea10.webex.com/meet/sk818 .

Service-Aware Provisioning for Greener & Smarter Cellular Networks

User Li Rongpeng, Zhejiang University, Hangzhou China.

Thursday 25 June 2020, 15:00-16:00

House https://meetingsemea10.webex.com/meet/sk818 .

Battery-Free, Low-Cost Sensing with RFIDs

User Ju Wang, University of Waterloo.

Thursday 18 June 2020, 15:00-16:00

House Webex Meeting number: 140 388 203 Password: ZApmfTb7h56 https://meetingsemea10.webex.com/meetingsemea10/j.php?MTID=mf0c350ff1fab96540218f5767c51d098.

Building Enzian: a research computer

User Timothy Roscoe, ETH Zurich.

Thursday 11 June 2020, 15:00-16:00

House Webex Meeting number: 140 388 203 Password: ZApmfTb7h56 https://meetingsemea10.webex.com/meetingsemea10/j.php?MTID=mf0c350ff1fab96540218f5767c51d098.

Latency-driven Performance in Data Centres

User Diana Popescu, Computer Lab.

Thursday 04 June 2020, 15:00-16:00

House Webex Meeting number: 140 388 203 Password: ZApmfTb7h56 https://meetingsemea10.webex.com/meetingsemea10/j.php?MTID=mf0c350ff1fab96540218f5767c51d098.

All for One and One for All: Decoupling IP in the Connection from the Endhost Communication.

User Marwan Fayed, Cloudflare Research.

Thursday 28 May 2020, 15:00-16:00

House Webex Meeting number: 140 388 203 Password: ZApmfTb7h56 https://meetingsemea10.webex.com/meetingsemea10/j.php?MTID=mf0c350ff1fab96540218f5767c51d098.

Spatio-Temporal Data Collection and Analysis for Developing Transport related Services

User Rohit Verma (Computer Lab).

Thursday 21 May 2020, 15:00-16:00

House Webex Meeting number: 140 388 203 Password: ZApmfTb7h56.

HovercRaft: Achieving Scalability and Fault-tolerance for microsecond-scale Datacenter Services

User Marios Kogias.

Thursday 07 May 2020, 15:00-16:00

End-to-End Congestion Control via Endpoint-Centric, Wireless Physical-Layer Capacity Measurements

User Kyle Jamieson (Princeton).

House Webex.

Thursday 30 April 2020, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Title to be confirmed

User Shruti Tople (MSR).

Thursday 16 April 2020, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Systematic Rateless Coding for Efficient Data Transport in Data Centres

User Mohammed Alasmar (University of Sussex).

Thursday 12 March 2020, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Owl: OCaml Scientific and Engineering Computing

User Jianxin Zhao (Computer Lab).

Thursday 05 March 2020, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Trip Report - CCC

User Richard Mortier (Computer Lab).

Thursday 27 February 2020, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Securing IoT with Azure Sphere

User James Scott (MSR).

Thursday 13 February 2020, 15:00-16:00

Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series

The SPHERE project

User Ian Craddock (University of Bristol).

Thursday 06 February 2020, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Controlling time in networking: from delay-tolerant networking to low-latency networking

User Kyunghan Lee (UNIST).

Thursday 30 January 2020, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Information Exposure From Consumer IoT Devices: A Multidimensional Network-Informed Approach

User Anna Maria Mandalari (Imperial College).

Thursday 23 January 2020, 15:00-16:00

House FW11, Computer Laboratory, William Gates Builiding.

Self-Programming Networks: Applications to Financial Trading Systems

User Balaji Prabhakar (Stanford).

Tuesday 21 January 2020, 13:00-14:00

House FW26, Computer Laboratory, William Gates Building.

XOX Fabric: A hybrid approach to blockchain transaction execution

User Christian Gorenflo (University of Waterloo).

Thursday 16 January 2020, 15:00-16:00

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Dynamic Compilation and Optimization of Software Network Functions

User Sebastiano Miano(Politecnico di Torino).

Thursday 12 December 2019, 15:00-16:00

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

FastFabric: Scaling Hyperledger Fabric to 20,000 Transactions per Second

User Srinivasan Keshav (Computer Lab).

Thursday 05 December 2019, 15:00-16:00

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Network Hygiene, Incentives, and Regulation: Deployment of Source Address Validation in the Internet

User Matthew Luckie(University of Waikato).

Thursday 14 November 2019, 15:00-16:00

Computer Laboratory Computer Architecture Group Meeting

Fast and Efficient Deployment of Security Defenses via Microcode Customization

Note unusual time and location

User Prof Ashish Venkat, University of Virginia.

House SS03, Computer Laboratory, William Gates Building.

Monday 11 November 2019, 09:30-10:30

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Do switches dream of machine learning?

User Noa Zilberman (Computer Lab).

Thursday 07 November 2019, 15:00-16:00

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Asynchrony, Ordering, and Protocols

User Amit Chopra (Lancaster University).

Thursday 17 October 2019, 15:00-16:00

Computer Laboratory Computer Architecture Group Meeting

The new clang constant interpreter

User Nandor Licker (University of Cambridge).

House GS15, Computer Laboratory.

Wednesday 16 October 2019, 11:00-12:00

Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series

Agricultural Robotics

User Charles Fox (University of Lincoln).

House Room SS03, Computer Laboratory, William Gates Building.

Monday 07 October 2019, 11:00-12:00

Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series

Amulet and Auracle: Wearable Platforms for mHealth Research

User David Kotz (Dartmouth College).

Monday 30 September 2019, 11:00-12:00

House FW26, Computer Laboratory, William Gates Building.

How to Partition Resources and Eliminate (Most) OS Abstractions for Fast I/O

User Pekka Enberg (University of Helsinki).

Monday 23 September 2019, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Context-Based Zero-Interaction Authentication

User Neil Klingensmith (Loyola University Chicago).

Thursday 12 September 2019, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Clustering insomnia pattern and learning sleep quality from daily logs

User Shaun Park (KAIST).

Thursday 05 September 2019, 15:00-16:00

Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series

Context and Behaviour Modelling of User and Urban Activities

User Flora Salim (RMIT University).

Wednesday 28 August 2019, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

The new USB4 standard

User Mark Hayter (Google).

Thursday 08 August 2019, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Test Automation and Debug hardware for Chromebooks

User Mark Hayter (Google).

Thursday 30 May 2019, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Local-first software: Returning data ownership to users

User Martin Kleppman (Computer Lab).

Thursday 23 May 2019, 15:00-16:00

Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series

The Smart Hospital Living Lab

User Vassilis Kostakos (University of Melbourne).

Thursday 16 May 2019, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Crostini - Architecture for running Linux VMs seamlessly and securely on Chrome OS

User Zach Reizner (Google).

Wednesday 15 May 2019, 11:00-12:00

Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series

A Decade of Ubiquitous Computing Research in Mental Health

User Jakob Bardram (DTU).

Thursday 25 April 2019, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

IPv6 over LPWAN: when 6LoWPAN is too heavy for (long range) IoT links!

User Carles Gomez (UPC).

Thursday 11 April 2019, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

The Case For In-Network Computing On Demand

User Noa Zilberman (Computer Lab).

Friday 22 March 2019, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Network Science and Telecommunications

User Piet Van Mieghem (TU Delft).

Thursday 21 March 2019, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Debugging and Repairing P4 Programs

User Costin Raiciu (University Politehnica of Bucharest).

Wednesday 20 March 2019, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

LinuxKit: new ways of using Linux

User Justin Cormack (Docker).

Thursday 14 March 2019, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

A Framework for Data Collection and Management for IoT

User Maribel Fernandez (KCL).

Thursday 28 February 2019, 15:00-16:00

House LT2, Computer Laboratory, William Gates Building.

Computational Behavior Analysis through Wearables and Machine Learning -- Pushing the Boundaries towards usable Digital Health.

User Thomas Ploetz (Georgia Tech).

Thursday 21 February 2019, 15:00-16:00

House FW11, Computer Laboratory, William Gates Building.

Open Source Quantum Computing

User Mathew Treinish (IBM).

Thursday 14 February 2019, 16:00-17:00

House FW26, Computer Laboratory, William Gates Building.

Performance Contracts for Software Network Functions

User Rishabh Iyer (EPFL).

Tuesday 12 February 2019, 16:00-17:00

House FW26, Computer Laboratory, William Gates Building.

Accountable Systems and Google Maps

User Ben Wagner (Vienna University).

Thursday 07 February 2019, 15:00-16:00

House FW11, Computer Laboratory, William Gates Building.

Replace your exploit-ridden firmware with a Linux Kernel

User Ron Minnich (Google).

Thursday 31 January 2019, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

From Unikernels to Nabla Containers

User Daniel Williams (IBM).

Thursday 24 January 2019, 15:00-16:00

House SS03, Computer Laboratory, William Gates Building.

Dr Spin, or the Tao of Threes

User Jon Crowcroft (Computer Lab).

Thursday 13 December 2018, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

The nitty gritty of doing a PhD

User Jon Crowcroft (Computer Lab).

Thursday 06 December 2018, 15:00-16:00

House SS03, Computer Laboratory, William Gates Building.

Cross-modality Inference in Ubiquitous Human Identification

User Chris Lu (Oxford).

Thursday 29 November 2018, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Chromebooks, USB-C and Google PI/SI Research

User Mark Hayter (Google).

Thursday 22 November 2018, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

The Elusive Internet Flatening: 10 Years of IXP Growth

User Ignacio Castro (Queen Mary).

Thursday 08 November 2018, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Privacy Trading in the Apps and IoT Age: Markets and Computation

User Ranjan Pal (USC).

Thursday 25 October 2018, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Using large-scale simulation for the national assessment of Fibre-To-The-Premises and 5G deployment

User Edward Oughton (Oxford).

Thursday 11 October 2018, 15:00-16:00

House LT2, Computer Laboratory, William Gates Building.

Understanding PCIe performance for end host networking

User Rolf Neugebauer (Netronome).

Thursday 16 August 2018, 15:30-16:00

House LT2, Computer Laboratory, William Gates Building.

FEC killed the cut-through switch

User Omer Sella (Computer Lab).

Thursday 16 August 2018, 15:00-15:30

House FW26, Computer Laboratory, William Gates Building.

Enabling the Internet of Things - IoT Penetrate the Base of Pyramid in Sub-Saharan Africa

User Taita Ngetich (Illuminum Greenhouses, Kenya).

Tuesday 17 July 2018, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

New projects in human-data interaction

User Matthew Chalmers (University of Glasgow).

Thursday 12 July 2018, 15:00-16:00

House SW00, Computer Laboratory, William Gates Building.

Building modern dataflow systems

User Frank McSherry (ETH Zürich).

Thursday 12 July 2018, 11:00-12:00

House FW26, Computer Laboratory, William Gates Building.

Hardware-conscious data processing systems

This talk has been cancelled and will be rescheduled.

User Holger Pirk (Imperial College London).

Thursday 28 June 2018, 15:00-16:00

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

User Berkin Ilbeyi, Cornell.

Wednesday 20 June 2018, 11:00-12:00

House FW26, Computer Laboratory, William Gates Building.

Edge Computing through Distributed Trust and Programmable Privacy

User Ioannis Psaras (UCL).

Thursday 31 May 2018, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Research Challenges and Solutions for IOT/CPS

User John A. Stankovic (University of Virginia).

Thursday 17 May 2018, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Quantifying Privacy Loss of Human Mobility Graph Topology

User Dionysis Manousakas (Computer Lab).

Thursday 03 May 2018, 15:00-16:00

Computer Laboratory Computer Architecture Group Meeting

Green Cache

User Erik Hagersten, Uppsala University.

House FW26, Computer Laboratory, William Gates Building.

Thursday 26 April 2018, 14:00-15:00

Computer Laboratory Computer Architecture Group Meeting

Directed Speculation in Multi-core Memory Systems to Improve Performance and Efficiency

User Dr. Paul V. Gratz.

House SS03, Computer Laboratory, William Gates Building.

Tuesday 24 April 2018, 14:00-15:00

Computer Laboratory Computer Architecture Group Meeting

Intra-Core Loop-Task Accelerators for Task-Based Parallel Programs

Note unusual time

User Dr . Christopher Batten, ECE, Cornell University (visiting scholar in Cambridge).

Thursday 19 April 2018, 14:00-15:00

House SS03, Computer Laboratory, William Gates Building.

Customising the system stack for data processing on modern hardware

User Jana Giceva (Imperial College London).

Thursday 12 April 2018, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

My VM is Lighter (and Safer) than your Container

User Felipe Huici (NEC Laboratories Europe).

Thursday 08 March 2018, 15:00-16:00

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

User Manuel Rigger, Johannes Kepler University, Linz.

House FS09, William Gates Building.

Friday 02 March 2018, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Highly Energy Efficient Key-value Store for In-network Computing

User Yuta Tokusashi (Computer Lab).

Thursday 22 February 2018, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Energy landscape of multivariate time series data

starting time at 15:00! sorry for the confusion!

User Naoki Masuda (University of Bristol).

Thursday 15 February 2018, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Analysis of Spatio-temporal Representations for Robust Footstep Recognition with Deep Residual Neural Networks

User Omar Costilla - Reyes (University of Manchester).

Thursday 25 January 2018, 15:00-16:00

Computer Laboratory Programming Research Group Seminar

Energy Efficient Compilation of Irregular Task-Parallel Loops

User Krishna Nandivada, IIT Madras, India.

Thursday 25 January 2018, 14:00-15:00

House FW26, Computer Laboratory, William Gates Building.

Geolocated Datasets for Urban Science

User Bruno Goncalves.

Thursday 23 November 2017, 15:00-16:00

House FW11, Computer Laboratory, William Gates Building.

Play it on the Edge - the Fun, the Risks, and the Lessons

User Aaron Yi Ding (TUM).

Tuesday 21 November 2017, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Does your smartwatch miss a (heart) beat? - Investigation of wearables for affective research

User Katrin Hänsel (QMUL).

Thursday 09 November 2017, 15:00-16:00

House FW11, Computer Laboratory, William Gates Building.

When Streaming and Active Queue Management Collides: Experiments with Chunklets

User Jonathan Kua (Swinburne University of Technology).

Tuesday 07 November 2017, 14:00-15:00

House FW26, Computer Laboratory, William Gates Building.

Correctness of Speculative Optimizations with Dynamic Deoptimization

User Gabriel Scherer (Parsifal, INRIA Saclay, France).

Thursday 02 November 2017, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Data Plane programmability: the next step in Software Defined NetworkingData Plane programmability: the next step in Software Defined Networking

User Giuseppe Bianchi (University of Rome Tor Vergata).

Thursday 26 October 2017, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Secure Multi-Party Linear Regression on High-Dimensional Data

User Borja Balle (Amazon).

Thursday 19 October 2017, 15:00-16:00

House FW11, Computer Laboratory, William Gates Building.

The Rise of Augmented Intelligence in Edge Networks

User Chenren Xu (Peking University).

Thursday 05 October 2017, 11:00-12:00

House FW26, Computer Laboratory, William Gates Building.

DataFlow SuperComputing for BigData

User Veljko Milutinovic.

Thursday 28 September 2017, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Enzian: A Research Computer for Rack-Scale and Datacenter Computing

User Timothy Roscoe (ETH).

Friday 15 September 2017, 11:00-12:00

House FW26, Computer Laboratory, William Gates Building.

GAON: General-purpose Application Offload to Near-Network Processors

User Mark Silberstein (Technion).

Thursday 14 September 2017, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

What is the Difference between Emulation and Virtualization?

User Christoph Kirsch (University of Salzburg).

Friday 08 September 2017, 11:00-12:00

House FW26, Computer Laboratory, William Gates Building.

PTPmesh: Data Center Network Latency Measurements Using PTP

User Diana Popescu (Computer Lab).

Thursday 07 September 2017, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Bringing the Web up to Speed with WebAssembly

User Andreas Rossberg (Google).

Friday 01 September 2017, 11:00-12:00

House FW26, Computer Laboratory, William Gates Building.

Understanding Urban Events with CrowdSourced Data

User Kasthuri Jayarajah (Singapore Management University).

Thursday 17 August 2017, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Disk|Crypt|Net: rethinking the stack for high-performance video streaming

User Ilias Marinos (Computer Lab).

Thursday 27 July 2017, 15:00-16:00

Computer Laboratory Computer Architecture Group Meeting

Redundancy in Deep Neural Networks and Its Impacts to Hardware Accelerator Design

User Jiang Su, Imperial College London.

Monday 24 July 2017, 11:00-12:00

House FW26, Computer Laboratory, William Gates Building.

A deep dive into Multicore OCaml garbage collector

User KC Sivaramakrishnan (Computer Lab).

Thursday 20 July 2017, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Classification of Twitter Accounts into Automated Agents and Human Users

User Zafar Gilani (Computer Lab).

Thursday 13 July 2017, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Emu: Rapid Prototyping of Networking Services

User Noa Zilberman.

Thursday 06 July 2017, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Model based system configuration and tasteful hardware

User Reto Achermann (ETH Zurich).

Thursday 06 July 2017, 10:00-11:00

House FW26, Computer Laboratory, William Gates Building.

Picosecond scale measurement for nanosecond scale networks

User Matthew Grosvenor (Exablaze).

Thursday 29 June 2017, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Seeing is Believing: A state-based formalization of database isolation

User Natacha Crooks (University of Texas at Austin and Cornell University).

Monday 19 June 2017, 15:00-16:00

rdm34's list

The Biomaker Challenge: an introduction

User Jenny Molloy, Department of Plant Sciences.

House Computer Laboratory, room SS03.

Tuesday 13 June 2017, 12:00-12:30

Logic and Semantics Seminar (Computer Laboratory)

What does the Future of Programming Look Like?

User David Pearce, Victoria University of Wellington, New Zealand.

Computer Laboratory Computer Architecture Group Meeting

Friday 19 May 2017, 14:00-15:00

Energy-Quality Scalable Adaptive VLSI Circuits and Systems – The Way towards the Next 10X Energy Reduction

Note unusual time

User Prof. Massimo Alioto, National University of Singapore.

House SS03, Computer Laboratory, William Gates Building.

Tuesday 09 May 2017, 14:00-15:00

Computer Laboratory Computer Architecture Group Meeting

Processors for the Data Center and Cloud of the Future

User David Wentzalff, Princeton University.

Friday 05 May 2017, 10:00-11:00

House FW26, Computer Laboratory, William Gates Building.

Routing the Future: Bootstrapping Internet Innovation

User Marco Chiesa (University of Louvain).

Thursday 04 May 2017, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Open Source Network Tester on NetFPGA-SUME Platform

User Jong Hun Han (Computer Lab).

Thursday 27 April 2017, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

P4-NetFPGA

User Stephen Ibanez (Stanford University).

Thursday 20 April 2017, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

200 ppi and other annoying things about displays

User Mark Hayter (Google).

Thursday 06 April 2017, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Pandia: comprehensive contention-sensitive thread placement

User Daniel Goodman (Oracle).

Thursday 30 March 2017, 15:00-15:30

House FW26, Computer Laboratory, William Gates Building.

Where Has My Time Gone?

User Diana Andreea Popescu (Computer Lab).

Thursday 16 March 2017, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

A Study of Bluetooth Low Energy Performance for Human Proximity Detection in the Workplace

User Alessandro Montanari (University of Cambridge).

Thursday 09 March 2017, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Mobile Sensing at the Service of Mental Well-being: a Large-Scale Longitudinal Study

User Sandra Servia (QMUL).

Thursday 09 March 2017, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Towards a Stateful Forwarding Abstraction for Software and Hardware Network Functions

User Roberto Bifulco (NEC).

Thursday 02 March 2017, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

A Digital Architecture for Future Cities

User Ian Lewis (University of Cambridge).

Thursday 16 February 2017, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Groove Radio: A Bayesian Hierarchical Model for Personalized Playlist Generation

User Noam Koenigstein (Microsoft Research).

Thursday 09 February 2017, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Lasp: Dataflow programming for large-scale distributed applications

User Christopher Meiklejohn.

Thursday 09 February 2017, 14:00-15:00

House FW26, Computer Laboratory, William Gates Building.

Internet measurements in Africa

User Amreesh Phokeer (AFRINIC).

Thursday 02 February 2017, 16:00-17:00

House FW26, Computer Laboratory, William Gates Building.

Internet Monitoring at Scale

User Michael Meisel (VP Engineering at ThousandEyes).

Thursday 02 February 2017, 15:00-16:00

Computer Laboratory Digital Technology Group (DTG) Meetings

The Next-Generation Vector Architecture for HPC

User Mbou Eyole, ARM.

House SS03, Computer Laboratory, William Gates Building.

Monday 30 January 2017, 14:05-14:55

House FW11, Computer Laboratory, William Gates Building.

Towards an SDN-enabled Federated Internet

User Roberto di Lallo (QMUL).

Thursday 26 January 2017, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

High-level development and debugging of FPGA-based network programs

User Nik Sultana (University of Cambridge).

Thursday 19 January 2017, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

ClassBench-ng: Recasting ClassBench After a Decade of Network Evolution

User Jiri Matousek (Brno University of Technology).

Thursday 15 December 2016, 15:00-16:00

House FW11, Computer Laboratory, William Gates Building.

The Lift Project: Performance Portable GPU Code generation via Rewrite Rules

User Michel Steuwer (University of Edinburgh).

Friday 09 December 2016, 11:00-12:30

Computer Laboratory Computer Architecture Group Meeting

The Future of Computer Architecture

User Gavin Stark, Visiting Fellow, Computer Laboratory.

Computer Laboratory Computer Architecture Group Meeting

Tuesday 29 November 2016, 15:00-16:30

FPGA Implementations of High-bandwidth and Low-Latency Machine Learning based on Online Kernel Methods

User Prof Philip Leong, University of Sydney.

House SS03, Computer Laboratory, William Gates Building.

Monday 28 November 2016, 15:00-16:30

Computer Laboratory Programming Research Group Seminar

Automatic Identification and Parallelisation of General Reduction Operations

User Philip Ginsbach, University of Edinburgh.

Wednesday 23 November 2016, 15:15-16:15

House FW26, Computer Laboratory, William Gates Building.

Flexible Paxos: Reaching agreement without majorities

User Heidi Howard (Computer Laboratory).

Thursday 10 November 2016, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Tendermint: Byzantine Fault Tolerance in the age of Blockchains

User Ethan Buchman (Tendermint).

Tuesday 08 November 2016, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Open Connect Everywhere: A Glimpse at the Internet Ecosystem through the Lens of the Netflix CDN

User Timm Böttger (QMUL).

Thursday 03 November 2016, 15:00-16:00

House SS03, Computer Laboratory, William Gates Building.

Unik: A platform for automating unikernel compilation and deployment

User Idit Levine (EMC).

Wednesday 19 October 2016, 11:00-12:00

House FW26, Computer Laboratory, William Gates Building.

Firmament: fast, centralized cluster scheduling at scale

User Ionel Gog (Computer Lab).

Thursday 13 October 2016, 15:00-16:00

House SS03, Computer Laboratory, William Gates Building.

A Changing Landscape: Securing The Internet of Things (IoT)

User Sanjay K. Jha (University of New South Wales, Sydney).

Friday 07 October 2016, 11:15-12:15

House FW26, Computer Laboratory, William Gates Building.

I(FIB)F: Iterated Bloom Filters for Routing in Named Data Networks

User Cristina Munoz Illescas (University of Geneva).

Thursday 06 October 2016, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

A system of cooperative security for the Internet and 5G

User Raimo Kantola (Aalto University, Finland).

Thursday 29 September 2016, 16:00-17:00

House FW26, Computer Laboratory, William Gates Building.

LEO: Scheduling Sensor Inference Algorithms across Heterogeneous Mobile Processors and Network Resources

User Petko Georgiev (Computer Lab).

Thursday 29 September 2016, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Leveraging RDMA to Build a Real-Time Cloud for the Internet of Things

User Ken Birman (Cornell University).

Thursday 22 September 2016, 15:00-16:00

Computer Laboratory Programming Research Group Seminar

Title to be confirmedFlow- and Context-Sensitive Points-to Analysis using Generalized Points-to Graphs

User Pritam Gharat, IIT Bombay.

Tuesday 13 September 2016, 14:00-15:00

House FW26, Computer Laboratory, William Gates Building.

Would you use 20V 2.25A or 15V 3A to charge your Chromebook and once charged how would you run Android Apps?

User Mark Hayter (Google).

Thursday 08 September 2016, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

FlashBlade: Hardware and Software Co-design

User Alex Ho (Pure Storage).

Thursday 11 August 2016, 15:00-16:00

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.

User Prof Huiyun Li, Shenzhen Institutes of Advanced Technology.

House Lecture Theatre 1, Computer Laboratory.

Tuesday 02 August 2016, 14:45-15:30

Computer Laboratory Computer Architecture Group Meeting

Barrier-Aware Warp Scheduling for Throughput Processors

Note unusual time

User Prof Yu Zhibin, Shenzhen Institutes of Advanced Technology.

House Lecture Theatre 1, Computer Laboratory.

Tuesday 02 August 2016, 14:00-14:45

House FW26, Computer Laboratory, William Gates Building.

Towards synchronized (and programmable) datacenters

User Vishal Shrivastav (Cornell University).

Thursday 28 July 2016, 15:00-16:00

House FW11, Computer Laboratory, William Gates Building.

Unikernels and Beyond: the future of application containers in the cloud

User Dan Williams (IBM Research, Yorktown Heights, NY).

Tuesday 12 July 2016, 11:00-12:00

House FW26, Computer Laboratory, William Gates Building.

A Fast and Practical Software Packet Scheduling Architecture

User Luigi Rizzo (Universita` di Pisa).

Wednesday 06 July 2016, 11:00-12:00

House FW26, Computer Laboratory, William Gates Building.

Managing Privacy Trade-Offs in the Internet

User David Naylor (Carnegie Mellon University).

Thursday 30 June 2016, 15:00-16:00

Computer Laboratory Computer Architecture Group Meeting

OpenPiton

User Jonathan Balkind, Princeton University.

Thursday 30 June 2016, 11:00-12:00

House FW26, Computer Laboratory, William Gates Building.

Ios: Why work when you can delegate?

User Heidi Howard (Computer Laboratory).

Thursday 16 June 2016, 15:00-16:00

Computer Laboratory Programming Research Group Seminar

Program Verification Using Cyclic Proof

User Reuben Rowe, UCL.

Computer Laboratory Programming Research Group Seminar

Thursday 19 May 2016, 13:00-14:00

Gotta Go Fast: Futhark - A Data-Parallel Purely Functional Language and its Optimising GPGPU Compiler

Note unusual day and time

User Troels Henriksen (DIKU).

House SS03 Meeting Room, Computer Laboratory.

Wednesday 11 May 2016, 11:30-12:30

Rainbow Group Seminars

A Live, Multiple-Representation Probabilistic Programming Environment for Novices

User Maria Gorinova (University of Cambridge).

Thursday 05 May 2016, 11:15-12:15

Computer Laboratory Programming Research Group Seminar

Dependent types, linear types and operating systems

User Matthew Danish (University of Cambridge).

Thursday 28 April 2016, 13:00-14:00

House FW26, Computer Laboratory, William Gates Builiding.

Optimal-Performance Next-Generation (Datacenter) Networks

User Michael Schapira (Hebrew University of Jerusalem).

Thursday 21 April 2016, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

A Decade of IoT Standard Communication Protocols

User Carles Gomez Montenegro (UPC).

Thursday 31 March 2016, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

On PCIe Performance

User Rolf Neugebauer (Docker, Inc).

Thursday 17 March 2016, 15:00-16:00

Computer Laboratory Programming Research Group Seminar

Meeting on Testing and Verification for Computational Science

User Multiple speakers.

Tuesday 15 March 2016, 12:30-18:00

House FW26, Computer Laboratory, William Gates Building.

Measuring Urban Social Diversity Using Interconnected Geo-Social Networks

User Desislava Hristova (Computer Lab).

Thursday 10 March 2016, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Do Not Believe Everything You Read in the Papers

User Tim Harris (Oracle Labs, Cambridge, UK).

Thursday 03 March 2016, 15:00-16:00

House SS03, Computer Laboratory, William Gates Building.

Is every java program a unikernel? An introduction to IncludeOS' design and foundations

User Alfred Bratterud (HiOA).

Thursday 25 February 2016, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Exploring the Web Frontier

User Gareth Tyson (Queen Mary University of London).

Thursday 18 February 2016, 15:00-16:00

Computer Laboratory Programming Research Group Seminar

Biggest Challenges for Kotlin: Interoperability and Tooling

User Andrey Breslav.

Wednesday 17 February 2016, 11:00-12:00

House FW26, Computer Laboratory, William Gates Building.

OS Design for Modern Hardware

User Prof. Timothy Roscoe (ETHZ).

Thursday 11 February 2016, 15:00-16:00

Logic and Semantics Seminar (Computer Laboratory)

Effects as sessions, sessions as effects

NOTE UNUSUAL VENUE

User Dominic Orchard, Computer Laboratory.

Friday 05 February 2016, 14:00-15:00

House FW26, Computer Laboratory, William Gates Builiding.

An Overview on Bigraphs, Their Applications, and Future Research Directions

User Michele Sevegnani (University of Glasgow).

Thursday 28 January 2016, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Pelican: A Building Block for Exascale Cold Data Storage

User Austin Donnelly (Microsoft Research, Cambridge).

Thursday 21 January 2016, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Even Faster VM Networking with Virtual Passthrough

User Giuseppe Lettieri (University of Pisa) .

Thursday 14 January 2016, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Characterization of Professional Users Behavior in Major Online Social Networks

User Reza Farahbakhsh (Telecom SudParis).

Friday 11 December 2015, 11:00-12:00

House LT2, Computer Laboratory, William Gates Building.

Systems Software for The Machine

User Dejan Milojicic (HP Labs).

Friday 04 December 2015, 11:00-12:00

House FW26, Computer Laboratory, William Gates Building.

A First Look at the Internet Usage Context of Indigenous U.S. Populations

CANCELLED.

User Elizabeth Belding (UCSB).

Thursday 03 December 2015, 11:00-12:00

House FW26, Computer Laboratory, William Gates Building.

The Internet as your killer ICN use case

User Dirk Trossen (InterDigital Europe).

Thursday 26 November 2015, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Cluster management at Google with Borg

User John Wilkes (Google).

Tuesday 24 November 2015, 11:00-12:00

House SS03, Computer Laboratory, William Gates Building.

Credit Cycle and Efficient Market Hypothesis - a practical point of view

User Eric Lu .

Thursday 19 November 2015, 16:00-17:00

House FW26, Computer Laboratory, William Gates Building.

FlowWatcher: Preventing Data Disclosure Vulnerabilities in Web Applications

User Dan O'Keeffe (Imperial College London).

Thursday 05 November 2015, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

No compromises: distributed transactions with consistency, availability, and performance

User Aleksandar Dragojevic (MSR Cambridge) .

Thursday 29 October 2015, 15:00-16:00

Computer Laboratory Programming Research Group Seminar

Towards a dynamic object model within Unix processes

User Stephen Kell (University of Cambridge).

Friday 23 October 2015, 14:00-15:00

House FW26, Computer Laboratory, William Gates Building.

Pro-Diluvian: Understanding Scoped-Flooding for Content Discovery in Information-Centric Networking

User Liang Wang (University of Cambridge).

Thursday 22 October 2015, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Durability and Access Control for Scalable Distributed Filesystems

User Stergios Anastasiadis (University of Ioannina).

Thursday 15 October 2015, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Reaching reliable agreement in an unreliable world

User Heidi Howard (University of Cambridge).

Thursday 08 October 2015, 15:00-16:00

House FW26, Computer Laboratory, William Gates Building.

Clean Application Compartmentalization with SOAAP

User Khilan Gudka (University of Cambridge).

Thursday 01 October 2015, 15:00-16:00

Computer Laboratory Programming Research Group Seminar

The Gamma: Programming tools for data journalism

User Tomas Petricek (University of Cambridge).

Friday 11 September 2015, 14:00-15:00

House FW26, Computer Laboratory, William Gates Builiding.

Universal laws and architectures: theory and lessons from brains, nets, hearts, bugs, grids, flows, and zombies

User John Doyle (Caltech).

Monday 24 August 2015, 15:00-16:00

House FW26, Computer Laboratory, William Gates Builiding.

Routes and Interconnectivity: An Internet Trend and an Architectural Proposal

User Sergey Gorinsky (IMDEA).

Thursday 13 August 2015, 15:00-16:00

Computer Laboratory Computer Architecture Group Meeting

The CAVA Computer: Exceptional Parallelism and Energy Efficiency

Note unusual time and venue

User Dr Peter Hsu.

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Thursday 23 July 2015, 11:30-12:30

Computer Laboratory Programming Research Group Seminar

Brand Objects and Gradual Contracts

User Timothy Jones (Victoria University of Wellington).

Tuesday 21 July 2015, 12:00-13:00

House FW26, Computer Laboratory, William Gates Builiding.

Unobtrusive Smartphone-based Mobile Health Systems: Experiences with Biological Rhythm Monitoring

User Guoliang Xing (Michigan State University).

Thursday 16 July 2015, 15:00-16:00

House FW26, Computer Laboratory, William Gates Builiding.

Trust in Networks and Collaborating Networked Systems

User John S. Baras (University of Maryland College Park).

Monday 13 July 2015, 11:00-12:00

House FW26, Computer Laboratory, William Gates Builiding.

IX: A Protected Dataplane Operating System for High Throughput and Low Latency

User Ana Klimovic (Stanford University).

Thursday 09 July 2015, 15:00-16:00

Computer Laboratory Programming Research Group Seminar

Improving Implicit Parallelism

User Jose Calderon, University of York.

Friday 12 June 2015, 14:00-15:00

House FW26, Computer Laboratory, William Gates Builiding.

Next-generation data-parallel dataflow systems

User Frank McSherry (frankmcsherry.org).

Thursday 11 June 2015, 15:00-16:00

House FW26, Computer Laboratory, William Gates Builiding.

The vision for a Data Transparency Lab

User Nikolaos Laoutaris (Telefonica Research in Barcelona).

Friday 05 June 2015, 14:00-15:00

House FW26, Computer Laboratory, William Gates Builiding.

Life out on the Savannah... Formal Models meet Mixed-Reality Systems

User Michele Sevegnani (University of Glasgow).

Monday 01 June 2015, 14:00-15:00

House FW26, Computer Laboratory, William Gates Builiding.

Rethinking State-Machine Replication for Multicore Architectures

User Parisa Jalili Marandi (MSR Cambridge).

Thursday 28 May 2015, 15:00-16:00

House FW26, Computer Laboratory, William Gates Builiding.

Summaries on mobile phones: Context learning and data simplification

User Rik Sarkar (University of Edinburgh).

Thursday 14 May 2015, 15:00-16:00

House FW26, Computer Laboratory, William Gates Builiding.

Analytics on Graphs with a Trillion Edges

User Willy Zwaenepoel (EPFL).

Friday 08 May 2015, 11:00-12:00

House FW26, Computer Laboratory, William Gates Builiding.

Copy Content, Copy Friends: Studies of Content Curation and Social Bootstrapping on Pinterest

User Changtao Zhong (KCL).

Thursday 23 April 2015, 15:00-16:00

Computer Laboratory Computer Architecture Group Meeting

Harder, Better, Faster, Stronger - Elliptic Curve Discrete Logarithm Computations on FPGAs

User Erich Wenger, Graz University of Technology, Austria.

House SC04, Computer Laboratory, William Gates Building.

Monday 20 April 2015, 10:00-11:00

Computer Laboratory Programming Research Group Seminar

Probability and Prejudice: Bridging the Gap Between Machine Learning and Programming Languages

User Neil Toronto, University of Maryland.

Friday 17 April 2015, 10:00-11:00

House FW26, Computer Laboratory, William Gates Builiding.

Online Reputation Management: Estimating the Impact of Management Responses on Consumer Reviews

User Davide Proserpio (Boston University).

Thursday 16 April 2015, 15:00-16:00

House FW26, Computer Laboratory, William Gates Builiding.

The SAFE Network from First Principles

User Erick Lavoie (McGill University).

Friday 10 April 2015, 11:00-12:00

House FW26, Computer Laboratory, William Gates Builiding.

Musketeer: all for one, one for all in data processing systems

User Ionel Gog (University of Cambridge).

Thursday 09 April 2015, 15:00-16:00

Computer Laboratory Security Seminar

Chupja--PHY Covert Channels: Can you see the Idles?

User Hakim Weatherspoon, assistant professor, Department of Computer Science, Cornell University.

House LT2, Computer Laboratory, William Gates Building.

Tuesday 31 March 2015, 14:00-15:00

House FW26, Computer Laboratory, William Gates Builiding.

Queues don’t matter when you can JUMP them!

User Matthew Grosvenor (University of Cambridge).

Thursday 26 March 2015, 15:00-16:00

House FW26, Computer Laboratory, William Gates Builiding.

Saber: Line-Rate Stream Processing on Heterogeneous Architectures

User Alexandros Koliousis (Imperial College London).

Thursday 19 March 2015, 15:00-16:00

House FW26, Computer Laboratory, William Gates Builiding.

On Factors Affecting the Usage and Adoption of a Nation-wide TV Streaming Service

User Dmytro Karamshuk (KCL).

Thursday 12 March 2015, 15:00-16:00

House LT2, Computer Laboratory, William Gates Building.

Rumors, cascades and word of mouth: observing virality on Facebook

User Adrien Friggeri (Facebook).

Thursday 05 March 2015, 14:00-15:00

House FW26, Computer Laboratory, William Gates Builiding.

Aestheticodes: Beautiful Interaction

User Richard Mortier (University of Cambridge).

Thursday 19 February 2015, 15:00-16:00

House SS03, Computer Laboratory, William Gates Builiding.

Computers, Clocks and Network Time: Everything you never wanted to know about time

User George Neville-Neil (Neville-Neil Consulting).

Thursday 12 February 2015, 15:00-16:00

Computer Laboratory Programming Research Group Seminar

Reflection without Remorse: Revealing a hidden sequence to speed up monadic reflection

User Oleg Kiselyov.

Computer Laboratory Digital Technology Group (DTG) Meetings

Monday 09 February 2015, 15:00-16:00

Debugging Distributed Systems: A worked example

Note unusual venue

User George Neville-Neil .

House LT1, Computer Laboratory, William Gates Builiding.

Monday 09 February 2015, 14:05-14:55

Computer Laboratory Computer Architecture Group Meeting

Neural simulation on diverse computational hardware

User Dr Dan Goodman, Imperial.

House SS03, Computer Laboratory, William Gates Building.

Monday 09 February 2015, 14:00-15:00

House FW26, Computer Laboratory, William Gates Builiding.

GraphChi and GraphChi-DB: large-scale graph computation on just a PC

User Aapo Kyrölä (Facebook).

Thursday 05 February 2015, 15:00-16:00

Computer Laboratory Computer Architecture Group Meeting

PSLP: Padded SLP Automatic Vectorization

User Vasileios Porpodas, University of Cambridge.

Wednesday 04 February 2015, 11:00-12:00

House SS03, Computer Laboratory, William Gates Builiding.

Advanced Physical Layer Techniques for Wireless Multihop Networks

User Adrian Loch (Technische Universität Darmstadt).

Thursday 29 January 2015, 15:00-16:00

House FW26, Computer Laboratory, William Gates Builiding.

Computational Privacy: On the privacy-conscientious use of metadata

User Yves-Alexandre de Montyoye (MIT Media Lab).

Tuesday 20 January 2015, 15:00-16:00

House FW26, Computer Laboratory, William Gates Builiding.

First Impressions on the State of Cellular Data Connectivity in India

User Zahir Koradia (IITB).

Thursday 11 December 2014, 15:00-16:00

Computer Laboratory Programming Research Group Seminar

QuLog: A modern logic-based agent-implementation language

User Professor Keith L Clark, Imperial College.

Friday 05 December 2014, 14:00-15:00

House FW26, Computer Laboratory, William Gates Builiding.

CELAR+SCAN: Moving HPC to the cloud

User Chris Smowton (University of Manchester, Cancer Research UK).

Thursday 04 December 2014, 15:00-16:00

Computer Laboratory Computer Architecture Group Meeting

Bringing computer vision to the masses

User David Moloney, CTO Movidius.

Tuesday 02 December 2014, 10:00-11:00

House FW26, Computer Laboratory, William Gates Builiding.

Life in the Slow Lane

User Arjuna Sathiaseelan (University of Cambridge).

Thursday 27 November 2014, 15:00-16:00

House SS03, Computer Laboratory, William Gates Builiding.

Bridging the gap between networking and end-host computing

User Noa Zilberman (University of Cambridge).

Thursday 20 November 2014, 15:00-16:00

House FW26, Computer Laboratory, William Gates Builiding.

Holistic GC: Coordinating Garbage Collection across Rack-scale Systems

User Tim Harris (Oracle Lab).

Thursday 13 November 2014, 15:00-16:00

Computer Laboratory Computer Architecture Group Meeting

Raising Computational Throughput and Energy Efficiency by Synthesizing Software into FPGA Hardware

Note unusual time and venue

User Prof Jason Anderson, University of Toronto.

House SS03, Computer Laboratory, William Gates Building.

Monday 10 November 2014, 15:00-16:00

Computer Laboratory Computer Architecture Group Meeting

USB Type-C: How hard is it to pick two resistors?

Note unusual time and venue

User Dr Mark Hayter, Google consumer hardware.

House Lecture Theatre 1, Computer Laboratory.

Friday 07 November 2014, 12:00-13:00

House FW26, Computer Laboratory, William Gates Builiding.

A random walk through open data and more

User Laura James (Open Knowledge Foundation).

Thursday 06 November 2014, 15:00-16:00

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

User Dr Daniel Egloff, QuantAlea AG.

House Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

Monday 03 November 2014, 14:00-15:00

House FW26, Computer Laboratory, William Gates Builiding.

End-to-End Performance Isolation through Virtual Datacenters

User Hitesh Ballani (MSR Cambridge).

Thursday 30 October 2014, 15:00-16:00

A Look at the Consequences of Internet Censorship Through an ISP Lens

User Sheharbano Khattak (Cambridge University).

Friday 24 October 2014, 16:00-16:45

House FW26, Computer Laboratory, William Gates Builiding.

1) Mining Users' Significant Driving Routes with Low-power Sensors 2) DSP.Ear: Leveraging Co-Processor Support for Continuous Audio Sensing on Smartphones

User Sarfraz Nawaz and Petko Georgiev (University of Cambridge).

Thursday 23 October 2014, 15:00-16:00

House FW26, Computer Laboratory, William Gates Builiding.

The Wireless Ecosystem – An ICT4D Perspective

User Marco Zennaro (ICTP).

Wednesday 22 October 2014, 11:00-12:00

House FW26, Computer Laboratory, William Gates Builiding.

Modelling a Community's Health and Mobility Patterns with Mobile Phone Data

User Katayoun Farrahi (Goldsmiths, University of London).

Thursday 16 October 2014, 15:00-16:00

House SS03, Computer Laboratory, William Gates Builiding.

Faithful Reproduction of Network Experiments

User Dimosthenis Pediaditakis (University of Cambridge).

Monday 13 October 2014, 16:00-16:30

Computer Laboratory Computer Architecture Group Meeting

RISC-V: A Free and Open Instruction Set Architecture

User Krste Asanovic, University of California, Berkeley.

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Thursday 09 October 2014, 16:00-17:00

House FW26, Computer Laboratory, William Gates Builiding.

A crowdsourced approach for mobile sensing: How distributed data mining meets mobile devices

User Ella Peltonen (University of Helsinki).

Thursday 09 October 2014, 15:00-16:00

Computer Laboratory Programming Research Group Seminar

Logic programming beyond Prolog

This is an MSR Seminar (Station Road), duplicated on the CPRG list

User Maarten van Emden, University of Victoria, Canada.

House Seminar Room, Microsoft Research, Station Road, Cambridge.

Thursday 09 October 2014, 14:00-15:00

House SS03, Computer Laboratory, William Gates Builiding.

NetCheck: Network Diagnoses from Blackbox Traces

User Justin Cappos (NYU).

Friday 03 October 2014, 15:00-16:00

Computer Laboratory Computer Architecture Group Meeting

Randomised testing of a microprocessor model using SMT-solver state generation

Note unusual time

User Dr Brian Campbell, Edinburgh.

House SC04, Computer Laboratory, William Gates Building.

Tuesday 16 September 2014, 11:00-12:00

Computer Laboratory Programming Research Group Seminar

Embedding effect systems in Haskell

User Dominic Orchard (University of Cambridge).

Friday 29 August 2014, 14:00-15:00

House FW26, Computer Laboratory, William Gates Builiding.

The Architecture of Innovation: Tracking Face-to-Face Interactions with UbiComp Technologies

User Christos Efstratiou (University of Kent).

Wednesday 27 August 2014, 14:00-15:00

House FW26, Computer Laboratory, William Gates Builiding.

Ideas for the FireBox Software Stack

User Martin Maas (UC Berkeley).

Tuesday 12 August 2014, 14:00-15:00

House FW26, Computer Laboratory, William Gates Builiding.

Title to be confirmed

User Ella Peltonen (University of Helsinki).

Thursday 07 August 2014, 15:00-16:00

House FW26, Computer Laboratory, William Gates Builiding.

Modeling, Specifying, and Verifying X86 Hardware and Software

User Anna Slobodova (Centaur Technology) and Warren Hunt (University of Texas Austin).

Thursday 31 July 2014, 15:00-16:00

House FW26, Computer Laboratory, William Gates Builiding.

Consistency and Reliability in Cloud-backed Storage Systems

User Alysson Bessani (University of Lisbon) .

Thursday 24 July 2014, 15:00-16:00

House FW26, Computer Laboratory, William Gates Builiding.

Better Strategies for Data Collection in Sensor Networks

User Michael Segal (Ben-Gurion University of The Negev).

Thursday 17 July 2014, 15:00-16:00

Computer Laboratory Programming Research Group Seminar

Programming Robotic Agents: A Multi-tasking Teleo-Reactive Approach

User Professor Keith Clark, Department of Computing, Imperial College, London.

Monday 14 July 2014, 14:00-15:00

House FW26, Computer Laboratory, William Gates Builiding.

Network-Design Sensitivity Analysis

User Matthew Roughan (University of Adelaide).

Monday 14 July 2014, 11:00-12:00

House SS03, Computer Laboratory, William Gates Builiding.

Daily Habits of Happy People: Accelerometers

User Neal Lathia (University of Cambridge).

Thursday 10 July 2014, 15:00-16:00

Computer Laboratory Programming Research Group Seminar

Points-To and Alias Analysis -- the precision vs efficiency dilemma

User Professor Uday Khedker, Department of Computer Science & Engg. IIT Bombay, India. .

Tuesday 08 July 2014, 14:00-15:00

House FW26, Computer Laboratory, William Gates Builiding.

Sampling Theory of Large Graphs

User John C.S. Lui (Chinese University of Hong Kong).

Friday 04 July 2014, 11:00-12:00

House FW26, Computer Laboratory, William Gates Builiding.

Enriching Electronic Textbooks

User Krishnaram Kenthapadi (MSR SVC).

Thursday 03 July 2014, 11:00-12:00

House FW26, Computer Laboratory, William Gates Builiding.

Incoming.tv - Improving User Experience of Mobile Video through predictive prefetching

User Max Ott (NICTA).

Monday 23 June 2014, 11:00-12:00

House FW26, Computer Laboratory, William Gates Builiding.

AWARE: Human & Social Context For Wellbeing

User Denzil Ferreira (University of Oulu).

Thursday 19 June 2014, 15:00-16:00

House FW26, Computer Laboratory, William Gates Builiding.

Engineering a Market: Concepts and Research on the HAT

User Irene Ng (University of Warwick).

Thursday 12 June 2014, 15:00-16:00

House SS03, Computer Laboratory, William Gates Builiding.

Vehicular App Development: Opportunities and Challenges

User Sid Chi-Kin Chau (Masdar Institute of Science and Technology).

Wednesday 11 June 2014, 15:30-16:30

Computer Laboratory Programming Research Group Seminar

Formally Verified Security Micro Policies

User Arthur Azevedo de Amorim (Upenn).

House FW26, Computer Laboratory, William Gates Building.

Friday 06 June 2014, 14:00-15:00

House FW26, Computer Laboratory, William Gates Builiding.

The CHERI capability model: Revisiting RISC in an age of risk

User Jonathan Woodruff (University of Cambridge).

Thursday 05 June 2014, 15:00-16:00

House FW26, Computer Laboratory, William Gates Builiding.

Unsynchronized Visual Communication

User Wenjun Hu (Yale University).

Monday 02 June 2014, 15:00-16:00

House FW26, Computer Laboratory, William Gates Builiding.

I'm the repro man: a rant and some incremental improvements on reproducibility in systems research

User Tristan Henderson (University of St Andrews).

Thursday 29 May 2014, 15:00-16:00

Computer Laboratory Programming Research Group Seminar

Higher-kinded programming in ML

User Jeremy Yallop, University of Cambridge.

Friday 23 May 2014, 14:00-15:00

House SS03, Computer Laboratory, William Gates Builiding.

Branch Consistency or how to design a version controlled database

User Thomas Gazagnaire (University of Cambridge).

Thursday 22 May 2014, 15:00-16:00

House FW26, Computer Laboratory, William Gates Builiding.

From Big Data to banality of evil : toward an epistemological approach to ethics in Internet Era

User Kavé Salamatian (University of Savoie).

Friday 16 May 2014, 11:00-12:00

House FW26, Computer Laboratory, William Gates Builiding.

Examining Region-Specific Third-Party Web Tracking Services

User Hamed Haddadi (Queen Mary University of London).

Thursday 15 May 2014, 15:00-16:00

House FW26, Computer Laboratory, William Gates Builiding.

The story of figure 12b - trials, terrors and tribulations in applied systems research

User Matthew Grosvenor (University of Cambridge).

Thursday 08 May 2014, 15:00-16:00

Computer Laboratory Programming Research Group Seminar

A Core Quantitative Coeffect Calculus

User Marco Gaboardi (University of Dundee).

Computer Laboratory Programming Research Group Seminar

Monday 05 May 2014, 11:00-12:00

A Core Quantitative Coeffect Calculus

User Marco Gaboardi (University of Dundee).

Monday 05 May 2014, 11:00-12:00

House FW11, Computer Laboratory, William Gates Builiding.

(How) can we secure Internet routing?

User Michael Schapira (Hebrew University of Jerusalem).

Friday 18 April 2014, 16:00-17:00

House FW26, Computer Laboratory, William Gates Builiding.

Measuring and Analyzing Online Advertising

User Paul Barford (the University of Wisconsin).

Wednesday 16 April 2014, 16:00-17:00

Computer Laboratory Programming Research Group Seminar

Solving an existential crisis in Haskell

User Michael Gale (University of Cambridge).

Computer Laboratory Programming Research Group Seminar

Friday 04 April 2014, 14:00-15:00

What can Programming Language Research Learn from the Philosophy of Science?

User Tomas Petricek (University of Cambridge).

House GC22.

Friday 28 March 2014, 14:00-15:00

House FW26, Computer Laboratory, William Gates Builiding.

Cosmic Rays Don't Strike Twice: Understanding the Nature of DRAM Errors and the Implications for System Design

User Ioan Stefanovici (University of Toronto).

Thursday 27 March 2014, 15:00-16:00

House FW26, Computer Laboratory, William Gates Builiding.

TCP in the Wild

User Richard Clegg (UCL).

Thursday 20 March 2014, 15:00-16:00

House FW26, Computer Laboratory, William Gates Builiding.

Recommending Investors for Crowdfunding Projects

User Jisun An (University of Cambridge).

Thursday 13 March 2014, 15:00-16:00

House FW26, Computer Laboratory, William Gates Builiding.

Babel -- a modular routing protocol

User Juliusz Chroboczek (Université de Paris 7).

Tuesday 11 March 2014, 14:00-15:00

House FW26, Computer Laboratory, William Gates Builiding.

The State of the Art in (Linux) Congestion Control

User Dave Taht (Teklibre).

Monday 10 March 2014, 16:00-17:00

House FW26, Computer Laboratory, William Gates Builiding.

A new open and flexible way to test next-generation (OpenFlow) switches

User Gianni Antichi (University of Cambridge).

Thursday 06 March 2014, 15:00-16:00

House SS03, Computer Laboratory, William Gates Builiding.

FaRM: Fast Remote Memory

User Aleksandar Dragojevic (MSR Cambridge).

Thursday 27 February 2014, 15:00-16:00

House SS03, Computer Laboratory, William Gates Builiding.

A Cyber Security Lab: from teaching, to a security evaluation platform, to a novel configuration management paradigm?

User Olaf Maennel (Loughborough University).

Thursday 20 February 2014, 15:00-16:00

Computer Laboratory Computer Architecture Group Meeting

Virtual Prototyping, Virtual Platforms, and System Simulation for Embedded System and Software Development

User Jay Yantchev, CEO, ASTC and VLAB Works.

House SS03, Computer Laboratory, William Gates Building.

Tuesday 18 February 2014, 14:00-15:00

House SS03, Computer Laboratory, William Gates Builiding.

Enhancing Network Structure to Increase Resilience and Survivability

User James P.G. Sterbenz (University of Kansas).

Thursday 13 February 2014, 15:00-16:00

House FW26, Computer Laboratory, William Gates Builiding.

Source-sensitive routing

User Matthieu Boutier (Université Paris Diderot - Paris 7) .

Tuesday 04 February 2014, 16:00-17:00

House SS03, Computer Laboratory, William Gates Builiding.

Security-Oriented Analysis of Application Programs

User Khilan Gudka (University of Cambridge).

Thursday 30 January 2014, 15:00-16:00

Computer Laboratory Computer Architecture Group Meeting

The New Cambridge Phenomenon?

User Jason Fitzpatrick, Centre for Computing History.

House Lecture Theatre 2, Computer Laboratory, William Gates Building.

Monday 27 January 2014, 15:00-16:00

Computer Laboratory Programming Research Group Seminar

Towards Language Composition

User Laurence Tratt, King's College London.

Friday 24 January 2014, 14:00-15:00

House FW26, Computer Laboratory, William Gates Builiding.

User-level networking: The hard problems

User David Riddoch (Solarflare).

Thursday 23 January 2014, 15:00-16:00

House FW26, Computer Laboratory, William Gates Builiding.

Approximate Bayesian Computation and Complex network models

User Damien Fay (Bournemouth University).

Thursday 16 January 2014, 15:00-16:00

House FW26, Computer Laboratory, William Gates Builiding.

Grappa: Scale-out Performance on Commodity Hardware for Irregular Applications

User Mark Oskin (University of Washington).

Monday 16 December 2013, 10:00-11:00

Computer Laboratory Digital Technology Group (DTG) Meetings

Julia: A Fast Dynamic Language for Technical Computing

User Stefan Karpinski, MIT.

House LT2, Computer Laboratory, William Gates Building.

Monday 02 December 2013, 13:00-14:00

House FW26, Computer Laboratory, William Gates Builiding.

PREDICTING SOCIAL BEHAVIOR IN SITUATION-GAMES FROM CROWDSOURCING EXPERIMENTS

User Corentin Vande Kerckhove (Université Catholique de Louvain) .

Thursday 28 November 2013, 11:00-12:00

House SS03 of the Computer Lab.

What makes mobile apps tick? lessons learned in collaborative app analysis

User Sasu Tarkoma (University of Helsinki).

Wednesday 27 November 2013, 13:00-14:00

House LT2, Computer Laboratory, William Gates Builiding.

Callisto: Co-scheduling Parallel Runtime Systems

User Martin Mass (UC Berkeley).

Thursday 21 November 2013, 15:00-16:00

House SS03 of the Computer Lab.

IOFlow: A Software-Defined Storage Architecture

User Eno Thereska (MSR).

Wednesday 20 November 2013, 13:00-14:00

House FW26, Computer Laboratory, William Gates Builiding.

Smartphones, Crowds, and the Cloud: Population Guided Sensing Systems

User Nic Lane (Microsoft Research Asia).

Friday 15 November 2013, 14:00-15:00

House FW26, Computer Laboratory, William Gates Builiding.

Exploiting (Commercial) Hot-Spots for Device-to-Device Communication

User Jörg Ott (Aalto University).

Friday 15 November 2013, 11:00-12:00

House LT2, Computer Laboratory, William Gates Builiding.

Urban Technologies: Feeling your emotions

User Daniele Quercia (Yahoo! Labs Barcelona).

Wednesday 06 November 2013, 13:00-14:00

House LT2, Computer Laboratory, William Gates Builiding.

Towards Programmable Wide-Area Virtual Networks

User Panagiotis Papadimitriou (Universität Hannover).

Thursday 31 October 2013, 15:00-16:00

House LT2, Computer Laboratory, William Gates Builiding.

Adaptive and Resource-Efficient Rural Area Networks

User Veljko Pejovic (University of Birmingham).

Wednesday 30 October 2013, 13:00-14:00

House LT2, Computer Laboratory, William Gates Builiding.

Integrating Scale Out and Fault Tolerance in Stream Processing using Operator State Management

User Eva Kalyvianaki (City University London).

Wednesday 23 October 2013, 13:00-14:00

Computer Laboratory Digital Technology Group (DTG) Meetings

Upgrading Fortran source code using automatic refactoring

User Dominic Orchard (University of Cambridge).

House SS03, William Gates Building.

Monday 21 October 2013, 13:00-14:00

Computer Laboratory Programming Research Group Seminar

Automated functional program verification using fixpoint fusion

User Will Sonnex, Université de Cambridge.

House Room GC22, Computer Laboratory, William Gates Building.

Friday 18 October 2013, 15:15-16:15

House FW26, Computer Laboratory, William Gates Builiding.

Eliminating Network Protocol Vulnerabilities Through Abstraction and Systems Language Design

User Jasson Casey (Texas A&M University).

Thursday 17 October 2013, 15:00-16:00

House LT2, Computer Laboratory, William Gates Builiding.

Geo-Spotting: Mining Online Location-based Services for Optimal Retail Store Placement

User Dmytro Karamshuk (KCL).

Wednesday 16 October 2013, 13:00-14:00

Computer Laboratory Programming Research Group Seminar

Logic of Hybrid Games

User Andre Platzer, CMU.

House FW26, Computer Laboratory, William Gates Building.

Friday 11 October 2013, 14:30-15:30

House LT2, Computer Laboratory, William Gates Builiding.

Anomaly Detection in the Field

User Christian Callegari (University of Pisa).

Wednesday 09 October 2013, 13:00-14:00

Computer Laboratory Computer Architecture Group Meeting

Scale-Out Processors

User Boris Grot, University of Edinburgh.

Tuesday 08 October 2013, 12:00-13:00

Designing an Optical Internet Router with a Preview of an Optical Turing Machine for Network Processing

User Joe Touch (USC/ISI).

Friday 27 September 2013, 12:00-13:00

House LT2, Computer Laboratory, William Gates Builiding.

Naiad: A Timely Dataflow System

User Derek Murray (MSR Silicon Valley).

Wednesday 25 September 2013, 14:30-15:30

House LT2, Computer Laboratory, William Gates Builiding.

ParkSense: A Smartphone Based Sensing System For On-Street Parking

User Sarfraz Nawaz (University of Cambridge).

Wednesday 18 September 2013, 13:00-14:00

Computer Laboratory Programming Research Group Seminar

Automatic SIMD vectorization for Haskell

User Dominic Orchard (University of Cambridge).

House SS03, Computer Laboratory, William Gates Building.

Tuesday 17 September 2013, 14:00-15:00

Computer Laboratory Programming Research Group Seminar

OCaml-Java: blending OCaml & Java

User Xavier Clerc.

House FW26, Computer Laboratory, William Gates Building.

Thursday 08 August 2013, 14:00-15:00

Computer Laboratory Computer Architecture Group Meeting

Energy Efficient Computing System - Research in NICS CAD Tsinghua

Note unusual time

User Prof Yu Wang, Tsinghua University.

House SS03, Computer Laboratory, William Gates Building.

Tuesday 30 July 2013, 14:00-15:00

Computer Laboratory Computer Architecture Group Meeting

Synopsys Processor Designer - Introduction and demonstration

Note unusual time and venue

User Jeroen Dobbelaere, Synopsys.

Thursday 18 July 2013, 13:00-14:45

House LT2, Computer Laboratory, William Gates Builiding.

How to improve performance of ad-hoc networks?

User Michael Segal (Ben-Gurion University of the Negev).

Wednesday 17 July 2013, 13:00-14:00

Very high speed networking in VMs and bare metal

Luigi's will also give a talk at MSR Cambridge (https://talks.cam.ac.uk/talk/index/46123)

User Luigi Rizzo (University of Pisa).

Logic and Semantics Seminar (Computer Laboratory)

Wednesday 10 July 2013, 13:00-14:00

An overview of nominal algebra, lattice, representation and dualities for computer science foundations

User Jamie Gabbay.

House Room FW26, Computer Laboratory, William Gates Building.

Tuesday 02 July 2013, 14:00-15:00

Computer Laboratory Programming Research Group Seminar

Denotation of Contextual Modal Type theory

User Murdoch Gabbay.

House FW26, Computer Laboratory, William Gates Building.

Monday 01 July 2013, 14:00-15:00

Computer Laboratory Programming Research Group Seminar

Coeffects: Unified static analysis of context-dependence

User Tomas Petricek (University of Cambridge).

House SS03, Computer Laboratory, William Gates Building.

Monday 01 July 2013, 13:00-14:00

Computer Laboratory Programming Research Group Seminar

Goji: a tool to generate OCaml bindings of JavaScript libraries

User Dr. Benjamin Canou.

House SS03, Computer Laboratory, William Gates Building.

Friday 28 June 2013, 15:00-16:00

House LT2, Computer Laboratory, William Gates Builiding.

Impact of Social Mapping in OpenStreetMap

This talk has been cancelled.

User Desi Hristova (University of Cambridge).

Wednesday 26 June 2013, 13:00-14:00

House LT2, Computer Laboratory, William Gates Builiding.

Liberté, Egalité, Fraternité: Regain control over your end systems

User Marcel Waldvogel (University of Konstanz).

Wednesday 12 June 2013, 13:00-14:00

Computer Laboratory Programming Research Group Seminar

Concise analysis using implication algebras for task-local memory optimisation

User Leo White .

House FW22, Computer Laboratory, William Gates Building.

Tuesday 11 June 2013, 13:00-14:00

House FW26, Computer Laboratory, William Gates Builiding.

Reaping the Benefits of Partial SDN Deployment in Enterprise Networks

User Marco Canini (T-Labs).

Friday 07 June 2013, 14:30-15:30

House SS03, Computer Laboratory, William Gates Builiding.

Curing discontent in online content acquisition

User Nishanth Sastry (KCL).

Wednesday 05 June 2013, 13:00-14:00

Computer Laboratory Computer Architecture Group Meeting

Adaptive Resolution of Information Flow Constraints

Note unusual time and venue

User Santanu Dash, University of Hertfordshire.

House SS03, Computer Laboratory, William Gates Building.

Tuesday 04 June 2013, 14:45-15:30

House FW26, Computer Laboratory, William Gates Builiding.

Towards Efficient Traffic-analysis Resistant Anonymity Networks

Joint seminar with Security Group Seminar.

User Stevens Le Blond (MPI).

Tuesday 04 June 2013, 14:30-15:30

Computer Laboratory Computer Architecture Group Meeting

Exposing Fine-grain Concurrency in Sequential code with a Dataflow Compiler IR

Note unusual time and venue

User Ali Mustafa Zaidi (University of Cambridge).

Tuesday 04 June 2013, 14:00-14:45

House LT2, Computer Laboratory, William Gates Builiding.

Integrating Scale Out and Fault Tolerance in Stream Processing using Operator State Management

This talk has been cancelled.

User Eva Kalyvianaki (City University London).

Wednesday 29 May 2013, 13:00-14:00

Computer Laboratory Programming Research Group Seminar

A Heterogeneous Parallel Programming Language and Compiler Architecture

User Nicholas Tomlinson.

House SW01, Computer Laboratory, William Gates Building.

Thursday 23 May 2013, 13:20-13:40

Computer Laboratory Programming Research Group Seminar

Part III projects: Approximating a Haskell stack trace/Language and compiler for heterogenous parallelism

User William Kenyon, Nicholas Tomlinson.

House SW01, Computer Laboratory, William Gates Building.

Thursday 23 May 2013, 13:00-13:30

House LT2, Computer Laboratory, William Gates Builiding.

The neighbourhood game

User Panayotis Antoniadis (ETH).

Wednesday 22 May 2013, 13:00-14:00

House FW26, Computer Laboratory, William Gates Builiding.

Interdependence and Predictability of Human Mobility and Social Interactions

User Mirco Musolesi (University of Birmingham).

Tuesday 21 May 2013, 15:00-16:00

House FW26, Computer Laboratory, William Gates Builiding.

SPOC: GPGPU Programming with OCaml

User Mathias Bourgoin (Université Pierre et Marie Curie - Paris 6) .

Friday 17 May 2013, 11:00-12:00

House LT2, Computer Laboratory, William Gates Builiding.

An Objective Measure of Network Resilience

User Fletcher D Wicker (Aerospace).

Wednesday 15 May 2013, 13:00-14:00

Computer Laboratory Programming Research Group Seminar

Coinductive big-step semantics for concurrency

Note unusual time and day

User Tarmo Uustalu ( Institute of Cybernetics, Tallinn University of Technology).

House FW11, Computer Laboratory, William Gates Building.

Tuesday 14 May 2013, 15:45-16:45

House FW26, Computer Laboratory, William Gates Builiding.

Moana: A Case for a Global Information Network

User Yan Shvartzshnaider (University of Sydney , NICTA).

Tuesday 07 May 2013, 15:00-16:00

House LT2, Computer Laboratory, William Gates Builiding.

Chatty Tenants and the Cloud Network Sharing Problem

User Hitesh Ballani (MSR Cambridge).

Wednesday 01 May 2013, 13:00-14:00

Computer Laboratory Programming Research Group Seminar

Mezzo

User Jonathan Protzenko (from INRIA).

Tuesday 30 April 2013, 14:00-15:00

House FW26, Computer Laboratory, William Gates Builiding.

Information and Communications Technology for Development: Current Trajectories

User Melissa Densmore (MSR Bangalore).

Thursday 25 April 2013, 15:00-16:00

House LT2, Computer Laboratory, William Gates Builiding.

Cluster management at Google

User John Wilkes (Google).

Thursday 18 April 2013, 14:00-15:00

On the efficient implementation of large round-robin arbiters

User Emanuel Savin (Intel).

Thursday 18 April 2013, 10:00-11:00

Can we leverage a Software Defined Networking (SDN) approach on Video streaming to benefit both the Network and its Users?

User Panagiotis Georgopoulos (Lancaster).

Computer Laboratory Computer Architecture Group Meeting

Wednesday 17 April 2013, 10:00-11:00

FUSEing PolyBlaze: enabling heterogeneous multicore research

Note unusual time

User Prof. Lesley Shannon.

Tuesday 16 April 2013, 11:00-12:00

House LT2, Computer Laboratory, William Gates Builiding.

Omega: flexible, scalable schedulers for large compute clusters

User Malte Schwarzkopf (University of Cambridge).

Wednesday 10 April 2013, 13:00-14:00

House LT2, Computer Laboratory, William Gates Builiding.

Toward an Atlas of the Physical Internet

User Paul Barford (University of Wisconsin-Madison).

Thursday 28 March 2013, 15:00-16:00

House LT2, Computer Laboratory, William Gates Builiding.

Rethinking the Stack for Distributed Runtime Systems

User Tim Haris (Oracle Labs) .

Wednesday 27 March 2013, 13:00-14:00

House LT2, Computer Laboratory, William Gates Builiding.

Multipath? What multipath? Positioning and communication using low frequency magneto-induction

User Andrew Markham (University of Oxford).

Wednesday 06 March 2013, 13:00-14:00

House LT2, Computer Laboratory, William Gates Builiding.

METIS: Exploring mobile phone sensing offloading for efficiently supporting social sensing applications

User Kiran Rachuri (University of Cambridge).

Wednesday 27 February 2013, 13:00-14:00

House LT2, Computer Laboratory, William Gates Builiding.

Analysing co-installability of software components

User Roberto Di Cosmo (IRILL).

Wednesday 20 February 2013, 13:00-14:00

House LT2, Computer Laboratory, William Gates Builiding.

Productive parallel programming with Unified Parallel C

User Montse FARRERAS (Universitat Politècnica de Catalunya).

Wednesday 13 February 2013, 13:00-14:00

House LT2, Computer Laboratory, William Gates Builiding.

Unikernels: Library Operating Systems for the Cloud

User Anil Madhavapeddy (University of Cambridge).

Wednesday 06 February 2013, 13:00-14:00

House LT2, Computer Laboratory, William Gates Builiding.

The Role of Initial Experience in the Design of Inclusive User Interfaces

User Patrick K. A. Wollner and Tanya Goldhaber (University of Cambridge).

Wednesday 30 January 2013, 13:00-14:00

House LT2, Computer Laboratory, William Gates Builiding.

Not just Pi in the sky: low-tech solutions for social innovation

User Catalyst Team (University of Lancaster).

Wednesday 23 January 2013, 13:00-14:00

House FW26, Computer Laboratory, William Gates Builiding.

The charge of the light cyber brigade?

User Särelä Mikko (Aalto University).

Tuesday 22 January 2013, 15:00-16:00

Computer Laboratory Programming Research Group Seminar

Java 8 Workshop

User Raoul-Gabriel Urma (University of Cambridge).

House LT2.

Monday 21 January 2013, 15:00-17:30

House FW26, Computer Laboratory, William Gates Builiding.

New paradigms in complex networks science: time dependence, networks of networks, spatial features, multiplexity

This talk has been cancelled.

User Albert Diaz-Guilera (University of Barcelona).

Monday 21 January 2013, 14:00-15:00

House LT2, Computer Laboratory, William Gates Builiding.

Internetworking with DTN

User Vassilis Tsaoussidis (DUTH) .

Wednesday 16 January 2013, 13:00-14:00

House FW26, Computer Laboratory, William Gates Builiding.

Dynamic flow algorithms for real-time evacuation guidance

User Ken Brown (University College Cork).

Friday 14 December 2012, 15:00-16:00

House FW26, Computer Laboratory, William Gates Builiding.

Towards the Profiling of Twitter Users for Topic-Based Filtering + Collaborative Filtering For Recommendation

User Sandra Garcia Esparza + Steven Bourke (University College Dublin).

Monday 10 December 2012, 16:00-17:00

House FW26, Computer Laboratory, William Gates Builiding.

LCD-Net: Lowest Cost Denominator Networking - Enabling donated lunches in the Internet

User Arjuna Sathiaseelan (University of Cambridge).

Thursday 06 December 2012, 11:00-12:00

House FW26, Computer Laboratory, William Gates Builiding.

Information theoretic view on Privacy preservation

Note that the change of time - now at 14:00.

User Kavé Salamatian (University of Savoie).

Thursday 29 November 2012, 14:00-17:00

Computer Laboratory Programming Research Group Seminar

Continuation-Passing C: Program Transformations for Compiling Concurrency in an Imperative Language

User Dr Gabriel Kerneis (University of Cambridge).

Friday 23 November 2012, 15:15-16:15

House FW26, Computer Laboratory, William Gates Builiding.

Making Geo-Replicated Systems Fast as Possible, Consistent when Necessary

User Allen Clement (MPI).

Friday 23 November 2012, 14:00-15:00

House FW26, Computer Laboratory, William Gates Builiding.

Fast run-time type checking for whole programs

User Stephen Kell (University of Lugano).

Thursday 22 November 2012, 16:00-17:00

House FW26, Computer Laboratory, William Gates Builiding.

Applying Pervasive Positioning for Crowd Behavior Recognition and Eco-Feedback

User Mikkel Baun Kjærgaard (Aarhus University).

Thursday 22 November 2012, 14:00-15:00

House FW26, Computer Laboratory, William Gates Builiding.

Large-Scale Peer-to-Peer Discovery Mechanism for Frequency Allocation

User Magnus Skjegstad (University of Oslo).

Friday 16 November 2012, 15:00-16:00

House FW11, Computer Laboratory, William Gates Builiding.

Terabit traffic vs. von Neumann - Ensoft Technical Talk

User Simon Chatterjee, CTO Ensoft.

Monday 12 November 2012, 13:00-14:00

House FW26, Computer Laboratory, William Gates Builiding.

Breaking for Commercials: Characterizing Mobile Advertising

User Narseo Vallina Rodriguez (University of Cambridge).

Thursday 08 November 2012, 16:00-17:00

House FW26, Computer Laboratory, William Gates Builiding.

Naiad: a system for incremental, iterative and interactive parallel computation

User Frank McSherry (MSR Silicon Valley).

Wednesday 07 November 2012, 16:15-17:00

House FW26, Computer Laboratory, William Gates Builiding.

Deduplication in VM Environments

User Frank Bellosa (Karlsruhe Institute of Technology).

Thursday 01 November 2012, 16:00-17:00

House FW26, Computer Laboratory, William Gates Builiding.

The seven deadly sins of cloud computing research

User Malte Schwarzkopf (University of Cambridge).

Thursday 25 October 2012, 16:00-17:00

House FW26, Computer Laboratory, William Gates Builiding.

From geek-dream to mass-market: Will privacy-preserving technologies ever be adopted?

User Hamed Haddadi (Queen Mary, University of London).

Thursday 18 October 2012, 16:00-17:00

House LT1, Computer Laboratory, William Gates Builiding.

Distributed, Real-Time Bayesian Learning in Online Services

User Ralf Herbrich (Facebook).

Tuesday 16 October 2012, 16:00-17:00

Computer Laboratory Programming Research Group Seminar

Monadic Program Slicing

User Dr. Yingzhou Zhang (University of Cambridge -- visitor until March 2013).

Friday 12 October 2012, 15:15-16:15

House FW26, Computer Laboratory, William Gates Builiding.

Towards productive parallel programming: Unified Parallel C

This talk has been cacelled due to the speaker's schedule change.

User Montse Farreras (Universitat Polit`ecnica de Catalunya).

Thursday 11 October 2012, 16:00-17:00

House FW26, Computer Laboratory, William Gates Builiding.

Urban*: Crowdsourcing for the good of London

User Daniele Quercia (University of Cambridge).

Thursday 11 October 2012, 16:00-17:00

House FW26, Computer Laboratory, William Gates Builiding.

Study of Twitter unfollow behavior

User Sue Moon (KAIST).

Thursday 04 October 2012, 16:00-17:00

Computer Laboratory Programming Research Group Seminar

The Whiley Programming Language: Design & Implementation

User David Pearce, Victoria University of Wellington, New Zealand.

Computer Laboratory Programming Research Group Seminar

Friday 07 September 2012, 15:15-16:15

A Notation for Comonads

User Dominic Orchard (University of Cambridge).

House GS15, Computer Laboratory.

Wednesday 29 August 2012, 15:00-15:45

Rapidly deployable TDMA mesh network with application to disaster management

User Vinay Ribeiro (Indian Institute of Technology).

Wednesday 29 August 2012, 11:00-12:00

House FW26, Computer Laboratory, William Gates Builiding.

Making Middleboxes Someone Else's Problem: Network Processing as a Cloud Service

User Justine Sherry ( UC Berkeley).

Thursday 02 August 2012, 16:00-17:00

House FW26, Computer Laboratory, William Gates Builiding.

The Importance of Being Placefriends: Discovering Location-focused Online Communities

User Chloë Brown (University of Cambridge).

Thursday 19 July 2012, 16:00-17:00

Computer Laboratory Computer Architecture Group Meeting

Architecture Support for Accelerator-Center Architectures

User Prof Jason Cong.

Wednesday 11 July 2012, 11:00-12:00

House FW26, Computer Laboratory, William Gates Builiding.

Architectures for large-scale continuous data management

User Dionysios Logothetis (Telefonica).

Friday 06 July 2012, 11:00-12:00

Connecting the Disconnected

User Robin Kravets (University of Illinois).

Monday 02 July 2012, 16:00-17:00

House FW26, Computer Laboratory, William Gates Builiding.

Human Mobility Characterization from Cellular Network Data

Joint seminar with DTG group

User Ramón Cáceres (AT&T Labs).

Friday 29 June 2012, 10:00-11:00

House FW26, Computer Laboratory, William Gates Builiding.

Optimizing multi-layered networks with long range dependent traffic

User Moshe Zukerman (City University of Hong Kong).

Thursday 28 June 2012, 16:00-17:00

Code-Level Formal Verification for Large Real Systems

User Mark Staples (NICTA).

Computer Laboratory Programming Research Group Seminar

Wednesday 27 June 2012, 11:00-12:00

Control Flow Analysis for the Join Calculus

User Peter Calvert (University of Cambridge).

Friday 22 June 2012, 15:15-16:15

House FW26, Computer Laboratory, William Gates Builiding.

Towards Trustworthy Embedded Systems

User Gernot Heiser (University of New South Wales/NICTA).

Friday 22 June 2012, 11:00-12:00

House FW26, Computer Laboratory, William Gates Builiding.

Generalizing Database Architecture

User Eric Sedlar (Oracle Labs).

Thursday 21 June 2012, 16:00-17:00

House MSR, Small Lecture Room.

Energy Debugging in Smartphones

Charlie will give his talk at MSR.

User Y. Charlie Hu (Purdue University).

Tuesday 19 June 2012, 10:00-11:00

House FW26, Computer Laboratory, William Gates Builiding.

Sense and Sensibility in a Pervasive World

User Christos Efstratiou (University of Cambridge).

Thursday 14 June 2012, 16:00-17:00

Computer Laboratory Programming Research Group Seminar

Mathematical Structures for Data Types with Restricted Parametericity

User Dominic Orchard (University of Cambridge).

Friday 08 June 2012, 15:15-16:15

House FW26, Computer Laboratory, William Gates Builiding.

Lock Inference in the Presence of Large Libraries

User Khilan Gudka (University of Cambridge).

Thursday 07 June 2012, 16:00-17:00

House FW26, Computer Laboratory, William Gates Builiding.

The Quest for Zero-Effort Indoor Localization

User Venkat Padmanabhan (MSR).

Thursday 07 June 2012, 11:00-12:00

Computer Laboratory Programming Research Group Seminar

Syntax Matters: Writing abstract computations in F#

User Tomas Petricek (University of Cambridge).

Friday 01 June 2012, 15:15-16:15

Attacks and defenses in decentralised botnets

User Shishir Nagaraja (University of Birmingham).

Thursday 31 May 2012, 16:00-17:00

House FW26, Computer Laboratory, William Gates Builiding.

Economics of BitTorrent Communities

User Ian Kash (MSR Cambridge).

Thursday 24 May 2012, 16:00-17:00

Computer Laboratory Programming Research Group Seminar

MPhil Presentations: (1) An investigation of the Join Calculus Abstract Machine (2) Ownership in Object-Oriented Languages

User Borja Moreno Fernandez and Artem Glebov (University of Cambridge).

Friday 18 May 2012, 15:15-16:15

House FW26, Computer Laboratory, William Gates Builiding.

Facebook and Privacy: The Balancing Act of Personality, Gender, and Relationship Currency

User Daniele Quercia (University of Cambridge).

Thursday 17 May 2012, 16:00-17:00

House FW26, Computer Laboratory, William Gates Builiding.

Exploiting the Structure of Human Mobility for Opportunistic Networks

User Theus Hossmann (University of Cambridge).

Thursday 10 May 2012, 16:00-17:00

House FW26, Computer Laboratory, William Gates Builiding.

The SUDOKU Coding Project

User Jossy Sayir (University of Cambridge).

Thursday 03 May 2012, 16:00-17:00

House FW26, Computer Laboratory, William Gates Builiding.

A JVM for the Barrelfish Operating System

User Martin Maas (University of California, Berkeley).

Thursday 05 April 2012, 16:00-17:00

House FW26, Computer Laboratory, William Gates Builiding.

Towards Statistical Queries over Distributed Private User Data

User Paul Francis (MPI-SWS).

Monday 02 April 2012, 16:00-17:00

House FW26, Computer Laboratory, William Gates Builiding.

ThinkAir: Dynamic resource allocation and parallel execution in cloud for mobile code offloading

User Andrius Aucinas (University of Cambridge).

Thursday 22 March 2012, 16:00-16:30

YouTube Around the World: Geographic Popularity of Videos

User Salvatore Scellato (University of Cambridge).

Computer Laboratory Computer Architecture Group Meeting

Wednesday 21 March 2012, 16:00-16:30

HDL Code Generation from MATLAB and Simulink

Note unusual location

User Jon Fielder and Scott Wilson, MathWorks.