Collating news and events for the UK Systems Research Community
This is the website for the UK research community, academic and industrial, interested in problems relating generally to computer systems. That includes both the more traditional topics such as operating systems, distributed systems and networking, as well as more current challenges and approaches at scales from edge and mobile computing to datacenter and the cloud. If your work has bearing on how we should go about building practical computer systems, it's of interest!
We organise an annual community workshop, held in beautiful County Durham, to share recent results, work-in-progress, challenges, and other matters of interest.
This is the fifth iteration of a workshop bringing together systems researchers from across the UK and beyond, to discuss pressing topics affecting the design and implementation of large-scale systems in a friendly and inclusive setting.
Past topics have included everything from system security and architecture, to consensus and engineering, to data visualisation, data centres and the Internet of Things. We aim to be broad and inclusive – if it’s a matter that has bearing on how we design, build, operate and use large-scale computing systems, it’s in scope.
Due to COVID-19 disruption, we are running the UK Systems Research Challenges Workshop as a virtual seminar series. Please see program below.
Tom Spink (University of Edinburgh)
AutoAI and Machine Learning Systems Design
Neil Lawrence (University of Cambridge)
Pricing Python Parallelism : Guided JIT compilation for Heterogeneous Architectures
Dejice Jacob (University of Glasgow)
Towards In-Switch Reinforcement Learning
Kyle Simpson (University of Glasgow)
Liberating Consensus: benchmarking consensus systems
Chris Jensen (University of Cambridge), Daniel Saaw (University of Cambridge), Heidi Howard (University of Cambridge), Richard Mortier (University of Cambridge)
The role of Reactive and Event-Driven Applications in Microservice Architectures
Clement Escoffier (Red Hat)
Magnus Morton (University of Edinburgh), Björn Franke (University of Edinburgh)
Towards a distributed privacy-preserving IoT management model for smart buildings
Vadim Safronov (University of Cambridge), Ian Lewis (University of Cambridge), Richard Mortier (University of Cambridge)
PASTE: Network-Storage Stack Co-Design for Persistent Memory
Michio Honda (University of Edinburgh)
Popcorn Linux OS and Compiler Framework: lessons from 7 years of research, development, and deployments
Antonio Barbalace (University of Edinburgh), Pierre Olivier (The University of Manchester), Binoy Ravindran (Virginia Tech)
Confidential Consortium Framework
Alex Shamis (Microsoft Research), Amaury Chamayou (Microsoft Research), Cedric Fournet (Microsoft Research), Christoph M Wintersteiger (Microsoft Research), Eddy Ashton (Microsoft Research), Julien Maffre (Microsoft Research), Manuel Costa (Microsoft Research), Miguel Castro (Microsoft Research), Olga Vrousgou (Microsoft Research), Sylvan Clebsch (Microsoft Research)
Parsing Protocol Standards
Stephen McQuistin (University of Glasgow), Vivian Band (University of Glasgow), Colin Perkins (University of Glasgow)
The Efficiency Death-March: The Unintended Consequences of Large-scale Systems Research upon Climate Change
Peter Garraghan (Lancaster University)
MOCHA: Modelling and Optimising Complex Heterogeneous Architectures
Shuai Zhao (University of York), Xiaotian Dai (University of York), Wanli Chang (University of York), Iain Bate (University of York)
Debugging Unikernel Operating Systems
Kareem Ahmad (University of St Andrews), Alan Dearle (University of St Andrews), Jon Lewis (University of St Andrews), Ward Jaradat (University of St Andrews)
What am I waiting for? Energy and Performance Optimization on big.LITTLE Architectures: A Memory-latency Aware Approach
Willy Wolff (Lancaster University), Barry Porter (Lancaster University)
Towards Emergent Scheduling for Distributed Execution Frameworks
Paul Allan Dean (Lancaster University), Barry Porter (Lancaster University)
Exposing parallelism in sequential code using a modern commutativity analysis
Christos Vasiladiotis (University of Edinburgh)
Participatory Design Fiction for Wearables II: The Sequel
Helen Oliver (The Alan Turing Institute/University of Cambridge)
An In-memory Graph System for Scalable and Consistent Data Integration
Bilal Arshad (University of Derby)
Optimizing Generic Taint Analysis
John Galea (University of Oxford), Daniel Kroening (University of Oxford)
Novel visualisation method for summarising and exploring complex networks
Osman Akbulut (Newcastle University), Matthew Forshaw (Newcastle University), Nick Holliman (Newcastle University)
Registration includes accommodation and all meals:
Submissions are now closed – see the list of accepted talks.
We invite you to submit 500 word / 0.5 page abstracts (PDF or plain text) of work for presentation at the next UK Systems Research Challenges workshop. In most cases the main points to include in the abstract are the problem being solved, the new idea or hypothesis being explored in your work, and the current state of the project (e.g., whether you are looking for feedback on an early idea or presenting finished results that others might want to use).
We’re interested in presentations that speak to:
and really, anything that would be of interest to the builders of computer systems.
This is an informal workshop without published proceedings. Work is not subject to detailed peer review; we are requesting abstracts only to help us put together the programme and confirm that work is on-topic. In the event of an excess of submissions, preference for presentation slots will be given to Ph.D. students and early career researchers.
For any questions or queries, please contact Dr Diana Andreea Popescu.
Many thanks to our generous sponsors for their support of this event!