Publications associées à Elastic Program Transformations : Automatically Optimizing the Reliability/Performance Trade-off in Systems Software

Publications associées (30)

Securing low-level code with minimal developer efforts: from preventing type confusion by design to automated library fuzzing

Software is pervasive in our daily lives. From remote-controlled traffic lights that orchestrate traffic flows to applications reminding us to take medications, it increasingly governs safety-critical systems. To ensure correct and continuous execution, bu ...

EPFL2025

Painting Taylor vortices with cellulose nanocrystals: Suspension flow supercritical spectral dynamics

Marianne Liebi

We study the flow stability and spatiotemporal spectral dynamics of cellulose nanocrystal (CNC) suspensions in a custom Taylor-Couette flow cell using the intrinsic shear induced birefringence and liquid crystalline properties of CNC suspensions for flow v ...

Aip Publishing2024

Modular segmentation, spatial analysis and visualization of volume electron microscopy datasets

Martin Weigert

Volume electron microscopy is the method of choice for the in situ interrogation of cellular ultrastructure at the nanometer scale, and with the increase in large raw image datasets generated, improving computational strategies for image segmentation and s ...

Nature Portfolio2024

TSLAM: a tag-based object-centered monocular navigation system for augmented manual woodworking

Yves Weinand, Julien Gamerro, Andrea Settimi, Hong-Bin Yang

TimberSLAM (TSLAM) is an object-centered, tag-based visual self-localization and mapping (SLAM) system for monocular RGB cameras. It was specifically developed to support a robust and augmented reality pipeline for close-range, noisy, and cluttered fabrica ...

2024

Computational Homogenization for Inverse Design of Surface-based Inflatables

Mark Pauly, Florin Isvoranu, Francis Julian Panetta, Yingying Ren, Seiichi Eduardo Suzuki Erazo, Uday Kusupati

Surface-based inflatables are composed of two thin layers of nearly inextensible sheet material joined together along carefully selected fusing curves. During inflation, pressure forces separate the two sheets to maximize the enclosed volume. The fusing c ...

Association for Computing Machinery (ACM)2024

Toward Reliable Human Pose Forecasting With Uncertainty

Alexandre Massoud Alahi, Saeed Saadatnejad, Taylor Ferdinand Mordan

Recently, there has been an arms race of pose forecasting methods aimed at solving the spatio-temporal task of predicting a sequence of future 3D poses of a person given a sequence of past observed ones. However, the lack of unified benchmarks and limited ...

2024

Lotic-SIPCO2: Adaptation of an open-source CO2 sensor system and examination of associated emission uncertainties across a range of stream sizes and land uses

Andrew Lean Robison

River networks play a crucial role in the global carbon cycle, as relevant sources of carbon dioxide (CO2) to the atmosphere. Advancements in high-frequency monitoring in aquatic environments have enabled measurement of dissolved CO2 concentration at tempo ...

Association for the Sciences of Limnology and Oceanography (ASLO)2024

Automated Formal Verification of Software Network Functions

Solal Vincenzo Pirelli

Formally verifying the correctness of software is necessary to merit the trust people put in software systems. Currently, formal verification requires human effort to prove that a piece of code matches its specification and code changes to improve verifiab ...

EPFL2024

Technology-Aware Logic Synthesis for Superconducting Electronics

Giovanni De Micheli, Alessandro Tempia Calvino, Siang-Yun Lee, Dewmini Sudara Marakkalage, Mingfei Yu, Rassul Bairamkulov

Superconducting electronics provide us with cryogenic digital circuits that can rival established technologies in performance and energy consumption. Today, the lack of tools for the design of large-scale integrated superconducting circuits is a major obst ...

2024

Modeling friction and wear using an adaptive discrete-continuum coupling

Manon Eugénie Voisin--Leprince

When two objects slide against each other, wear and friction occur at their interface. The accumulation of wear forms what is commonly referred to as a ``third-body''. Understanding third-body evolution has significant applications in industry, where contr ...

EPFL2024

Efficient and insightful descriptors for representing molecular and material space

Alexander Jan Goscinski

Data-driven approaches have been applied to reduce the cost of accurate computational studies on materials, by using only a small number of expensive reference electronic structure calculations for a representative subset of the materials space, and using ...

EPFL2024

3D printed large amplitude torsional microactuators powered by ultrasound

Mahmut Selman Sakar, Amit Yedidia Dolev, Mehdi Ali Gadiri, Junsun Hwang

Here, we introduce a design, fabrication, and control methodology for large amplitude torsional microactuators powered by ultrasound. The microactuators are 3D printed from two polymers with drastically different elastic moduli as a monolithic compliant me ...

2024

Automated all-functionals infrared and Raman spectra

Nicola Marzari, Lorenzo Bastonero

Infrared and Raman spectroscopies are ubiquitous techniques employed in many experimental laboratories, thanks to their fast and non-destructive nature able to capture materials' features as spectroscopic fingerprints. Nevertheless, these measurements freq ...

Nature Portfolio2024

Creating Trust by Abolishing Hierarchies

Mathias Josef Payer, Edouard Bugnion, Evangelos Marios Kogias, Adrien Ghosn, Charly Nicolas Lucien Castes, Yuchen Qian, Neelu Shivprakash Kalani

Software is going through a trust crisis. Privileged code is no longer trusted and processes insufficiently protect user code from unverified libraries. While usually treated separately, confidential computing and program compartmentalization are both symp ...

Association for Computing Machinery2023

Robust Collaborative Learning with Linear Gradient Overhead

Rachid Guerraoui, Nirupam Gupta, Rafaël Benjamin Pinot, Le Nguyen Hoang, Sadegh Farhadkhani, John Stephan

Collaborative learning algorithms, such as distributed SGD (or D-SGD), are prone to faulty machines that may deviate from their prescribed algorithm because of software or hardware bugs, poisoned data or malicious behaviors. While many solutions have been ...

PLMR2023

Data-driven 1D wave propagation for site response analysis

Jean-François Molinari, Antonio Joaquin Garcia Suarez, Sacha Zenon Wattel

Prediction of ground motion triggered by earthquakes is a prime concern for both the seismology community and geotechnical earthquake engineering one. The subfield occupied with such a problem is termed site response analysis (SRA), its one-dimensional fla ...

WILEY2023

Multiparty Homomorphic Encryption: from Theory to Practice

Christian Vincent Mouchet

Multiparty homomorphic encryption (MHE) enables a group of parties to encrypt data in a way that (i) enables the evaluation of functions directly over its ciphertexts and (ii) enforces a joint cryptographic access-control over the underlying data. By exten ...

EPFL2023

Silent Bugs Matter: A Study of Compiler-Introduced Security Bugs

Mathias Josef Payer

Compilers assure that any produced optimized code is semantically equivalent to the original code. However, even "correct" compilers may introduce security bugs as security properties go beyond translation correctness. Security bugs introduced by such corr ...

Usenix Assoc2023

Solids that are also liquids: elastic tensors of superionic materials

Nicola Marzari, Tommaso Chiarotti, Giuliana Materzanini

Superionics are fascinating materials displaying both solid- and liquid-like characteristics: as solids, they respond elastically to shear stress; as liquids, they display fast-ion diffusion at normal conditions. In addition to such scientific interest, su ...

NATURE PORTFOLIO2023

FIB-Fabrication of Resonating Cantilevers to Explore Symmetry-Breaking in Quantum Materials

Amelia Emily-Kay Estry

Scientific progress and technological advancements on novel materials are often deterred by limitations on size and quality of samples. Materials with electronic phenomena attractive for applications, and presenting many open scientific questions, are ofte ...

EPFL2023