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.
Ninth Annual UK System Research Challenges Workshop, April 15 – April 17, 2025
Call for Presentations & Participation
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).
This is the ninth 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.
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
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.
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.
Location
-
Redworth Hall
Hotel, Surtees Rd,
Newton Aycliffe DL5 6NL
-
Coach transport will be provided between the venue and Newcastle city centre
(Urban Sciences Building, 1 Science Square, Science Central, NE4 5TG)
Key Dates
- Abstract submission deadline: 12th March 2025
- Acceptance notification and presentation programme: 25th March 2025
- Registration deadline: 9th April 2025
- Workshop dates: arrival evening 15th April, closing with lunch 17th April
Programme
Tuesday 15th April
16:00 Coach departs Newcastle University, Newcastle Helix
17:35 Arrive and check-in at Redworth Hall
18:30 Registration & drinks reception (Prince Bishop Suite foyer)
19:00 Dinner (Great Hall)
Wednesday 16th April
07:00–08:30 Breakfast (Restaurant 1744)
09:00–09:10 Welcome & introductions (Prince Bishop Suite) (Tom Spink)
09:10–10:30 Session 1: Networking
- A Data-Plane-Only Approach to Accurate Persistent Flow Detection on
Programmable Switches in High-Speed Networks, W. Li, B. Bütün, T. Chu, M.
Fiore, P. Patras
[abstract] [pdf]
- Designing Transport-Level Encryption for Datacenter Networks, T. Gao, X.
Ma, S. Narreddy, E. Luo, S. Chien, M. Honda
[abstract] [pdf]
- Remote TCP Connection Offload with XO, S. Li, S. Chien, T. Gao, M. Honda
[abstract] [pdf]
- Fast, Scalable Authentication in Datacentres, X. Ma, M. Honda
[abstract] [pdf]
10:30–11:00 Coffee break
11:00–12:15 Session 2: Short Talks
- Trusting Trustworthy AI: what’s the right framework?, A. Martin
[abstract] [pdf]
- Predicting Parkinson’s Disease Severity from Gait with Federated Learning:
Challenges to Overcome, C. Hinchliffe, H. Hiden, E. Packer, P. Brown, A.
Yarnell, L. Rochester, L. Alcock, M. Peeters, S. Din, P. Watson
[abstract] [pdf]
- Benchmarking Multi-LoRA Adapters on the vLLM TPU and GPU Backends Using
Llama3.1 models, S. Bhattacharjee, A. Tripathi, J. Huang, A. Lokhmotov
[abstract] [pdf]
- KISS-V: An Optimized Inference Server for Text-to-Video Generation Models,
A. Tripathi
[abstract] [pdf]
- Autonomous optimal composition and embedding of Service Function Chains
using a hierarchy of control logics that are evolved by knowledge-based
Genetic Algorithms, T. Krishnamohan
[abstract] [pdf]
12:15–13:30 Lunch
13:30–15:10 Session 3: Operating Systems
- Signal-based Container Monitoring for Improved Microservice Availability,
J. Roberts, B. Archibald, P. Trinder
[abstract] [pdf]
- Dataflow-based Binary Fuzzing, K. Feng
[abstract] [pdf]
- Isolating data structures in the Linux Kernel for stronger performance
isolation guarantees, R. Cannon, E. Wearden, Y. Patel, R. Cannon
[abstract] [pdf]
- The Case for OS-Level Website Fingerprinting Protection, L. Lavrentieva,
M. Juarez, M. Honda
[abstract] [pdf]
- TrueJIT: Learning and Prediction of Compilation Sequences in a Centralized
JIT Compiler, A. Khordadi, K. Stonehouse, B. Franke, T. Spink
[abstract] [pdf]
15:10–15:30 Coffee break
15:30–17:10 Session 4: AI & Hardware
- Smart Casual Verification of the Confidential Consortium Framework, H.
Howard, M. Kuppe, E. Ashton, A. Chamayou, N. Crooks
[abstract] [pdf]
- Towards Visualising Procedural Fairness in Automated Decision Making, V.
Gonzalez-Zelaya
[abstract] [pdf]
- Towards ML-enhanced Trajectory Query Processing, G. Yang
[abstract] [pdf]
- Understanding how to implement sparse matrix operations efficiently, S.
Dobson
[abstract] [pdf]
- Optimizing SDXL Inference on Qualcomm Cloud AI 100 accelerators with
MultiDevice Scheduling and DeepCache Techniques, J. Huang, A. Lokhmotov
[abstract] [pdf]
19:00–21:00 Dinner
21:00–22:00 Lightning Talks
- Short (5 minute) talks on any relevant topic
Thursday 17th April
07:00–08:30 Breakfast (Restaurant 1744)
09:00–09:15 Welcome back
09:15–10:15 Session 5: Short talks
- Using metadata to perform schema-based optimizations in schema-optional
graph databases, J. Whiteside
[abstract] [pdf]
- Multiparty Session Types: Paxos Made Easy, L. Nosovitskiy, D. Barwell
[abstract] [pdf]
- Icicle Parallel Coordinates Plots for visualizing hierarchical data, H.
Garner
[abstract] [pdf]
- Data compression a runtime compiler optimisation, F. Kounelis
[abstract] [pdf]
10:15–10:40 Coffee Break
10:40–12:00 Session 6: Distributed Systems
- Aurendil, J. Clarkson
[abstract] [pdf]
- Role and Performance Evaluation of an Order Protocol in Building Replicated
Databases, Y. Liu, Y. Wang, P. Ezhilchelvan, J. Webber
[abstract] [pdf]
- How to Monitor and Mitigate Backpressure in Stream Benchmarking, I. Dixon,
M. Forshaw, J. Matthew
[abstract] [pdf]
12:15–12:30 Wrap-up and close
12:30–13:30 Lunch (Restaurant 1744)
14:00 Coach departs for Newcastle
Registration and Costs
Including accommodation and meals:
- Current students: £60
- Standard: £125
We are committed to widen participation and historically underrepresented groups
within the Systems community. We recognise the need for individualised support
to address barriers to participation. To discuss how we can support you (e.g.
through bursaries or reimbursement of reasonable expenses) please contact
Angela Craggs.
Organising Committee
Chair
- Tom Spink, tcs6@st-andrews.ac.uk, University of St Andrews
Co-Chairs
- Adam Barker, adam.barker@st-andrews.ac.uk, University of St Andrews
- Derek McAuley, derek.mcauley@nottingham.ac.uk, Nottingham University
- Richard Mortier, richard.mortier@cl.cam.ac.uk, Cambridge University
- Paul Watson, paul.watson@newcastle.ac.uk, Newcastle University
For any other questions or queries, please contact Tom Spink.
Many thanks to our generous sponsor for their support of this event!
