School of Computing Science

[FATA Seminar] Approximating temporal modularity on graphs of small underlying treewidth

Group: Formal Analysis, Theory and Algorithms (FATA)
Speaker: Ella Yates, FATA
Date: 14 October, 2025
Time: 15:00 - 16:00
Location: Room 422, SAWB

Modularity is a very widely used measure of the level of clustering or community structure in networks. Here we consider a recent generalisation of the definition of modularity to temporal graphs, whose edge-sets change over discrete timesteps; such graphs offer a more realistic model of many real-world networks in which connections between entities (for example, between individuals in a social network) evolve over time. Computing modularity is notoriously difficult: it is NP-hard even to approximate in general, and only admits efficient exact algorithms in very restricted special cases. Our main result is that a multiplicative approximation to temporal modularity can be computed efficiently when the underlying graph has small treewidth. This generalises a similar approximation algorithm for the static case, but requires some substantially new ideas to overcome technical challenges associated with the temporal nature of the problem.

Cybersecurity in Safety-Critical Environments

Group: Networked Systems Research Laboratory (NETLAB)
Speaker: External Speaker
Date: 15 October, 2025
Time: 10:00 - 11:00
Location: Room 422, SAWB

We will have an external visitor who previously worked in cybersecurity for the nuclear sector

SICSA October Education Seminar: Gen AI's impact on assessment design - Are we in Lane?

Group: Scottish Informatics and Computer Science Alliance (SICSA)
Speaker: SICSA Event, SICSA
Date: 15 October, 2025
Time: 14:00 - 15:00
Location:Room 1001, Old College Building, Abertay University DD1 1HG, Room 1001, Old College Building, Abertay University, Dundee, DD! 1HG

For our October Education Seminar, Jack Hogan, Lecturer in Academic Practice and Kerith George-Briant, Manager for the Learner Development Service, both from Abertay University will explore how GenAI is being integrated into disciplinary assessments. They will draw on 8 semi-structured interviews with academic staff. These interviews revealed a complex interplay of student needs, stakeholder expectations, and disciplinary definitions of criticality and the development of AI tools are all influencing decisions around GenAI use. Find out more and register for this event.

Haggis – the conundrum of assessing school children’s code comprehension – and a call to arms!!

Group: Programming Languages at University of Glasgow (PLUG)
Speaker: Quintin Cutts, UofG
Date: 15 October, 2025
Time: 15:00 - 16:00
Location: F121 Lilybank Gardens and Online

Quintin will be talking to us about his work with SQA on code comprehension. More details nearer the time.

GIST Seminar This Week- Meet Our New PhD Students!

Group: Human Computer Interaction (GIST)
Speaker: New GIST PhD Students
Date: 16 October, 2025
Time: 13:00 - 14:00
Location: SAWB 423, Sir Alwyn Williams Building

Join us for this week’s GIST Seminar, where our new PhD students will each give a short 3–4 minute introduction to their research topics, supervisors, and interests. It’s a great opportunity to get to know the next generation of researchers in our group.

🥨 Snacks and informal chat afterward!

All staff and students are warmly invited.

LOCOS Seminar - Decomputing

Group: Scottish Informatics and Computer Science Alliance (SICSA)
Speaker: SICSA Event, SICSA
Date: 16 October, 2025
Time: 15:00 - 16:00
Location:TBA

The next LOCOS Seminar will take place next week with guest speaker Dan Mcquillan, Senior Lecturer in Critical AI at Goldsmith’s, University of London. Title: Decomputing Abstract: “This talk will attempt to extend the idea of low carbon computing by calling for collective decision-making around the development and deployment of computational technologies. While progress can be made on both energy demands and embodied carbon, these are currently swamped by the accelerationist effects of technologies such as AI. Not only is our current political-economy unsustainable, as the IPCC points out, but the attempt to fix it through a fusion of AI and increased authoritarianism are only making things worse. The talk will propose the concept of ‘decomputing’ as a socio-technical response to this situation. Decomputing positions computing as first and foremost a matter of care; that is, as a practice that should pay attention to impact of technology on human and non-human relations. It draws on degrowth and deautomisation as ways to repair our environmental and democratic deficits, and proposes tools such as the Matrix of Convivial Technology (MCT) as means by which to transform the role of computation in society. While warning of the dangers latent in concepts like abstraction and efficiency, this talk will highlight the links between low carbon computing and the construction of alternative and more hopeful futures” Join online

