Publications associées à Rebooting Virtual Memory with Midgard

Publications associées (34)

Lightweight Hypervisor Verification: Putting the Hardware Burger on a Diet

Edouard Bugnion, Thomas Emile Bourgeat, Charly Nicolas Lucien Castes

Hypervisors are an essential part of our computing infrastructure, yet ensuring their correctness remains a significant challenge for the community. While several hypervisors have been formally verified using traditional methods, they have typically requir ...

ACM2025

The critical role of trust in adopting AI-powered educational technology for learning: An instrument for measuring student perceptions

Tanja Christina Käser Jacober, Paola Mejia Domenzain, Vinitra Swamy, Jibril Albachir Frej, Tatjana Nazaretsky

In recent decades, we have witnessed the democratization of AI-powered Educational Technology (AI-EdTech). However, despite the increased accessibility and evolving technological capabilities, its adoption is accompanied by significant challenges, predomin ...

Elsevier BV2025

Intermediate Address Space: virtual memory optimization of heterogeneous architectures for cache-resident workloads

Qunyou Liu, David Atienza Alonso, Marina Zapater Sancho, Darong Huang, Luis Maria Costero Valero

The increasing demand for computing power and the emergence of heterogeneous computing architectures have driven the exploration of innovative techniques to address current limitations in both the compute and memory subsystems. One such solution is the use ...

2024

FlexiMem: Flexible Shared Virtual Memory for PCIe-attached FPGAs

Paolo Ienne, Canberk Sönmez, Mohamed Mahfouz Ahmed Kotb Shahawy, Cemalettin Cem Belentepe

Shared Virtual Memory (SVM) is a mechanism that allows host-side applications and FPGA accelerators to access the same virtual address space. It enables accelerating algorithms with unpredictable memory access patterns by making transparent pointer sharing ...

Institute of Electrical and Electronics Engineers Inc.2024

Secure Interface Design Leveraging Hardware/Software Support

Atri Bhattacharyya

Computer systems rely heavily on abstraction to manage the exponential growth of complexity across hardware and software. Due to practical considerations of compatibility between components of these complex systems across generations, developers have favou ...

EPFL2024

EdgeAI-Aware Design of In-Memory Computing Architectures

Marco Antonio Rios

Driven by the demand for real-time processing and the need to minimize latency in AI algorithms, edge computing has experienced remarkable progress. Decision-making AI applications stand out for their heavy reliance on data-centric operations, predominantl ...

EPFL2024

Exploring High-Performance and Energy-Efficient Architectures for Edge AI-Enabled Applications

Joshua Alexander Harrison Klein

The desire and ability to place AI-enabled applications on the edge has grown significantly in recent years. However, the compute-, area-, and power-constrained nature of edge devices are stressed by the needs of the AI-enabled applications, due to a gener ...

EPFL2024

Multi-Ported GC-eDRAM Bitcell with Dynamic Port Configuration and Refresh Mechanism

Adam Shmuel Teman, Robert Giterman

Embedded memories occupy an increasingly dominant part of the area and power budgets of modern systems-on-chips (SoCs). Multi-ported embedded memories, commonly used by media SoCs and graphical processing units, occupy even more area and consume higher pow ...

MDPI2024

Touch and Closeness in Naturally Organized Activities

Alain Bovet

Countless aspects of touch and closeness have been questioned in an unprecedented way during the recent Covid epidemic. Social practices as banal as greetings were both reflexively and practically challenged and sometimes deeply altered, resulting in painf ...

2024

Nanoindentation hardness and modulus of Al2O3-SiO2-CaO and MnO-SiO2-FeO inclusions in iron

Eva Luisa Vogt, Jonathan Aristya Setyadji, Andreas Mortensen, Léa Deillon, Alejandra Inés Slagter, David Hernandez Escobar

