Louis Rustenholz -

Registered user since Fri 8 Jan 2021

Name:Louis Rustenholz

Country:Spain

Affiliation:Universidad Politécnica de Madrid (UPM) and IMDEA Software Institute

Personal website: https://louisrustenholz.github.io/

Contributions

2024

Static Analysis Symposium

Keynote Speaker of An Order Theory Framework of Recurrence Equations for Static Cost Analysis – Dynamic Inference of Non-Linear Inequality Invariants within the SAS 2024-track

PLDI

Committee Member in Artifact Evaluation Committee within the Research Artifacts-track

2023

Static Analysis Symposium

2022

SPLASH

Author of Static analysis of ReLU neural networks with tropical polyhedra within the COVID Time Papers In Person-track

2021

Static Analysis Symposium

Author of Static analysis of ReLU neural networks with tropical polyhedra within the SAS-track