Dan Mcquillan, author of "Resisting AI", on Decomputing

Group: Low Carbon and Sustainable Computing
Speaker: Dan Mcquillan, Goldsmiths, University of London.
Date: 16 October, 2025
Time: 15:00 - 16:00
Location: https://uofglasgow.zoom.us/j/83560095065?pwd=5YVWd7ve0qaCroa0UUjCLdlPoneTyA.1

Dan Mcquillan is Senior Lecturer in Critical AI at Goldsmiths, University of London. He will talk about decomputing and the relationship between low carbon computing and convivial societies. 

Title: Decomputing

Abstract:
"This talk will attempt to extend the idea of low carbon computing by calling for collective decision-making around the development and deployment of computational technologies. While progress can be made on both energy demands and embodied carbon, these are currently swamped by the accelerationist effects of technologies such as AI. Not only is our current political-economy unsustainable, as the IPCC points out, but the attempt to fix it through a fusion of AI and increased authoritarianism are only making things worse.

The talk will propose the concept of ‘decomputing’ as a socio-technical response to this situation. Decomputing positions computing as first and foremost a matter of care; that is, as a practice that should pay attention to impact of technology on human and non-human relations. It draws on degrowth and deautomisation as ways to repair our environmental and democratic deficits, and proposes tools such as the Matrix of Convivial Technology (MCT) as means by which to transform the role of computation in society. While warning of the dangers latent in concepts like abstraction and efficiency, this talk will highlight the links between low carbon computing and the construction of alternative and more hopeful futures"

bio: https://danmcquillan.org/pages/about.html

[FATA Seminar] Approximating temporal modularity on graphs of small underlying treewidth

Group: Formal Analysis, Theory and Algorithms (FATA)
Speaker: Ella Yates, FATA
Date: 14 October, 2025
Time: 15:00 - 16:00
Location: Room 422, SAWB

Modularity is a very widely used measure of the level of clustering or community structure in networks. Here we consider a recent generalisation of the definition of modularity to temporal graphs, whose edge-sets change over discrete timesteps; such graphs offer a more realistic model of many real-world networks in which connections between entities (for example, between individuals in a social network) evolve over time. Computing modularity is notoriously difficult: it is NP-hard even to approximate in general, and only admits efficient exact algorithms in very restricted special cases. Our main result is that a multiplicative approximation to temporal modularity can be computed efficiently when the underlying graph has small treewidth. This generalises a similar approximation algorithm for the static case, but requires some substantially new ideas to overcome technical challenges associated with the temporal nature of the problem.

Cybersecurity in Safety-Critical Environments

Group: Networked Systems Research Laboratory (NETLAB)
Speaker: External Speaker
Date: 15 October, 2025
Time: 10:00 - 11:00
Location: Room 422, SAWB

We will have an external visitor who previously worked in cybersecurity for the nuclear sector

SICSA October Education Seminar: Gen AI's impact on assessment design - Are we in Lane?

Group: Scottish Informatics and Computer Science Alliance (SICSA)
Speaker: SICSA Event, SICSA
Date: 15 October, 2025
Time: 14:00 - 15:00
Location: Room 1001, Old College Building, Abertay University DD1 1HG, Room 1001, Old College Building, Abertay University, Dundee, DD! 1HG

