Related publications (54)

Comprehensive Memory Safety Validation: An Alternative Approach to Memory Safety

Mathias Josef Payer

Comprehensive memory safety validation identifies the memory objects whose accesses provably comply with all classes of memory safety, protecting them from memory errors elsewhere at low overhead. We assess the breadth and depth of comprehensive memory saf ...
Ieee Computer Soc2024

An instance-based learning approach for evaluating the perception of ride-hailing waiting time variability

Michel Bierlaire, Nejc Gerzinic

Understanding user’s perception of service variability is essential to discern their overall perception of any type of (transport) service. We study the perception of waiting time variability for ride-hailing services. We carried out a stated preference su ...
2023

Hardware-Software co-design Methodologies for Edge AI Optimization

Flavio Ponzina

ML-based edge devices may face memory and computational errors that affect applications' reliability and performance. These errors can be the result of particular working conditions (e.g., radiation areas in physical experiments or avionics) or could be th ...
EPFL2023

Morphological Sensitivity and Falling Behavior of Paper V-Shapes

Josephine Anna Eleanor Hughes

Behavioral diversity seen in biological systems is, at the most basic level, driven by interactions between physical materials and their environment. In this context we are interested in falling paper systems, specifically the V-shaped falling paper (VSFP) ...
MIT PRESS2022

Hypothalamic pregnenolone mediates recognition memory in the context of metabolic disorders

Maria del Carmen Sandi Perez, Ioannis Zalachoras, Sara Ramirez Flores

Obesity and type 2 diabetes are associated with cognitive dysfunction. Because the hypothalamus is implicated in energy balance control and memory disorders, we hypothesized that specific neurons in this brain region are at the interface of metabolism and ...
Elsevier2022

Structured and tiled-based pruning of Deep Learning models targeting FPGA implementations

Alexandre Schmid, Lizeth Gonzalez Carabarin

Model compression techniques have lead to a reduction of size and number of computations of Deep Learning models. However, techniques such as pruning mostly lack of a real co-optimization with hardware platforms. For instance, implementing unstructured pru ...
IEEE2022

Reward biases spontaneous neural reactivation during sleep

Dimitri Nestor Alice Van De Ville, Maximilien Catsiyannis

Sleep favors the reactivation and consolidation of newly acquired memories. Yet, how our brain selects the noteworthy information to be reprocessed during sleep remains largely unknown. From an evolutionary perspective, individuals must retain information ...
NATURE RESEARCH2021

Preventing Use-After-Free Attacks with Fast Forward Allocation

Sanidhya Kashyap, Jungwon Lim

Memory-unsafe languages are widely used to implement critical systems like kernels and browsers, leading to thousands of memory safety issues every year. A use-after-free bug is a temporal memory error where the program accidentally visits a freed memory l ...
USENIX ASSOC2021

La mémoire collective et l'espace. Traces, récits et expériences autour d'un paysage urbain romain

Lucia Bordone

This PhD thesis explores the way multiple and tenuous links connect collective memory and space in the contemporary city. It does so through a field enquiry carried out in Rome, Italy. This palimpsest-city has a particular relationship to the past, which c ...
EPFL2020

Subjective feeling of re‐experiencing past events using immersive virtual reality prevents a loss of episodic memory

Olaf Blanke, Bruno Herbelin, Andrea Serino, Robin Mange, Lucie Bréchet

Introduction: Personally meaningful past episodes, defined as episodic memories (EM), are subjectively re-experienced from the natural perspective and location of one's own body, as described by bodily self-consciousness (BSC). Neurobiological mechanisms o ...
2020

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.