10 papers:
TLCA-2015-HofmannM #analysis #multi #term rewriting- Multivariate Amortised Resource Analysis for Term Rewrite Systems (MH, GM), pp. 241–256.
ESOP-2013-HofmannR #analysis #automation #type inference- Automatic Type Inference for Amortised Heap-Space Analysis (MH, DR), pp. 593–613.
ICFP-2012-SimoesVFJH #analysis #automation #functional #lazy evaluation #memory management #source code- Automatic amortised analysis of dynamic memory allocation for lazy functional programs (HRS, PBV, MF, SJ, KH), pp. 165–176.
- ESOP-2010-Atkey #analysis #logic
- Amortised Resource Analysis with Separation Logic (RA), pp. 85–103.
ITiCSE-2009-Blaheta09a #array #proving #visual notation- A visual proof of amortised-linear resizable arrays (DB), p. 338.
- ESOP-2009-Campbell #analysis #data type #memory management #using
- Amortised Memory Analysis Using the Depth of Data Structures (BC), pp. 190–204.
FM-2009-JostLHSH #analysis #bound #using- “Carbon Credits” for Resource-Bounded Computations Using Amortised Analysis (SJ, HWL, KH, NS, MH), pp. 354–369.
CSL-2009-HofmannR #analysis #performance- Efficient Type-Checking for Amortised Heap-Space Analysis (MH, DR), pp. 317–331.
- ESOP-2006-HofmannJ #analysis #type system
- Type-Based Amortised Heap-Space Analysis (MH, SJ), pp. 22–37.
STOC-1999-AlstrupBR #worst-case- Worst-Case and Amortised Optimality in Union-Find (Extended Abstract) (SA, AMBA, TR), pp. 499–506.