For our October Education Seminar, Jack Hogan, Lecturer in Academic Practice and Kerith George-Briant, Manager for the Learner Development Service, both from Abertay University will explore how GenAI is being integrated into disciplinary assessments. They will draw on 8 semi-structured interviews with academic staff. These interviews revealed a complex interplay of student needs, stakeholder expectations, and disciplinary definitions of criticality and the development of AI tools are all influencing decisions around GenAI use. Find out more and register for this event.

Haggis – the conundrum of assessing school children’s code comprehension – and a call to arms!!

Group: Programming Languages at University of Glasgow (PLUG)
Speaker: Quintin Cutts, UofG
Date: 15 October, 2025
Time: 15:00 - 16:00
Location: F121 Lilybank Gardens and Online

Quintin will be talking to us about his work with SQA on code comprehension. More details nearer the time.

GIST Seminar This Week- Meet Our New PhD Students!

Group: Human Computer Interaction (GIST)
Speaker: New GIST PhD Students
Date: 16 October, 2025
Time: 13:00 - 14:00
Location: SAWB 423, Sir Alwyn Williams Building

Join us for this week’s GIST Seminar, where our new PhD students will each give a short 3–4 minute introduction to their research topics, supervisors, and interests. It’s a great opportunity to get to know the next generation of researchers in our group.

🥨 Snacks and informal chat afterward!

All staff and students are warmly invited.

LOCOS Seminar - Decomputing

Group: Scottish Informatics and Computer Science Alliance (SICSA)
Speaker: SICSA Event, SICSA
Date: 16 October, 2025
Time: 15:00 - 16:00
Location: TBA

The next LOCOS Seminar will take place next week with guest speaker Dan Mcquillan, Senior Lecturer in Critical AI at Goldsmith’s, University of London. Title: Decomputing Abstract: “This talk will attempt to extend the idea of low carbon computing by calling for collective decision-making around the development and deployment of computational technologies. While progress can be made on both energy demands and embodied carbon, these are currently swamped by the accelerationist effects of technologies such as AI. Not only is our current political-economy unsustainable, as the IPCC points out, but the attempt to fix it through a fusion of AI and increased authoritarianism are only making things worse. The talk will propose the concept of ‘decomputing’ as a socio-technical response to this situation. Decomputing positions computing as first and foremost a matter of care; that is, as a practice that should pay attention to impact of technology on human and non-human relations. It draws on degrowth and deautomisation as ways to repair our environmental and democratic deficits, and proposes tools such as the Matrix of Convivial Technology (MCT) as means by which to transform the role of computation in society. While warning of the dangers latent in concepts like abstraction and efficiency, this talk will highlight the links between low carbon computing and the construction of alternative and more hopeful futures” Join online

Dan Mcquillan, author of "Resisting AI", on Decomputing

Group: Low Carbon and Sustainable Computing
Speaker: Dan Mcquillan, Goldsmiths, University of London.
Date: 16 October, 2025
Time: 15:00 - 16:00
Location: https://uofglasgow.zoom.us/j/83560095065?pwd=5YVWd7ve0qaCroa0UUjCLdlPoneTyA.1

Dan Mcquillan is Senior Lecturer in Critical AI at Goldsmiths, University of London. He will talk about decomputing and the relationship between low carbon computing and convivial societies. 

Title: Decomputing

Abstract:
"This talk will attempt to extend the idea of low carbon computing by calling for collective decision-making around the development and deployment of computational technologies. While progress can be made on both energy demands and embodied carbon, these are currently swamped by the accelerationist effects of technologies such as AI. Not only is our current political-economy unsustainable, as the IPCC points out, but the attempt to fix it through a fusion of AI and increased authoritarianism are only making things worse.

The talk will propose the concept of ‘decomputing’ as a socio-technical response to this situation. Decomputing positions computing as first and foremost a matter of care; that is, as a practice that should pay attention to impact of technology on human and non-human relations. It draws on degrowth and deautomisation as ways to repair our environmental and democratic deficits, and proposes tools such as the Matrix of Convivial Technology (MCT) as means by which to transform the role of computation in society. While warning of the dangers latent in concepts like abstraction and efficiency, this talk will highlight the links between low carbon computing and the construction of alternative and more hopeful futures"

