Matches in SemOpenAlex for { <https://semopenalex.org/work/W1514756071> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1514756071 abstract "The performance of heap analysis techniques has a significant impact on their utility in an optimizing compiler.Most shape analysis techniques perform interprocedural dataflow analysis in a context-sensitive manner, which can result in analyzing each procedure body many times (causing significant increases in runtime even if the analysis results are memoized). To improve the effectiveness of memoization (and thus speed up the analysis) project/extend operations are used to remove portions of the heap model that cannot be affected by the called procedure (effectively reducing the number of different contexts that a procedure needs to be analyzed with). This paper introduces project/extend operations that are capable of accurately modeling properties that are important when analyzing non-trivial programs (sharing, nullity information, destructive recursive functions, and composite data structures). The techniques we introduce are able to handle these features while significantly improving the effectiveness of memoizing analysis results (and thus improving analysis performance). Using a range of well known benchmarks (many of which have not been successfully analyzed using other existing shape analysis methods) we demonstrate that our approach results in significant improvements in both accuracy and efficiency over a baseline analysis." @default.
- W1514756071 created "2016-06-24" @default.
- W1514756071 creator A5003856856 @default.
- W1514756071 creator A5024427812 @default.
- W1514756071 creator A5073531919 @default.
- W1514756071 creator A5079085280 @default.
- W1514756071 date "2008-03-01" @default.
- W1514756071 modified "2023-09-27" @default.
- W1514756071 title "Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models" @default.
- W1514756071 hasPublicationYear "2008" @default.
- W1514756071 type Work @default.
- W1514756071 sameAs 1514756071 @default.
- W1514756071 citedByCount "1" @default.
- W1514756071 crossrefType "journal-article" @default.
- W1514756071 hasAuthorship W1514756071A5003856856 @default.
- W1514756071 hasAuthorship W1514756071A5024427812 @default.
- W1514756071 hasAuthorship W1514756071A5073531919 @default.
- W1514756071 hasAuthorship W1514756071A5079085280 @default.
- W1514756071 hasConcept C102379954 @default.
- W1514756071 hasConcept C106937863 @default.
- W1514756071 hasConcept C132525143 @default.
- W1514756071 hasConcept C134757568 @default.
- W1514756071 hasConcept C169590947 @default.
- W1514756071 hasConcept C173608175 @default.
- W1514756071 hasConcept C186644900 @default.
- W1514756071 hasConcept C199360897 @default.
- W1514756071 hasConcept C41008148 @default.
- W1514756071 hasConcept C42560504 @default.
- W1514756071 hasConcept C489000 @default.
- W1514756071 hasConcept C77088390 @default.
- W1514756071 hasConcept C79516417 @default.
- W1514756071 hasConcept C80444323 @default.
- W1514756071 hasConcept C88468194 @default.
- W1514756071 hasConcept C96324660 @default.
- W1514756071 hasConcept C97686452 @default.
- W1514756071 hasConcept C98183937 @default.
- W1514756071 hasConceptScore W1514756071C102379954 @default.
- W1514756071 hasConceptScore W1514756071C106937863 @default.
- W1514756071 hasConceptScore W1514756071C132525143 @default.
- W1514756071 hasConceptScore W1514756071C134757568 @default.
- W1514756071 hasConceptScore W1514756071C169590947 @default.
- W1514756071 hasConceptScore W1514756071C173608175 @default.
- W1514756071 hasConceptScore W1514756071C186644900 @default.
- W1514756071 hasConceptScore W1514756071C199360897 @default.
- W1514756071 hasConceptScore W1514756071C41008148 @default.
- W1514756071 hasConceptScore W1514756071C42560504 @default.
- W1514756071 hasConceptScore W1514756071C489000 @default.
- W1514756071 hasConceptScore W1514756071C77088390 @default.
- W1514756071 hasConceptScore W1514756071C79516417 @default.
- W1514756071 hasConceptScore W1514756071C80444323 @default.
- W1514756071 hasConceptScore W1514756071C88468194 @default.
- W1514756071 hasConceptScore W1514756071C96324660 @default.
- W1514756071 hasConceptScore W1514756071C97686452 @default.
- W1514756071 hasConceptScore W1514756071C98183937 @default.
- W1514756071 hasLocation W15147560711 @default.
- W1514756071 hasOpenAccess W1514756071 @default.
- W1514756071 hasPrimaryLocation W15147560711 @default.
- W1514756071 hasRelatedWork W1515252725 @default.
- W1514756071 hasRelatedWork W1575880103 @default.
- W1514756071 hasRelatedWork W1738454785 @default.
- W1514756071 hasRelatedWork W1815302404 @default.
- W1514756071 hasRelatedWork W2035945354 @default.
- W1514756071 hasRelatedWork W2080205938 @default.
- W1514756071 hasRelatedWork W2117165009 @default.
- W1514756071 hasRelatedWork W2132685964 @default.
- W1514756071 hasRelatedWork W2162740235 @default.
- W1514756071 hasRelatedWork W2187683201 @default.
- W1514756071 hasRelatedWork W2465107960 @default.
- W1514756071 hasRelatedWork W2469542969 @default.
- W1514756071 hasRelatedWork W2737936389 @default.
- W1514756071 hasRelatedWork W2748150787 @default.
- W1514756071 hasRelatedWork W2788364546 @default.
- W1514756071 hasRelatedWork W2810162135 @default.
- W1514756071 hasRelatedWork W2898502769 @default.
- W1514756071 hasRelatedWork W3030148664 @default.
- W1514756071 hasRelatedWork W3103536198 @default.
- W1514756071 hasRelatedWork W3139261242 @default.
- W1514756071 isParatext "false" @default.
- W1514756071 isRetracted "false" @default.
- W1514756071 magId "1514756071" @default.
- W1514756071 workType "article" @default.