---
res:
  bibo_abstract:
  - '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 it, such as detecting resource-use
    regressions at code-review time or proving the absence of certain side-channel
    vulnerabilities. One prior approach to differential cost analysis is to apply
    relational reasoning that conceptually constructs a product program on which one
    can over-approximate the difference in costs between the two program versions.
    However, a significant challenge in any relational approach is effectively aligning
    the program versions to get precise results. In this paper, our key insight is
    that we can avoid the need for and the limitations of program alignment if, instead,
    we bound the difference of two cost-bound summaries rather than directly bounding
    the concrete cost difference. In particular, our method computes a threshold value
    for the maximal difference in cost between two program versions simultaneously
    using two kinds of cost-bound summaries---a potential function that evaluates
    to an upper bound for the cost incurred in the first program and an anti-potential
    function that evaluates to a lower bound for the cost incurred in the second.
    Our method has a number of desirable properties: it can be fully automated, it
    allows optimizing the threshold value on relative cost, it is suitable for programs
    that are not syntactically similar, and it supports non-determinism. We have evaluated
    an implementation of our approach on a number of program pairs collected from
    the literature, and we find that our method computes tight threshold values on
    relative cost in most examples.@eng'
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Dorde
      foaf_name: Zikelic, Dorde
      foaf_surname: Zikelic
      foaf_workInfoHomepage: http://www.librecat.org/personId=294AA7A6-F248-11E8-B48F-1D18A9856A87
    orcid: 0000-0002-4681-1699
  - foaf_Person:
      foaf_givenName: Bor-Yuh Evan
      foaf_name: Chang, Bor-Yuh Evan
      foaf_surname: Chang
  - foaf_Person:
      foaf_givenName: Pauline
      foaf_name: Bolignano, Pauline
      foaf_surname: Bolignano
  - foaf_Person:
      foaf_givenName: Franco
      foaf_name: Raimondi, Franco
      foaf_surname: Raimondi
  bibo_doi: 10.1145/3519939.3523435
  dct_date: 2022^xs_gYear
  dct_identifier:
  - UT:000850435600030
  dct_isPartOf:
  - http://id.crossref.org/issn/9781450392655
  dct_language: eng
  dct_publisher: Association for Computing Machinery@
  dct_title: Differential cost analysis with simultaneous potentials and anti-potentials@
...