bio: https://danmcquillan.org/pages/about.html

TBC

Group: Systems Seminars
Speaker: Nazila Fough , University of Glasgow
Date: 21 October, 2025
Time: 14:00 - 15:00
Location: Room 422, Sir Alwyn Williams Building and Zoom

TBC

[FATA Seminar] TBA

Group: Formal Analysis, Theory and Algorithms (FATA)
Speaker: Fabricio Mendoza Granada, FATA
Date: 21 October, 2025
Time: 15:00 - 16:00
Location: Room 422, SAWB

TBA

Title TBA

Group: Programming Languages at University of Glasgow (PLUG)
Speaker: Daniel Hillerström, Category Labs & University of Edinburgh
Date: 22 October, 2025
Time: 15:00 - 16:00
Location: F121 Lilybank Gardens and Online

Daniel will be giving us a PLUG talk, the details of which are to be confirmed. Expect continuations!

Upwards seminar: Applying for ERC Grants

Group: School of Computing Science
Speaker: Dr Ilyena Hirskyj-Douglas and Professor Julie Williamson, School of Computing Science, University of Glasgow
Date: 28 October, 2025
Time: 10:00 - 11:00
Location: Sir Alwyn Williams Building, 422 Seminar Room

Topic: Applying for ERC Grants

Speakers:

- Dr Ilyena Hirskyj-Douglas (SoCS, GIST)

- Professor Julie Williamson (SoCS, GIST)

Location: in room SAWB 422 and on Zoom: https://uofglasgow.zoom.us/j/84976190263?pwd=yRsasB6HLqVtTW307b4028jJAKdYuj.1

What will this session be about?
 
It is up to the speakers to set the agenda for their Upwards talks, but the idea of this seminar instance is to hear about experiences applying (successfully) for ERC funding (such as Starting Grants and Consolidator Grants). Why would you want to try? What can you expect from winning an ERC grant? How might it impact your work, group, and career? What are the big strategic decisions you want to get right when working on your grant application? How much time might you need? Whom to ask for help? How to prepare for the interview?

What is Upwards?
 
Upwards is the School of Computing Science’s research culture seminar, covering all facets of developing, conducting, and disseminating research and related topics (e.g. managing a research team, time management to do research, connections between research and teaching). It is open to everyone in the School, but a specific aim is to support ECR development and some sessions are aimed mainly at PGRs and/or PDRAs.

How are the seminars held?

Upwards seminars are held in person in the School to bring people together. However, the sessions are also streamed on Zoom to allow to join remotely, if attending in person is not an option. To preserve the off-the-record atmosphere of the seminars, which allows speakers to speak more freely about personal experiences, the seminars are not recorded and slides are not shared.

TBC

Group: Systems Seminars
Speaker: Tomasz Lyko, Lancaster University
Date: 28 October, 2025
Time: 14:00 - 15:00
Location: Room 422, Sir Alwyn Williams Building and Zoom

TBC

In-Network GOOSE Encryption with eBPF-based Programmable Network Architecture

Group: Networked Systems Research Laboratory (NETLAB)
Speaker: Filip Holik
Date: 29 October, 2025
Time: 09:00 - 10:00
Location: Room 422, SAWB

Retrofitting cybersecurity to digital substations is a costly and challenging effort. Communication encryption and device authentication are two of the most important techniques to ensure confidentiality, integrity and availability. However, most common grid devices do not support modern cryptography due to limited computational capacity of legacy devices. In this paper, we perform detailed performance comparison of several encryption protocols on GOOSE traffic, taking into consideration entire payload encryption, encryption of only critical fields, and CPU performance. We compared the efficiency of five algorithms and their effect on end-to-end latency on resource-constrained single board devices. Finally, we propose an in-network eBPF-based programmable data plane solution which performs encryption and decryption in–network as opposed to grid devices and therefore eliminates the need for replacing the power grid IEDs or buying additional encryption / decryption cards. We implemented the best performing algorithm – Chacha20 in-network and tested the proposed architecture achieving end-to-end latency under 0.5 ms during normal operation and under 1 ms under heavily loaded network and high messages frequency, thus complying with the GOOSE latency limit.

