FRINK Linked Data Fragments server

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

• W3084710058 abstract "Practical adoption of static analysis often requires trading precision for performance. This paper focuses on improving the memory efficiency of abstract interpretation without sacrificing precision or time efficiency. Computationally, abstract interpretation reduces the problem of inferring program invariants to computing a fixpoint of a set of equations. This paper presents a method to minimize the memory footprint in Bourdoncle's iteration strategy, a widely-used technique for fixpoint computation. Our technique is agnostic to the abstract domain used. We prove that our technique is optimal (i.e., it results in minimum memory footprint) for Bourdoncle's iteration strategy while computing the same result. We evaluate the efficacy of our technique by implementing it in a tool called MIKOS, which extends the state-of-the-art abstract interpreter IKOS. When verifying user-provided assertions, MIKOS shows a decrease in peak-memory usage to 4.07% (24.57x) on average compared to IKOS. When performing interprocedural buffer-overflow analysis, MIKOS shows a decrease in peak-memory usage to 43.7% (2.29x) on average compared to IKOS." @default.
• W3084710058 created "2020-09-21" @default.
• W3084710058 creator A5029756316 @default.
• W3084710058 creator A5061182324 @default.
• W3084710058 creator A5064728609 @default.
• W3084710058 date "2020-09-12" @default.
• W3084710058 modified "2023-09-30" @default.
• W3084710058 title "Memory-Efficient Fixpoint Computation" @default.
• W3084710058 cites W1500085611 @default.
• W3084710058 cites W1508927144 @default.
• W3084710058 cites W1518247129 @default.
• W3084710058 cites W1568212182 @default.
• W3084710058 cites W1611084195 @default.
• W3084710058 cites W167662068 @default.
• W3084710058 cites W1755257908 @default.
• W3084710058 cites W1846157972 @default.
• W3084710058 cites W1908449836 @default.
• W3084710058 cites W1983203157 @default.
• W3084710058 cites W1990854931 @default.
• W3084710058 cites W1997456729 @default.
• W3084710058 cites W2009288822 @default.
• W3084710058 cites W2023658462 @default.
• W3084710058 cites W2043100293 @default.
• W3084710058 cites W2049311281 @default.
• W3084710058 cites W2054253211 @default.
• W3084710058 cites W2058869529 @default.
• W3084710058 cites W2062873592 @default.
• W3084710058 cites W2080573945 @default.
• W3084710058 cites W2102983272 @default.
• W3084710058 cites W2105285801 @default.
• W3084710058 cites W2111996055 @default.
• W3084710058 cites W2127005994 @default.
• W3084710058 cites W2135384260 @default.
• W3084710058 cites W2149546641 @default.
• W3084710058 cites W2157056800 @default.
• W3084710058 cites W2170612356 @default.
• W3084710058 cites W2293127520 @default.
• W3084710058 cites W2293309991 @default.
• W3084710058 cites W2293781769 @default.
• W3084710058 cites W2508075332 @default.
• W3084710058 cites W2517915133 @default.
• W3084710058 cites W2566919497 @default.
• W3084710058 cites W2601591854 @default.
• W3084710058 cites W2765527199 @default.
• W3084710058 cites W2769515221 @default.
• W3084710058 cites W2771629016 @default.
• W3084710058 cites W2852225 @default.
• W3084710058 cites W2884243532 @default.
• W3084710058 cites W2885805316 @default.
• W3084710058 cites W2898998338 @default.
• W3084710058 cites W2929832674 @default.
• W3084710058 cites W2962786015 @default.
• W3084710058 cites W2971773698 @default.
• W3084710058 cites W3121852636 @default.
• W3084710058 cites W74079305 @default.
• W3084710058 cites W3185164700 @default.
• W3084710058 hasPublicationYear "2020" @default.
• W3084710058 type Work @default.
• W3084710058 sameAs 3084710058 @default.
• W3084710058 citedByCount "0" @default.
• W3084710058 crossrefType "posted-content" @default.
• W3084710058 hasAuthorship W3084710058A5029756316 @default.
• W3084710058 hasAuthorship W3084710058A5061182324 @default.
• W3084710058 hasAuthorship W3084710058A5064728609 @default.
• W3084710058 hasConcept C11413529 @default.
• W3084710058 hasConcept C122783720 @default.
• W3084710058 hasConcept C132943942 @default.
• W3084710058 hasConcept C134306372 @default.
• W3084710058 hasConcept C151730666 @default.
• W3084710058 hasConcept C173608175 @default.
• W3084710058 hasConcept C177264268 @default.
• W3084710058 hasConcept C199360897 @default.
• W3084710058 hasConcept C2780654840 @default.
• W3084710058 hasConcept C33923547 @default.
• W3084710058 hasConcept C41008148 @default.
• W3084710058 hasConcept C45374587 @default.
• W3084710058 hasConcept C527412718 @default.
• W3084710058 hasConcept C61445026 @default.
• W3084710058 hasConcept C74912251 @default.
• W3084710058 hasConcept C80444323 @default.
• W3084710058 hasConcept C86803240 @default.
• W3084710058 hasConcept C97686452 @default.
• W3084710058 hasConceptScore W3084710058C11413529 @default.
• W3084710058 hasConceptScore W3084710058C122783720 @default.
• W3084710058 hasConceptScore W3084710058C132943942 @default.
• W3084710058 hasConceptScore W3084710058C134306372 @default.
• W3084710058 hasConceptScore W3084710058C151730666 @default.
• W3084710058 hasConceptScore W3084710058C173608175 @default.
• W3084710058 hasConceptScore W3084710058C177264268 @default.
• W3084710058 hasConceptScore W3084710058C199360897 @default.
• W3084710058 hasConceptScore W3084710058C2780654840 @default.
• W3084710058 hasConceptScore W3084710058C33923547 @default.
• W3084710058 hasConceptScore W3084710058C41008148 @default.
• W3084710058 hasConceptScore W3084710058C45374587 @default.
• W3084710058 hasConceptScore W3084710058C527412718 @default.
• W3084710058 hasConceptScore W3084710058C61445026 @default.
• W3084710058 hasConceptScore W3084710058C74912251 @default.
• W3084710058 hasConceptScore W3084710058C80444323 @default.
• W3084710058 hasConceptScore W3084710058C86803240 @default.
• W3084710058 hasConceptScore W3084710058C97686452 @default.

• next