Elastic Program Transformations : Automatically Optimizing the Reliability/Performance Trade-off in Systems Software

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.

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

Elastic Program Transformations : Automatically Optimizing the Reliability/Performance Trade-off in Systems Software

Chat with Graph Search

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

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

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

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

Computational Homogenization for Inverse Design of Surface-based Inflatables

Toward Reliable Human Pose Forecasting With Uncertainty

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

Automated Formal Verification of Software Network Functions

Technology-Aware Logic Synthesis for Superconducting Electronics

Modeling friction and wear using an adaptive discrete-continuum coupling

Efficient and insightful descriptors for representing molecular and material space

3D printed large amplitude torsional microactuators powered by ultrasound

Automated all-functionals infrared and Raman spectra

Creating Trust by Abolishing Hierarchies

Robust Collaborative Learning with Linear Gradient Overhead

Data-driven 1D wave propagation for site response analysis

Multiparty Homomorphic Encryption: from Theory to Practice

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

Solids that are also liquids: elastic tensors of superionic materials

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