The SCOttish Networking Event (SCONE) Meeting

Group: Scottish Informatics and Computer Science Alliance (SICSA)
Speaker: SICSA Event, SICSA
Date: 29 October, 2025
Time: 12:00 - 17:30
Location: Abertay cyberQuarter, 1-3 Bell Street, Dundee, DD1 1LH

The Scottish Networking Event (SCONE) will have their next meeting at Abertay cyberQuarter in Dundee. SCONE is an informal gathering of networking and systems researchers in and around Scotland. Each meeting will take place over the course of an afternoon and feature: talks from PhD students talks from faculty, postdocs and industrial researchers discussions of possible funding opportunities food and drink Check the website for more information and to register

Wasm for Secure Compute on CHERI

Group: Systems Seminars
Speaker: Yuxin Qin, University of Glasgow
Date: 04 November, 2025
Time: 14:00 - 15:00
Location: Room 422, Sir Alwyn Williams Building and Zoom

This talk will explore WebAssembly (Wasm), CHERI, and Large Language Models (LLMs) to improve safety and performance of low-level programs. First, it characterises Wasm workloads, covering instruction mix, allocation, opcode dynamics, and execution costs, identifying bottlenecks and assessing Garbage Collection (GC) extensions. Then, it integrates Wasm with CHERI, showing hardware-enforced capabilities prevent buffer overflows and use-after-free with minimal overhead. Last, it profiles LLM-generated C on CHERI using ASan, Valgrind, and CBMC, revealing novice-like unsafe patterns. Together, these studies demonstrate hardware-assisted memory safety as a practical path toward robust Wasm systems.

Bio: 

Yuxin Qin received her B.E. degree in Electrical Engineering and Automation from Central South University (CSU, 985 listed) in 2019. She first came to Scotland in 2022, for her PhD study in School of Computing Science, University of Glasgow. She submitted her PhD thesis recently which supervised by Prof. Jeremy Singer. This talk is mainly about her PhD thesis and looking for comments. Yuxin has received several awards, including CSC PhD scholarship, CSU First-Class Scholarship for 3 years, and CSU Outstanding Graduation Award. Her research interests include memory safety, bytecode interpreters, and edge computing.

TBA

Group: Programming Languages at University of Glasgow (PLUG)
Speaker: Bob Atkey, University of Strathclyde
Date: 05 November, 2025
Time: 15:00 - 16:00
Location: F121 Lilybank Gardens and Online

Bob will give us a talk on something interesting; details of which are to be confirmed.

Leveraging LLMs in the Software Development Lifecycle: Practical Insights on Code Quality and Test Generation

Group: Glasgow Computing Science Innovation Lab
Speaker: Dr Gul Calikli and Dr Debasis Ganguly, School of Computing Science, UofG
Date: 10 November, 2025
Time: 12:15 - 14:00
Location: Studio 2, Advanced Research Centre

Glasgow Computing Science Innovation Lab (GLACSIL) welcomes colleagues, researchers, GLACSIL partners, and industry representatives to this latest in our series of hybrid events where hot topics in computing and innovation are explored over a working lunch and networking.

Leveraging LLMs in the Software Development Lifecycle: Practical Insights on Code Quality and Test Generation

Speakers: Dr Gul Calikli and Dr Debasis Ganguly, School of Computing Science, University of Glasgow

Large Language Models (LLMs) like GPT-4.o are becoming powerful tools in modern software engineering—powering code assistants, enabling rapid prototyping, and now playing a growing role in testing. This talk shares two industry-relevant research studies focused on helping developers make the most of LLMs in real-world workflows.

