Search Results for author: Maximiliano Klemen

Found 1 papers, 0 papers with code

Solving Recurrence Relations using Machine Learning, with Application to Cost Analysis

no code implementations30 Aug 2023 Maximiliano Klemen, Miguel Á. Carreira-Perpiñán, Pedro Lopez-Garcia

Automatic static cost analysis infers information about the resources used by programs without actually running them with concrete data, and presents such information as functions of input data sizes.

Cannot find the paper you are looking for? You can Submit a new open access paper.