Systems Research Group Seminar

Distributed Systems are inherently hard to build and reason about. Their combination of asynchrony and partial failures leads to complex edge cases that are rarely repeatable under test conditions. To address this problem, we can use formal methods to formally model and analyze our distributed systems, detecting error...

OCaml 5 added support both for parallelism and for programming with effects, which allows, among other things, the implementation of direct-style cooperative concurrency. Indeed, multiple effects based concurrent programming libraries have already been developed, including Affect, Domainslib, Eio, Fuseau, Miou, Moonpool...

Unix / Linux shell programming is ubiquitous, partly due to the simplicity in which it allows combining third-party components (commands) written in any programming language. Unfortunately, this language-agnostic composition hinders automated scaleout of shell programs, often forcing developers that deal with massive...

The rapid adoption of Internet of Things (IoT) and Operational Technology (OT) devices to control systems remotely has introduced significant cyber-security challenges. Attackers have compromised millions of such devices over the years, exploiting their lack of management and weak cyber-security. In this paper, we examine...

*Enabling Efficient and Scalable DRAM Read Disturbance Mitigation via New Experimental Insights into Modern DRAM Chips* DRAM is the prevalent main memory technology due to its high density and low latency characteristics. The increasing need for faster access rates and larger DRAM capacity motivates improving the DRAM chip...

Modern technologies seem to bring almost as many harms as benefits, and legislators are rolling out myriad new regulations to mitigate such harms. The EU for instance has recently introduced the Digital Services Act, Digital Markets Act, AI Act, Data Act and many more. Such technology laws are often intended to be...

Source-level debugging of compiled code only works when compilers generate the necessary metadata. Currently, that means it rarely works well, at least in optimising ahead-of-time compilers like LLVM and GCC. I'll give an overview of how compiler-generated metadata enables source-level debugging, the challenges of making...

This talk will introduce the Operation Outbreak (OO) platform (https://operationoutbreak.org/). OO follows the steps of pioneering projects such as Thinking Tags and FluPhone, by enabling participatory epidemic games where a digital pathogen spreads through participants' mobile devices. These games provide an immersive...

Many service providers offer their services in exchange for users' private data. Despite new regulations created to protect users' privacy, users are often given little choice over the way their data is collected and used. To address privacy concerns in cloud-IoT applications, this study proposes to use an architecture...

Title: DINC: Toward Distributed In-Network Computing Speaker: Changgang Zheng Abstract: In-network computing provides significant performance benefits, load reduction, and power savings. Still, an in-network service’s functionality is strictly limited to a single hardware device. Research has focused on enabling on-device...