2026's Seminars
Page 1 of 14
Next
[INGI] 2026-12-03 (13:00) : Measuring and Improving Quality of Experience in Cloud Game Streaming
At Nyquist Room - Maxwell a.164
Speaker :
Xiaokun Xu (ICTEAM-INGI)
Abstract : Cloud game streaming moves game rendering from the player’s device to remote cloud servers, enabling high-quality gaming on lightweight hardware. However, its interactive nature makes the player experience particularly sensitive to network conditions such as latency, jitter, and bandwidth variation.
In this talk, I will present my research on measuring, modeling, and improving Quality of Experience (QoE) in cloud gaming. Through controlled user studies, network experiments, and real-world home deployments, I investigate how network and system factors affect responsiveness, visual quality, and gameplay smoothness, and use these observations to develop models for predicting player QoE.
I will also discuss approaches for improving QoE at different layers of the cloud gaming system, including Active Queue Management (AQM) at the network layer, playout buffering at the client, and latency compensation at the server. These results highlight the trade-offs between latency and smoothness and provide practical insights into designing more responsive and robust cloud gaming systems.
Since this is a general seminar for an audience that may not be familiar with the topic, I plan to keep the presentation accessible rather than going too deeply into technical details. I think 30–40 minutes should be sufficient
[INGI] 2026-11-26 (13:00) : Hardware-Software Co-design for Packet-Processing Applications
At Shannon Room - Maxwell (A.105)
Speaker :
Nikita Tyunyayev
Abstract : Network applications are struggling to keep up with the exponential growth of network traffic. To address this, they can rely on the increasingly feature-rich hardware found in modern servers. While powerful, this hardware has its own limitations and challenges. In particular, commodity NICs cannot run stateful packet-processing applications on their own. In this presentation, we will review the capabilities and limitations of modern commodity NICs and show how software can leverage them to accelerate packet-processing applications.
[INGI] 2026-11-12 (13:00) : NVMe-over-QUIC: Secure and Efficient NVMe Disaggregation over IP Networks
At Shannon Room - Maxwell (A.105)
Speaker :
Soyong Kim
Abstract : NVMe-over-Fabrics enables disaggregated storage, but high-performance deployments often rely on specialised lossless RDMA fabrics. This talk presents NVMe-over-QUIC, a secure IP-based transport that does not require such a fabric. Our design maps each NVMe command to an independent QUIC stream, leveraging QUIC’s built-in encryption, multiplexing, and loss recovery while avoiding cross-command head-of-line blocking. I will also describe a UDP-based core-steering architecture that preserves CPU affinity for multi-core scaling. Our evaluation shows up to 4× higher throughput than NVMe/TLS and substantially improved tail latency under packet loss and additional delay. These results show that QUIC can provide an efficient and robust alternative for secure NVMe disaggregation over conventional IP networks.
[INMA] 2026-11-03 (14:00) : Reading Between The Lines of Code
At Euler building (room A.002)
Speaker :
Elizabeth Polgreen (University of Edinburgh)
Abstract : Formal verification is hard. It is even harder when you do not know what property you should be verifying.
People are notoriously bad at stating precisely what they want, and natural language is inherently ambiguous. As a result, the software, hardware and systems we rely on often come without usable specifications for formal verification. Even when specifications do exist, they are often insufficiently detailed for automated verification tools to prove the properties we care about. This gap is becoming increasingly important as AI-generated code enters the software and hardware ecosystem: we may be able to generate implementations faster than ever, but understanding what those implementations are supposed to do remains a core challenge.
In this talk, I will discuss our group’s attempts to close this gap through specification mining: automatically inferring the properties that are implicit in code, designs, and their behaviour. Drawing on classical program synthesis techniques as well as large language models, we are exploring methods for efficiently mining specifications for both hardware and software. Our aim is to reduce the manual burden of formal verification and, ultimately, to enable the verification of systems without requiring users to write formal specifications by hand.
[INGI] 2026-10-22 (13:00) : 2 INGI seminars in one: Johann Hugon & Alice Burlat (ICTEAM)
At Nyquist Room - Maxwell a.164
Section 1:ANTS: Agnostic Network Transit for Space
Speaker :
Johann Hugon (ICTEAM-INGI)
Abstract : "Satellite communications (SatCom) have the potential to bring global connectivity, resilience, and coverage to new levels.
Yet despite rapid deployment by operators like Starlink and IRIS², current constellations primarily operate as access networks, underutilizing their capacity for long-range transit.
While the industry is converging on the need for this transition, naively treating SatCom as a terrestrial Autonomous System risks destabilizing the global Internet due to routing instability and protocol ossification.
To address these challenges, this project introduces ANTS (Agnostic Network Transit for Space), a framework designed to treat SatCom as a distinct network class.
ANTS aims to design and validate architecture-agnostic interfacing protocols that facilitate seamless space–terrestrial interoperability and direct inter-constellation communication.
By defining these standards before network architectures ossifying, ANTS seeks to enable efficient, resilient satellite transit layers that are fully integrated with the terrestrial Internet ecosystem."
Section 2:Using Idle Inter-Satellite Links for Network Transit
Speaker :
Alice Burlats (ICTEAM-INGI)
Abstract : Low Earth Orbit (LEO) satellite constellations such as Starlink and OneWeb are being deployed at a fast pace. Today they serve mainly as access networks. They follow a bent-pipe model in which each user's traffic is relayed to a nearby ground station and handed off to the terrestrial Internet. Operators have recently started equiping their satellites with laser terminals, which create Inter-Satellite Links (ISLs) that can route traffic across the whole constellation. Because demand follows where users live, most of this in-orbit capacity sits unused, especially over the oceans, where few users are located. Intercontinental traffic, meanwhile, still depends almost entirely on submarine fiber cables. These cables are costly to deploy and repair, and they are exposed to natural disasters and deliberate attacks. We argue that the idle ISLs can be used as a transit network that carries traffic between Internet Exchange Points (IXPs) on different continents, alongside the existing access service and explore how much traffic current LEO constellations could carry in this role.
Page 1 of 14
Next
Seminars
Subscribe (ICS)
INMA Contact Info
Mathematical Engineering (INMA)
L4.05.01
Avenue Georges Lemaître, 4
+32 10 47 80 36
secretaire-inma@uclouvain.be
Mon – Fri 9:00A.M. – 5:00P.M.
JOIN US