Matches in SemOpenAlex for { <https://semopenalex.org/work/W1997474908> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1997474908 abstract "This paper presents a novel interprocedural, flow-sensitive, and context-sensitive pointer analysis algorithm for multithreaded programs that may concurrently update shared pointers. For each pointer and each program point, the algorithm computes a conservative approximation of the memory locations to which that pointer may point. The algorithm correctly handles a full range of constructs in multithreaded programs, including recursive functions, function pointers, structures, arrays, nested structures and arrays, pointer arithmetic, casts between pointer variables of different types, heap and stack allocated memory, shared global variables, and thread-private global variables.We have implemented the algorithm in the SUIF compiler system and used the implementation to analyze a sizable set of multithreaded programs written in the Cilk multithreaded programming language. Our experimental results show that the analysis has good precision and converges quickly for our set of Cilk programs." @default.
- W1997474908 created "2016-06-24" @default.
- W1997474908 creator A5045127387 @default.
- W1997474908 creator A5071924868 @default.
- W1997474908 date "1999-05-01" @default.
- W1997474908 modified "2023-09-24" @default.
- W1997474908 title "Pointer analysis for multithreaded programs" @default.
- W1997474908 cites W1969747522 @default.
- W1997474908 cites W1982335633 @default.
- W1997474908 cites W2001890294 @default.
- W1997474908 cites W2002771912 @default.
- W1997474908 cites W2009911326 @default.
- W1997474908 cites W2016323637 @default.
- W1997474908 cites W2049961921 @default.
- W1997474908 cites W2050320220 @default.
- W1997474908 cites W2064556673 @default.
- W1997474908 cites W2065818693 @default.
- W1997474908 cites W2066952803 @default.
- W1997474908 cites W2072725684 @default.
- W1997474908 cites W2074495414 @default.
- W1997474908 cites W2077102566 @default.
- W1997474908 cites W2088804445 @default.
- W1997474908 cites W2091547234 @default.
- W1997474908 cites W2114827297 @default.
- W1997474908 cites W2129494270 @default.
- W1997474908 cites W2131135493 @default.
- W1997474908 cites W2148607646 @default.
- W1997474908 cites W2151360539 @default.
- W1997474908 cites W2163319971 @default.
- W1997474908 cites W2914074464 @default.
- W1997474908 doi "https://doi.org/10.1145/301618.301645" @default.
- W1997474908 hasPublicationYear "1999" @default.
- W1997474908 type Work @default.
- W1997474908 sameAs 1997474908 @default.
- W1997474908 citedByCount "116" @default.
- W1997474908 countsByYear W19974749082012 @default.
- W1997474908 countsByYear W19974749082015 @default.
- W1997474908 countsByYear W19974749082016 @default.
- W1997474908 countsByYear W19974749082021 @default.
- W1997474908 countsByYear W19974749082023 @default.
- W1997474908 crossrefType "proceedings-article" @default.
- W1997474908 hasAuthorship W1997474908A5045127387 @default.
- W1997474908 hasAuthorship W1997474908A5071924868 @default.
- W1997474908 hasConcept C111919701 @default.
- W1997474908 hasConcept C138101251 @default.
- W1997474908 hasConcept C150202949 @default.
- W1997474908 hasConcept C173608175 @default.
- W1997474908 hasConcept C199360897 @default.
- W1997474908 hasConcept C201410400 @default.
- W1997474908 hasConcept C41008148 @default.
- W1997474908 hasConcept C7263679 @default.
- W1997474908 hasConcept C9390403 @default.
- W1997474908 hasConcept C97686452 @default.
- W1997474908 hasConceptScore W1997474908C111919701 @default.
- W1997474908 hasConceptScore W1997474908C138101251 @default.
- W1997474908 hasConceptScore W1997474908C150202949 @default.
- W1997474908 hasConceptScore W1997474908C173608175 @default.
- W1997474908 hasConceptScore W1997474908C199360897 @default.
- W1997474908 hasConceptScore W1997474908C201410400 @default.
- W1997474908 hasConceptScore W1997474908C41008148 @default.
- W1997474908 hasConceptScore W1997474908C7263679 @default.
- W1997474908 hasConceptScore W1997474908C9390403 @default.
- W1997474908 hasConceptScore W1997474908C97686452 @default.
- W1997474908 hasLocation W19974749081 @default.
- W1997474908 hasOpenAccess W1997474908 @default.
- W1997474908 hasPrimaryLocation W19974749081 @default.
- W1997474908 hasRelatedWork W2010970156 @default.
- W1997474908 hasRelatedWork W2110897014 @default.
- W1997474908 hasRelatedWork W2117780239 @default.
- W1997474908 hasRelatedWork W2127163775 @default.
- W1997474908 hasRelatedWork W2131093354 @default.
- W1997474908 hasRelatedWork W2133693067 @default.
- W1997474908 hasRelatedWork W2148390433 @default.
- W1997474908 hasRelatedWork W2289498116 @default.
- W1997474908 hasRelatedWork W4244698026 @default.
- W1997474908 hasRelatedWork W4246596420 @default.
- W1997474908 isParatext "false" @default.
- W1997474908 isRetracted "false" @default.
- W1997474908 magId "1997474908" @default.
- W1997474908 workType "article" @default.