FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4281781753> ?p ?o ?g. }

• W4281781753 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." @default.
• W4281781753 created "2022-06-13" @default.
• W4281781753 creator A5009460574 @default.
• W4281781753 creator A5041082080 @default.
• W4281781753 creator A5041321243 @default.
• W4281781753 creator A5048756174 @default.
• W4281781753 date "2022-06-09" @default.
• W4281781753 modified "2023-10-18" @default.
• W4281781753 title "Differential cost analysis with simultaneous potentials and anti-potentials" @default.
• W4281781753 cites W1230660382 @default.
• W4281781753 cites W1496468608 @default.
• W4281781753 cites W1505135855 @default.
• W4281781753 cites W1515621470 @default.
• W4281781753 cites W1523037784 @default.
• W4281781753 cites W1563374593 @default.
• W4281781753 cites W1589297860 @default.
• W4281781753 cites W1599625180 @default.
• W4281781753 cites W1608799719 @default.
• W4281781753 cites W1636902686 @default.
• W4281781753 cites W1750827721 @default.
• W4281781753 cites W1987927249 @default.
• W4281781753 cites W2010790229 @default.
• W4281781753 cites W2037009101 @default.
• W4281781753 cites W2058033966 @default.
• W4281781753 cites W2068055184 @default.
• W4281781753 cites W2095867533 @default.
• W4281781753 cites W2098022036 @default.
• W4281781753 cites W2104658241 @default.
• W4281781753 cites W2104835568 @default.
• W4281781753 cites W2108629523 @default.
• W4281781753 cites W2109863363 @default.
• W4281781753 cites W2122917953 @default.
• W4281781753 cites W2149996206 @default.
• W4281781753 cites W2435583538 @default.
• W4281781753 cites W2461846980 @default.
• W4281781753 cites W2547267640 @default.
• W4281781753 cites W2565334366 @default.
• W4281781753 cites W2577171054 @default.
• W4281781753 cites W2625924363 @default.
• W4281781753 cites W2753372626 @default.
• W4281781753 cites W2768683713 @default.
• W4281781753 cites W2776364995 @default.
• W4281781753 cites W2904742893 @default.
• W4281781753 cites W2914740438 @default.
• W4281781753 cites W2954641079 @default.
• W4281781753 cites W2963336730 @default.
• W4281781753 cites W2964232059 @default.
• W4281781753 cites W3033865919 @default.
• W4281781753 cites W30585784 @default.
• W4281781753 cites W3100830552 @default.
• W4281781753 cites W3107232269 @default.
• W4281781753 cites W3119735665 @default.
• W4281781753 cites W3166575995 @default.
• W4281781753 cites W3176250057 @default.
• W4281781753 cites W3209554355 @default.
• W4281781753 cites W4242321992 @default.
• W4281781753 doi "https://doi.org/10.1145/3519939.3523435" @default.
• W4281781753 hasPublicationYear "2022" @default.
• W4281781753 type Work @default.
• W4281781753 citedByCount "1" @default.
• W4281781753 countsByYear W42817817532023 @default.
• W4281781753 crossrefType "proceedings-article" @default.
• W4281781753 hasAuthorship W4281781753A5009460574 @default.
• W4281781753 hasAuthorship W4281781753A5041082080 @default.
• W4281781753 hasAuthorship W4281781753A5041321243 @default.
• W4281781753 hasAuthorship W4281781753A5048756174 @default.
• W4281781753 hasBestOaLocation W42817817531 @default.
• W4281781753 hasConcept C11413529 @default.
• W4281781753 hasConcept C119857082 @default.
• W4281781753 hasConcept C126255220 @default.
• W4281781753 hasConcept C127413603 @default.
• W4281781753 hasConcept C134306372 @default.
• W4281781753 hasConcept C14036430 @default.
• W4281781753 hasConcept C146978453 @default.
• W4281781753 hasConcept C154945302 @default.
• W4281781753 hasConcept C177264268 @default.
• W4281781753 hasConcept C199360897 @default.
• W4281781753 hasConcept C206345919 @default.
• W4281781753 hasConcept C2776291640 @default.
• W4281781753 hasConcept C2776760102 @default.
• W4281781753 hasConcept C2983335822 @default.
• W4281781753 hasConcept C31258907 @default.
• W4281781753 hasConcept C33923547 @default.
• W4281781753 hasConcept C41008148 @default.
• W4281781753 hasConcept C42475967 @default.
• W4281781753 hasConcept C63584917 @default.
• W4281781753 hasConcept C77553402 @default.
• W4281781753 hasConcept C78458016 @default.
• W4281781753 hasConcept C80444323 @default.
• W4281781753 hasConcept C86803240 @default.
• W4281781753 hasConcept C93226319 @default.
• W4281781753 hasConceptScore W4281781753C11413529 @default.
• W4281781753 hasConceptScore W4281781753C119857082 @default.
• W4281781753 hasConceptScore W4281781753C126255220 @default.
• W4281781753 hasConceptScore W4281781753C127413603 @default.
• W4281781753 hasConceptScore W4281781753C134306372 @default.
• W4281781753 hasConceptScore W4281781753C14036430 @default.
• W4281781753 hasConceptScore W4281781753C146978453 @default.
• W4281781753 hasConceptScore W4281781753C154945302 @default.
• W4281781753 hasConceptScore W4281781753C177264268 @default.

• next