Matches in SemOpenAlex for { <https://semopenalex.org/work/W2134569009> ?p ?o ?g. }
- W2134569009 endingPage "298" @default.
- W2134569009 startingPage "289" @default.
- W2134569009 abstract "Many program analyses benefit, both in precision and performance, from precise pointer analysis. An important dimension of pointer analysis precision is flow-sensitivity, which has been shown to be useful for applications such as program verification and static analysis of binary code, among many others. However, flow-sensitive pointer analysis has historically been unable to scale to programs with millions of lines of code. We present a new flow-sensitive pointer analysis algorithm that is an order of magnitude faster than the existing state of the art, enabling for the first time flow-sensitive pointer analysis for programs with millions of lines of code. Our flow-sensitive algorithm is based on a sparse representation of program code created by a staged, flow-insensitive pointer analysis. We explain how this new algorithm is a member of a new family of pointer analysis algorithms that deserves further study." @default.
- W2134569009 created "2016-06-24" @default.
- W2134569009 creator A5052763112 @default.
- W2134569009 creator A5074393511 @default.
- W2134569009 date "2011-04-02" @default.
- W2134569009 modified "2023-10-03" @default.
- W2134569009 title "Flow-sensitive pointer analysis for millions of lines of code" @default.
- W2134569009 cites W1566904115 @default.
- W2134569009 cites W1602885681 @default.
- W2134569009 cites W1727650458 @default.
- W2134569009 cites W1891117775 @default.
- W2134569009 cites W1965604953 @default.
- W2134569009 cites W1974662185 @default.
- W2134569009 cites W1975914482 @default.
- W2134569009 cites W1980468060 @default.
- W2134569009 cites W1982205631 @default.
- W2134569009 cites W1996094959 @default.
- W2134569009 cites W1996146601 @default.
- W2134569009 cites W2014323361 @default.
- W2134569009 cites W2029674270 @default.
- W2134569009 cites W2032854624 @default.
- W2134569009 cites W2048639238 @default.
- W2134569009 cites W2050320220 @default.
- W2134569009 cites W2065826255 @default.
- W2134569009 cites W2075309900 @default.
- W2134569009 cites W2095115578 @default.
- W2134569009 cites W2117948828 @default.
- W2134569009 cites W2122312154 @default.
- W2134569009 cites W2127163775 @default.
- W2134569009 cites W2127929122 @default.
- W2134569009 cites W2128350517 @default.
- W2134569009 cites W2131135493 @default.
- W2134569009 cites W2134311998 @default.
- W2134569009 cites W2148390433 @default.
- W2134569009 cites W2152954816 @default.
- W2134569009 cites W2153578567 @default.
- W2134569009 cites W2154847114 @default.
- W2134569009 cites W2155036144 @default.
- W2134569009 cites W2158600037 @default.
- W2134569009 cites W3018596786 @default.
- W2134569009 cites W7096863 @default.
- W2134569009 doi "https://doi.org/10.5555/2190025.2190075" @default.
- W2134569009 hasPublicationYear "2011" @default.
- W2134569009 type Work @default.
- W2134569009 sameAs 2134569009 @default.
- W2134569009 citedByCount "76" @default.
- W2134569009 countsByYear W21345690092012 @default.
- W2134569009 countsByYear W21345690092013 @default.
- W2134569009 countsByYear W21345690092014 @default.
- W2134569009 countsByYear W21345690092015 @default.
- W2134569009 countsByYear W21345690092016 @default.
- W2134569009 countsByYear W21345690092017 @default.
- W2134569009 countsByYear W21345690092018 @default.
- W2134569009 countsByYear W21345690092019 @default.
- W2134569009 countsByYear W21345690092020 @default.
- W2134569009 countsByYear W21345690092021 @default.
- W2134569009 countsByYear W21345690092022 @default.
- W2134569009 countsByYear W21345690092023 @default.
- W2134569009 crossrefType "proceedings-article" @default.
- W2134569009 hasAuthorship W2134569009A5052763112 @default.
- W2134569009 hasAuthorship W2134569009A5074393511 @default.
- W2134569009 hasConcept C137287247 @default.
- W2134569009 hasConcept C150202949 @default.
- W2134569009 hasConcept C173608175 @default.
- W2134569009 hasConcept C199360897 @default.
- W2134569009 hasConcept C199519371 @default.
- W2134569009 hasConcept C2777904410 @default.
- W2134569009 hasConcept C41008148 @default.
- W2134569009 hasConcept C489000 @default.
- W2134569009 hasConcept C529173508 @default.
- W2134569009 hasConcept C7263679 @default.
- W2134569009 hasConcept C77088390 @default.
- W2134569009 hasConcept C88468194 @default.
- W2134569009 hasConcept C9390403 @default.
- W2134569009 hasConcept C97686452 @default.
- W2134569009 hasConcept C98183937 @default.
- W2134569009 hasConceptScore W2134569009C137287247 @default.
- W2134569009 hasConceptScore W2134569009C150202949 @default.
- W2134569009 hasConceptScore W2134569009C173608175 @default.
- W2134569009 hasConceptScore W2134569009C199360897 @default.
- W2134569009 hasConceptScore W2134569009C199519371 @default.
- W2134569009 hasConceptScore W2134569009C2777904410 @default.
- W2134569009 hasConceptScore W2134569009C41008148 @default.
- W2134569009 hasConceptScore W2134569009C489000 @default.
- W2134569009 hasConceptScore W2134569009C529173508 @default.
- W2134569009 hasConceptScore W2134569009C7263679 @default.
- W2134569009 hasConceptScore W2134569009C77088390 @default.
- W2134569009 hasConceptScore W2134569009C88468194 @default.
- W2134569009 hasConceptScore W2134569009C9390403 @default.
- W2134569009 hasConceptScore W2134569009C97686452 @default.
- W2134569009 hasConceptScore W2134569009C98183937 @default.
- W2134569009 hasLocation W21345690091 @default.
- W2134569009 hasOpenAccess W2134569009 @default.
- W2134569009 hasPrimaryLocation W21345690091 @default.
- W2134569009 hasRelatedWork W1727650458 @default.
- W2134569009 hasRelatedWork W1969599528 @default.
- W2134569009 hasRelatedWork W1982205631 @default.
- W2134569009 hasRelatedWork W1996567876 @default.