Publications related to Static program analysis

Transportation-based functional ANOVA and PCA for covariance operators

Victor Panaretos, Yoav Zemel, Valentina Masarotto

We consider the problem of comparing several samples of stochastic processes with respect to their second-order structure, and describing the main modes of variation in this second order structure, if present. These tasks can be seen as an Analysis of Vari ...

Inst Mathematical Statistics-Ims2024

Wave-momentum shaping for moving objects in heterogeneous and dynamic media

Romain Christophe Rémy Fleury, Bakhtiyar Orazbayev, Matthieu Francis Malléjac, Stefan Rotter

Light and sound waves can move objects through the transfer of linear or angular momentum, which has led to the development of optical and acoustic tweezers, with applications ranging from biomedical engineering to quantum optics. Although impressive manip ...

2024

DatAFLow: Toward a Data-flow-guided Fuzzer

Mathias Josef Payer

This Replicating Computational Report (RCR) describes (a) our datAFLow fuzzer and (b) how to replicate the results in "datAFLow: Toward a Data-Flow-Guided Fuzzer." Our primary artifact is the datAFLow fuzzer. Unlike traditional coverage-guided greybox fuzz ...

2023

Homogenization results for the generator of multiscale Langevin dynamics in weighted Sobolev spaces

Andrea Zanoni

We study the homogenization of the Poisson equation with a reaction term and of the eigenvalue problem associated to the generator of multiscale Langevin dynamics. Our analysis extends the theory of two-scale convergence to the case of weighted Sobolev spa ...

OXFORD UNIV PRESS2023

Latency Interfaces for Systems Code

Rishabh Ramesh Iyer

This thesis demonstrates that it is feasible for systems code to expose a latency interface that describes its latency and related side effects for all inputs, just like the code's semantic interface describes its functionality and related side effects. S ...

EPFL2023

Tumescense monitoring system for diagnosing erectile dysfunction and methods of use

Nikolaos Stergiopoulos, Rodrigo Araujo Fraga Da Silva

Systems and methods for monitoring penile tumescence are provided that overcome the drawbacks of previously known systems by providing a wearable formed of a flexible and elastic tube having a plurality of sensors disposed on or embedded within it, the wea ...

2023

INCLASS: Incremental Classification Strategy for Self-Aware Epileptic Seizure Detection

David Atienza Alonso, Giovanni Ansaloni, Tomas Teijeiro Campo, Renaud Marquis

Wearable Health Companions allow the unobtrusive monitoring of patients affected by chronic conditions. In particular, by acquiring and interpreting bio-signals, they enable the detection of acute episodes in cardiac and neurological ailments. Nevertheless ...

IEEE2022

Boosting Efficiency of External Pipelines by Blurring Application Boundaries

Anastasia Ailamaki, Anna Patricia Herlihy, Periklis Chrysogelos

Modern application development addresses increasingly specialized problems using domain-specific utilities, such as Optical Code Recognition and standalone statistical tools. The diversity of tooling, combined with the ever-growing volume of data, requires ...

2022

Automated approach for the evaluation of glutathione-S-transferase P1-1 inhibition by organometallic anticancer compounds

Paul Joseph Dyson, Sarah Alexandra Pais Pereira

A novel automated method based on sequential injection analysis (SIA), a non-segmented flow injection technique, was developed to evaluate glutathione S-transferase P1-1 (GST P1-1) activity in the presence of organometallic complexes with putative anticanc ...

TAYLOR & FRANCIS LTD2022

Simple automation of SEM-EDS spectral maps analysis with Python and the edxia framework

Karen Scrivener, Fabien Jacques Michel Georget, William Wilson

In a recent article, we described the edxia framework, a user-friendly framework to analyse the microstructure of cementitious materials using SEM-EDS hypermaps. The manual approach presented was shown to be efficient to answer the relevant scientific ques ...

WILEY2022

BMAT: An open-source BIDS managing and analysis tool

Meritxell Bach Cuadra, Francesco La Rosa, Maxence Charles F Wynen, Benoît Macq

Magnetic Resonance Imaging (MRI) is an established technique to study in vivo neurological disorders such as Multiple Sclerosis (MS). To avoid errors on MRI data organization and automated processing, a standard called Brain Imaging Data Structure (BIDS) h ...

ELSEVIER SCI LTD2022

Macro Modeling Technique for Integrally-Attached Timber Plates: Sensitivity Analysis

Yves Weinand, Aryan Rezaei Rad, Henry V. Burton

Using the Integral Mechanical Attachment (IMA) technique, a new macroscopic model has recently been introduced to simulate the structural behavior of segmented timber plates. The macro model is based on employing only beam and spring elements, which aims t ...

2021

The completed SDSS-IV extended Baryon Oscillation Spectroscopic Survey: N-body mock challenge for galaxy clustering measurements

Cheng Zhao

We develop a series of N-body data challenges, functional to the final analysis of the extended Baryon Oscillation Spectroscopic Survey (eBOSS) Data Release 16 (DR16) galaxy sample. The challenges are primarily based on high-fidelity catalogues constructed ...

OXFORD UNIV PRESS2021

Stability properties of a projector-splitting scheme for dynamical low rank approximation of random parabolic equations

Fabio Nobile, Yoshihito Kazashi, Eva Vidlicková

We consider the Dynamical Low Rank (DLR) approximation of random parabolic equations and propose a class of fully discrete numerical schemes. Similarly to the continuous DLR approximation, our schemes are shown to satisfy a discrete variational formulation ...

Springer2021

Learning Robustly Safe Output Feedback Controllers from Noisy Data with Performance Guarantees

Giancarlo Ferrari Trecate, Luca Furieri, Baiwei Guo, Andrea Martin

How can we synthesize a safe and near-optimal control policy for a partially-observed system, if all we are given is one historical input/output trajectory that has been corrupted by noise? To address this challenge, we suggest a novel data-driven controll ...

2021

Method and system for determining the intention of performing a voluntary action

Olaf Blanke, Oliver Alan Kannape, Hyeongdong Park, Bastien Orset

The invention relates to methods and systems for determining the intention of a subject to perform a voluntary action based on the analysis of the subject's respiratory phases and neuroelectrical signals. ...

2021

Learning computationally efficient static word and sentence representations

Prakhar Gupta

Most of the Natural Language Processing (NLP) algorithms involve use of distributed vector representations of linguistic units (primarily words and sentences) also known as embeddings in one way or another. These embeddings come in two flavours namely, sta ...

EPFL2021

Convergence of adaptive algorithms for constrained weakly convex optimization

Volkan Cevher, Ahmet Alacaoglu, Yurii Malitskyi

We analyze the adaptive first order algorithm AMSGrad, for solving a constrained stochastic optimization problem with a weakly convex objective. We prove the

\tilde O(t^{-1/2})

rate of convergence for the squared norm of the gradient of Moreau envelope, ...

2021

HALucinator: Firmware Re-hosting Through Abstraction Layer Emulation

Mathias Josef Payer

Given the increasing ubiquity of online embedded devices, analyzing their firmware is important to security, privacy, and safety. The tight coupling between hardware and firmware and the diversity found in embedded systems makes it hard to perform dynamic ...

USENIX ASSOC2020

Analysis and Remediation of Handwriting difficulties

Thibault Lucien Christian Asselborn

Even with correct training, up to 25% of children never master handwriting like their peers. While research shows a correlation between handwriting difficulties and school failure, these difficulties can also impact children in their self esteem and behavi ...

EPFL2020