Dataset corresponding to the following manuscript: Slagter, A., Setyadji, J.A., Vogt, E.L. et al. Nanoindentation Hardness and Modulus of Al2O3–SiO2–CaO and MnO–SiO2–FeO Inclusions in Iron. Metall Mater Trans A (2024). https://doi.org/10.1007/s11661-024-0 ...

Zenodo2024

Dataset for '3D printing of customizable transient bioelectronics and sensors'

Danick Briand, Nicolas Francis Fumeaux

This data set contains the data collected during the FNS project Green Piezo (Grant no. 179064) in association with the recent publication entitled “3D printing of customizable transient bioelectronics and sensors”. This work aims to study and demonstrate ...

Zenodo2024

Data set for control of Ge island coalescence for the formation of nanowires on silicon

Anna Fontcuberta i Morral, Alok Rudra, Santhanu Panikar Ramanandan, Joel René Sapera

This document contains all the data and the details of the analysis used in the manuscript titled " Control of Ge island coalescence for the formation of nanowires on silicon." https://doi.org/10.1039/D3NH00573A ...

EPFL Infoscience2024

Data and scripts for the RaFSIP scheme

Athanasios Nenes, Paraskevi Georgakaki

This repository contains microphysics routines, scripts, and processed data from the Weather Research and Forecasting (WRF) model simulations presented in the paper "RaFSIP: Parameterizing ice multiplication in models using a machine learning approach", by ...

Zenodo2024

Hybrid Simulator for Capturing Dynamics of Synthetic Populations

Michel Bierlaire, Marija Kukic

This paper presents a novel hybrid framework for generating and updating a synthetic population. We call it hybrid because it combines model-based and data-driven approaches. Existing generators produce a snapshot of synthetic data that becomes outdated ov ...

IEEE2024

Data-driven statistical optimization of a groundwater monitoring network

Andrea Rinaldo

We propose a comparative study of three different methods aimed at optimizing existing groundwater monitoring networks. Monitoring piezometric heads in subsurface porous formations is crucial at regional scales to properly characterize the relevant subsurf ...

Elsevier2024

Probabilistic and Deterministic Wellposedness for Low Regularity Dispersive Equations

Katie Sabrina Catherine Rosie Marsden

In this thesis we will present two results on global existence for nonlinear dispersive equations with data at or below the scaling regularity. In chapter 1 we take a probabilistic perspective to study the energy-critical nonlinear Schrödinger equation in ...

EPFL2024

Orchestrating chromosome conformation capture analysis with Bioconductor

Cyril Matthey-Doret

Genome-wide chromatin conformation capture assays provide formidable insights into the spatial organization of genomes. However, due to the complexity of the data structure, their integration in multi-omics workflows remains challenging. We present data st ...

Nature Research2024

Dataset for "Complexity of crack front geometry enhances toughness of brittle solids"

John Martin Kolinski, Chenzhuo Li, Xinyue Wei

This data package supports the publication 'Complexity of crack front geometry enhances toughness of brittle solids' by Xinyue Wei, Chenzhuo Li, Cían McCarthy, and John M. Kolinski Nature physics (2024) - https://doi.org/10.1038/s41567-024-02435-x DOI: 1 ...

Zenodo2024

Designing for Intimate Wellbeing: Aidee, a Qualitative Approach To Urine Home Monitoring

Nicolas Henchoz, Delphine Ribes Lemay, Emily Clare Groves, Sebastian Eduardo Baez Lugo, Margherita Motta

Despite the widespread use of self-tracking technologies for promoting personal wellbeing, there is limited research on the monitoring of intimate data, particularly urine. To shed light on the design possibilities within this unexplored domain we designed ...

DRS Digital Library2024

Integrated Wireless Power, Data Communication, and Thermal Sensing System for Autonomous Multisite Brain Implants

Mohammad Javad Karimi

Implanted medical devices (IMDs) have been widely developed to support the monitoring and recording of biological data inside the body or brain. Wirelessly powered IMDs, a subset of implantable electronics, have been proposed to eliminate the limitations r ...

EPFL2024