13 papers:
PPDP-2015-Hofmann #analysis #automation- Automatic amortized analysis (MH), p. 5.
FLOPS-2014-HoffmannS #analysis #array #integer #type system- Type-Based Amortized Resource Analysis with Integers and Arrays (JH, ZS), pp. 152–168.
ICALP-v1-2014-IaconoO #why- Why Some Heaps Support Constant-Amortized-Time Decrease-Key Operations, and Others Do Not (JI, ÖÖ), pp. 637–649.
CAV-2014-SinnZV #bound #complexity #scalability #static analysis- A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis (MS, FZ, HV), pp. 745–761.
- ICALP-v1-2012-BoseCFL
- De-amortizing Binary Search Trees (PB, SC, RF, SL), pp. 121–132.
SIGMOD-2011-KantereDGA #predict #query- Predicting cost amortization for query services (VK, DD, GG, AA), pp. 325–336.
POPL-2011-HoffmannAH #analysis #multi- Multivariate amortized resource analysis (JH, KA, MH), pp. 357–370.
ESOP-2010-HoffmannH #analysis #polynomial- Amortized Resource Analysis with Polynomial Potential (JH, MH), pp. 287–306.
- ICALP-v1-2009-ArbitmanNS #performance #worst-case
- De-amortized Cuckoo Hashing: Provable Worst-Case Performance and Experimental Results (YA, MN, GS), pp. 107–118.
- ICALP-v1-2009-RolandS #communication #complexity
- Amortized Communication Complexity of Distributions (JR, MS), pp. 738–749.
STOC-2000-SamorodnitskyT #complexity #query- A PCP characterization of NP with optimal amortized query complexity (AS, LT), pp. 191–199.
ICFP-1996-Okasaki #data type #evaluation #lazy evaluation- The Role of Lazy Evaluation in Amortized Data Structures (CO), pp. 62–72.
- STOC-1984-SleatorT #performance
- Amortized Efficiency of List Update Rules (DDS, RET), pp. 488–492.