The first study addresses a common challenge in feature-driven and rapid development environments: how do you assess the quality of generated code when you don’t yet have tests? We present a practical technique that uses in-context learning (ICL) to estimate the functional correctness of LLM-generated code by analyzing ranked alternatives—similar to how search engines rank results. By showing LLMs examples of correct code during generation, developers can get more reliable signals about which output is most likely to work.

The second study dives into automated unit test generation—a time-consuming but critical task. We evaluate how LLMs perform when prompted with different types of test examples: human-written, traditional tool-generated (like SBST), and LLM-generated. Our findings, based on popular benchmarks and GPT-4.o (used in tools like GitHub Copilot), show that the right few-shot examples—especially human-written ones—can significantly improve test quality and code coverage. We also demonstrate how combining code and problem similarity helps select the most effective examples automatically.

Packed with actionable insights, this session will help practitioners understand how to better guide LLMs, improve the reliability of generated code, and boost the effectiveness of automated testing—all without overhauling existing workflows.

[FATA Seminar] TBA

Group: Formal Analysis, Theory and Algorithms (FATA)
Speaker: Laura Larios-Jones, FATA
Date: 11 November, 2025
Time: 15:00 - 16:00
Location: Room 422, SAWB

TBA

TBC

Group: Networked Systems Research Laboratory (NETLAB)
Speaker: TBC
Date: 12 November, 2025
Time: 09:00 - 10:00
Location: Room 422, SAWB

Designing Transport-Level Encryption for Datacenter Networks

Group: Systems Seminars
Speaker: Michio Honda, University of Edinburgh
Date: 13 November, 2025
Time: 14:00 - 15:00
Location: Room 422, Sir Alwyn Williams Building and Zoom

Cloud applications need network data encryption to isolate from othertenants and protect their data from potential eavesdroppers in the network infrastructure. This paper presents SDT, a protocol design for emerging datacenter transport protocols, such as NDP and Homa, to integrate data encryption. SDT uses per-message record sequence number spaces in a secure session, which ensures unique message identities for its messages to prevent replay attacks. This design enables transport-level encryption that supports existing NIC offloads designed for TLS over TCP, native protocol number alongside TCP and UDP, and message-based abstraction that mitigates head-of-line blocking and enables the network or host stack to identify the message boundaries for load balancing. We implement SDT in the Linux kernel by extending Homa/Linux and improves RPC throughput by up to 41 % and latency by up to 35 % in comparison to TLS/DCTCP.  This work is to appear in IEEE S&P 2026.

Bio:

Michio Honda is a Reader in the School of Informatics at the University of Edinburgh since 2020. His best known work is identifying TCP extensibility against middlebox interference and building the first TCP/IP network stack for persistent memory. His current research interests include secure datacenter transport protocols, host network stack design and scale-out networking. He is a recipient of IRTF Applied Networking Research Prize, Facebook Research Award and Google Research Scholar Award.

Upwards Seminar: Why and How to Organise a Conference in Glasgow

Group: School of Computing Science
Speaker: Drs Marwa Mahmoud and Gerardo Aragon Camarasa, School of Computing Science, University of Glasgow
Date: 14 November, 2025
Time: 15:00 - 16:00
Location: Sir Alwyn Williams Building, 422 Seminar Room

Topic: Why and How to Organise a Conference in Glasgow

Speakers:

- Dr Marwa Mahmoud (SoCS, GIST)

- Dr Gerardo Aragon Camarasa (SoCS, IDA)

