Louis Rustenholz - SPLASH 2024

Sun 20 - Fri 25 October 2024 Pasadena, California, United States

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

An Order Theory Framework of Recurrence Equations for Static Cost Analysis – Dynamic Inference of Non-Linear Inequality Invariants

Show activities from other conferences

SPLASH 2024-profile
View general profile