Differential cost analysis with simultaneous potentials and anti-potentials

• Main Authors: ZIKELIC, Dorde, CHANG, Bor-Yuh Evan, BOLIGNANO, Pauline, RAIMONDI, Franco
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2022
• Subjects: Differential cost analysis; Cost analysis; Relational reasoning; Potential functions; Programming Languages and Compilers
• Online Access: https://ink.library.smu.edu.sg/sis_research/9062; https://ink.library.smu.edu.sg/context/sis_research/article/10065/viewcontent/3519939.3523435.pdf
• Institution: Singapore Management University

We present a novel approach to differential cost analysis that, given a program revision, attempts to statically bound the difference in resource usage, or cost, between the two program versions. Differential cost analysis is particularly interesting because of the many compelling applications for i...