Location: In room SAWB 422 and on Zoom (https://uofglasgow.zoom.us/j/81666424276?pwd=zvsl5GIybLXcVXLkPBtInRaoKvtOyf.1).

What will this session be about?
 
It is up to the speakers to set the agenda for their Upwards talks, but the idea of this seminar instance is to hear lessons learned from organising a major conference in Glasgow, answering key questions such as: Why would you commit the time? How do you bid for hosting a major conference in Glasgow? How do you compose your organisation team? How do you advertise the event? How do you make your conference memorable with social events? What has to happen before, what during, and what after the conference?

What is Upwards?
 
Upwards is the School of Computing Science’s research culture seminar, covering all facets of developing, conducting, and disseminating research and related topics (e.g. managing a research team, time management to do research, connections between research and teaching). It is open to everyone in the School, but a specific aim is to support ECR development and some sessions are aimed mainly at PGRs and/or PDRAs.

How are the seminars held?

Upwards seminars are held in person in the School to bring people together. In addition, the sessions are streamed on Zoom to allow to join remotely, if attending in person is not an option. To preserve the off-the-record atmosphere of the seminars, which allows speakers to speak more freely about their personal experiences, the seminars are not recorded and the slides are not shared. For the same reason, AI tools (such as those that automatically take meeting notes) will not be permitted. 

xMem: A CPU-Based Approach for Accurate GPU Memory Prediction in Deep Learning Training

Group: Systems Seminars
Speaker: Jiabo Shi, University of Glasgow
Date: 18 November, 2025
Time: 14:00 - 15:00
Location: Room 422, Sir Alwyn Williams Building and Zoom

The widespread adoption of Deep Learning (DL) in diverse application areas has significantly increased the demand for GPUs. Consequently, GPU resources are scarce and are managed in clusters to maximize resource utilization. However, this shift introduces new debugging challenges when training DL models on shared clusters particularly Out-Of-Memory (OOM) errors, an issue commonly reported in industry and academic literature. Existing solutions for avoiding OOM primarily rely on static analysis of the DL model’s computational graph, or leverage GPU resources directly or indirectly to estimate the peak memory required for training the given task on the target GPU. Unfortunately, relying on GPUs for these predictions exacerbates resource contention and increases scheduling challenges. Furthermore, the dynamic nature of model development limits the accuracy of static analysis to estimate peak memory usage. To address these limitations, we propose xMem, a novel tool that uses CPU-based analysis to accurately predict the memory required for model training on a GPU. By eliminating the reliance on GPUs for memory estimation, xMem promotes efficient GPU utilization while mitigating OOM errors. Our empirical evaluation of 16 DL models (a total of 5,040 runs) demonstrates that, compared to state-of-the-art GPU memory estimators, xMem decreases the median relative error by 84.32%, reduces the average probability of estimation failure by 73.44%, accelerates the runtime by 50.16%, and improves memory conservation by 125.36%.

About the Speaker:

Jiabo Shi is a PhD student at the University of Glasgow, supervised by Dr Yehia Elkhatib and Professor Dimitrios Pezaros. His interests focus on machine learning performance measurement and prediction, as well as developing efficient and reliable resource scheduling systems for deep learning clusters. His current PhD research investigates the widespread resource waste in large-scale deep learning clusters, with a focus on job failures due to Out-of-Memory (OOM) errors amid the global GPU shortage. 

[FATA Seminar] TBA

Group: Formal Analysis, Theory and Algorithms (FATA)
Speaker: Alceste Scalas, DTU Compute - TU Denmark
Date: 18 November, 2025
Time: 15:00 - 16:00
Location: Room 422, SAWB

TBA

TBA

Group: Programming Languages at University of Glasgow (PLUG)
Speaker: Anton Lorenzen, University of Edinburgh
Date: 19 November, 2025
Time: 15:00 - 16:00
Location: F121 Lilybank Gardens and Online

Anton Lorenzen from Edinburgh will give us a talk -- most likely on his work on Functional-but-in-place programming. Details TBA.

What makes a "serious" computer science department?

Group: School of Computing Science
Speaker: Stephen Kell, King's College London
Date: 21 November, 2025
Time: 16:00 - 17:00
Location: 422 Sir Alwyn Williams (SAWB), University of Glasgow

What are the hallmarks of "things done right" in a computer science 
department that aspires to world-class research and teaching? In this 
polemic I'll share my own thoughts on this question, based on 
experiences working at a few different departments (while enjoying a 
blissful absence of management responsibility), and invite thoughts from 
the audience. The struggle is real, in that no department does uniformly 
well by these criteria. I'll share some anecdotes about the obstacles 
that can arise and some possible tactics (or "armchair wisdom") that may 
sometimes help overcome them.

TBC

Group: Systems Seminars
Speaker: Yuvraj Patel, University of Edinburgh
Date: 25 November, 2025
Time: 14:00 - 15:00
Location: Room 422, Sir Alwyn Williams Building and Zoom

TBC

[FATA Seminar] TBA

Group: Formal Analysis, Theory and Algorithms (FATA)
Speaker: Paul Besci, University of Oxford
Date: 25 November, 2025
Time: 15:00 - 16:00
Location: Room 422, SAWB

TBA

TBC

Group: Networked Systems Research Laboratory (NETLAB)
Speaker: Martin Nahalka
Date: 26 November, 2025
Time: 09:00 - 10:00
Location: Room 422, SAWB

TBC

Group: Systems Seminars
Speaker: Marc Juarez, University of Edinburgh
Date: 02 December, 2025
Time: 14:00 - 15:00
Location: Room 422, Sir Alwyn Williams Building and Zoom

Abstract:

TBC

Bio:

Marc Juarez is a Lecturer in Cyber Security and Privacy at the University of Edinburgh’s School of Informatics. Prior to his current appointment, he was a Postdoctoral Scholar in the Computer Science Department of the University of Southern California. His research focuses on investigating the privacy risks that arise from the application of machine learning techniques. More specifically, Marc’s work involves designing and evaluating countermeasures against machine learning-based attacks for privacy-aware Internet protocols, studying the privacy of deployed machine learning models, and developing mechanisms to measure the fairness properties of such models.

Title TBA

Group: Programming Languages at University of Glasgow (PLUG)
Speaker: Jacob Trevor
Date: 03 December, 2025
Time: 15:00 - 16:00
Location: F121 Lilybank Gardens and Online

Jake will give us a talk/rant about package managers. Details TBA.

TBC

Group: Systems Seminars
Speaker: Stephen McQuistin, University of St. Andrews
Date: 09 December, 2025
Time: 14:00 - 15:00
Location: Room 422, Sir Alwyn Williams Building and Zoom

TBC

Group: Networked Systems Research Laboratory (NETLAB)
Speaker: Kelsey Collington
Date: 10 December, 2025
Time: 09:00 - 10:00
Location: Room 422, SAWB

Measuring and understanding Distributed Denial of Service attacks

Group: Systems Seminars
Speaker: Daniel R. Thomas, University of Strathclyde
Date: 20 January, 2026
Time: 14:00 - 15:00
Location: Room 422, Sir Alwyn Williams Building and Zoom

Bio:

Dr Daniel R. Thomas is a Senior Lecturer at the University of Strathclyde where he is Director of the NCSC certified Academic Centre of Excellence in Cyber Security Research (ACE-CSR). His research interests are in measuring security and cybercrime so that we can monitor improvement, evaluate interventions and inform regulators. This reveals which techniques work and provides the missing economic incentives to improve security and reduce cybercrime. He co-organises the Strathclyde International Perspectives on Cybercrime Summer School [link](https://www.strath.ac.uk/science/computerinformationsciences/strathcyber/cybercrimesummerschool) , which next runs 24th-28th August 2026.

TBC

Group: Systems Seminars
Speaker: Tom Spink, University of St. Andrews
Date: 27 January, 2026
Time: 14:00 - 15:00
Location: Room 422, Sir Alwyn Williams Building and Zoom

TBC

TBC

Group: Systems Seminars
Speaker: Tao Chen, University of Birmingham
Date: 19 February, 2026
Time: 14:00 - 15:00
Location: Room 422, Sir Alwyn Williams Building and Zoom

TBC