43 citations · 61 across the 22 of their papers we have counts for
1 paper · 2 filters
Long Pham, Jan Hoffmann
Being a fully automated technique for resource analysis, automatic amortized resource analysis (AARA) can fail in returning worst-case cost bounds of programs, fundamentally due to…