Louis Rustenholz

According to our database, Louis Rustenholz authored at least 3 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

Louis Rustenholz, Pedro López-García, José F. Morales, Manuel V. Hermenegildo

CoRR, 2024

A Machine Learning-based Approach for Solving Recurrence Relations and its use in Cost Analysis of Logic Programs.

Louis Rustenholz, Maximiliano Klemen, Miguel Á. Carreira-Perpiñán, Pedro López-García

CoRR, 2024

2021

Static Analysis of ReLU Neural Networks with Tropical Polyhedra.

Eric Goubault, Sébastien Palumby, Sylvie Putot, Louis Rustenholz, Sriram Sankaranarayanan

Proceedings of the Static Analysis - 28th International Symposium, 2021