Publications related to Static program analysis

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

Natural Language Processing (NLP) driven categorisation and detection of discourse in historical US patents

Jérôme Baudry, Nicolas Christophe Chachereau, Bhargav Srinivasa Desikan, Prakhar Gupta

Patents have traditionally been used in the history of technology as an indication of the thinking process of the inventors, of the challenges or “reverse salients” they faced, or of the social groups influencing the construction of technology. More recent ...

2022

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

Proof of Multi-Stage Programming with Generative and Analytical Macros

Martin Odersky, Nicolas Alexander Stucki, Jonathan Immanuel Brachthäuser

In metaprogramming, code generation and code analysis are complementary. Traditionally, principled metaprogramming extensions for programming languages, like MetaML and BER MetaOCaml, offer strong foundations for code generation but lack equivalent support ...

EPFL2021

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

SPRINGER HEIDELBERG2021

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

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

Noise analysis techniques of in-core modulation experiments of the European CORTEX project

Andreas Pautz, Vincent Pierre Lamirand, Mathieu Hursin, Carlo Fiorina, Oskari Ville Pakari, Pavel Frajtag, Axel Guy Marie Laureau, Adolfo Rais

This paper deals with the analysis of reactor modulation experiments for code validation in the framework of the Horizon 2020 European project CORTEX. The analysis is based on a statistical based approach on spectral powers and their phase shift angles cal ...

2020

Static program analysis

Graph Chatbot

Chat with Graph Search

BMAT: An open-source BIDS managing and analysis tool

Natural Language Processing (NLP) driven categorisation and detection of discourse in historical US patents

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

Proof of Multi-Stage Programming with Generative and Analytical Macros

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

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

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

Learning computationally efficient static word and sentence representations

Convergence of adaptive algorithms for constrained weakly convex optimization

Noise analysis techniques of in-core modulation experiments of the European CORTEX project

BMAT: An open-source BIDS managing and analysis tool

Natural Language Processing (NLP) driven categorisation and detection of discourse in historical US patents

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

Proof of Multi-Stage Programming with Generative and Analytical Macros

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

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

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

Learning computationally efficient static word and sentence representations

Noise analysis techniques of in-core modulation experiments of the European CORTEX project

Convergence of adaptive algorithms for constrained weakly convex optimization