Martin Avanzini

Registered user since Wed 7 Mar 2018

Name:Martin Avanzini
Affiliation:Inria
Research interests:Functional Programming, Rewriting, Software Verification, Complexity Analysis

Contributions

PLDI 2023 Automated Expected Value Analysis of Recursive Programs
Show activities from other conferences

Using general profile