UK Systems Research
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.
Click here for details of past workshops.
Fifth Annual UK Systems Research Challenges Workshop, November-December, 2020, Virtual Seminar Series
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.
Virtual Seminar Series
25th November 2020, 14:00-15:30
- “JIT-as-a-Service”, Tom Spink (University of Edinburgh)
[abstract]
- “AutoAI and Machine Learning Systems Design”, Neil Lawrence (University of
Cambridge) [abstract]
[slides]
- “Pricing Python Parallelism : Guided JIT compilation for Heterogeneous
Architectures”, Dejice Jacob (University of Glasgow)
[abstract]
[slides]
2nd December 2020, 14:00-15:30
- “Towards In-Switch Reinforcement Learning”, Kyle Simpson (University of
Glasgow) [abstract]
- “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)
[abstract]
[slides]
- “The role of Reactive and Event-Driven Applications in Microservice
Architectures”, Clement Escoffier (Red Hat)
[abstract]
[slides]
3rd December 2020, 10:30-12:00
- “Data-Centric Parallelisation”, Magnus Morton (University of Edinburgh),
Björn Franke (University of Edinburgh)
[abstract]
[slides]
- “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)
[abstract]
- “PASTE: Network-Storage Stack Co-Design for Persistent Memory”, Michio
Honda (University of Edinburgh)
[abstract]
9th December 2020, 14:00-15:30
- “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)
[abstract]
[slides]
- “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)
[abstract]
[slides]
- “Parsing Protocol Standards”, Stephen McQuistin (University of Glasgow),
Vivian Band (University of Glasgow), Colin Perkins (University of Glasgow)
[abstract]
- “The Efficiency Death-March: The Unintended Consequences of Large-scale
Systems Research upon Climate Change”, Peter Garraghan (Lancaster
University) [abstract]
[slides]
10th December 2020, 10:30-12:00
- “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)
[abstract]
[slides]
- “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)
[abstract]
[slides]
- “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)
[abstract]
[slides]
- “Towards Emergent Scheduling for Distributed Execution Frameworks”, Paul
Allan Dean (Lancaster University), Barry Porter (Lancaster University)
[abstract]
[slides]
16th December 2020, 14:00-15:30
- “Exposing parallelism in sequential code using a modern commutativity
analysis”, Christos Vasiladiotis (University of Edinburgh)
[abstract]
[slides]
- “Participatory Design Fiction for Wearables II: The Sequel”, Helen Oliver
(The Alan Turing Institute/University of Cambridge)
[abstract]
[slides]
- “An In-memory Graph System for Scalable and Consistent Data Integration,
Bilal Arshad (University of Derby)
[abstract]
[slides]
- “Optimizing Generic Taint Analysis”, John Galea (University of Oxford),
Daniel Kroening (University of Oxford)
[abstract]
- “Novel visualisation method for summarising and exploring complex
networks, Osman Akbulut (Newcastle University), Matthew Forshaw (Newcastle
University), Nick Holliman (Newcastle University)
[abstract]
Registration and Costs
Registration includes accommodation and all meals:
- Current students: £60
- Standard: £125
Call for Presentations
Submissions are now closed – see the programme, above.
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:
- innovative mechanisms
- lessons learned: experience with large or unusual systems
- a viewpoint on a controversial systems topic
- a big problem coming over the horizon
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.
Committees
Chair
- Diana Andreea Popescu, diana.popescu at cl.cam.ac.uk, University of Cambridge
Technical Programme Committee
- Diana Andreea Popescu, University of Cambridge
- Dimitrios Pezaros, University of Glasgow
- Gianni Antichi, Queen Mary University of London
- Heidi Howard, University of Cambridge
- Paul Watson, Newcastle University
- Paolo Costa, Microsoft Research
- Paul Patras, University of Edinburgh
- Poonam Yadav, University of York
- Rebecca Whitworth, RedHat
- Richard Mortier, University of Cambridge
- Tim Harris, Amazon
For any questions or queries, please contact Dr Diana Andreea Popescu.
Steering Committee
- Richard Mortier, richard.mortier at cl.cam.ac.uk, Cambridge University
- Derek McAuley, derek.mcauley at nottingham.ac.uk, Nottingham University
- Paul Watson, paul.watson at newcastle.ac.uk, Newcastle University
Many thanks to our generous sponsors for their support of this event!