Matches in SemOpenAlex for { <https://semopenalex.org/work/W3207476902> ?p ?o ?g. }
- W3207476902 endingPage "27" @default.
- W3207476902 startingPage "1" @default.
- W3207476902 abstract "Traditional context-sensitive pointer analysis is hard to scale for large and complex Java programs. To address this issue, a series of selective context-sensitivity approaches have been proposed and exhibit promising results. In this work, we move one step further towards producing highly-precise pointer analyses for hard-to-analyze Java programs by presenting the Unity-Relay framework, which takes selective context sensitivity to the next level. Briefly, Unity-Relay is a one-two punch: given a set of different selective context-sensitivity approaches, say S = S1, . . . , Sn, Unity-Relay first provides a mechanism (called Unity)to combine and maximize the precision of all components of S. When Unity fails to scale, Unity-Relay offers a scheme (called Relay) to pass and accumulate the precision from one approach Si in S to the next, Si+1, leading to an analysis that is more precise than all approaches in S. As a proof-of-concept, we instantiate Unity-Relay into a tool called Baton and extensively evaluate it on a set of hard-to-analyze Java programs, using general precision metrics and popular clients. Compared with the state of the art, Baton achieves the best precision for all metrics and clients for all evaluated programs. The difference in precision is often dramatic — up to 71% of alias pairs reported by previously-best algorithms are found to be spurious and eliminated." @default.
- W3207476902 created "2021-10-25" @default.
- W3207476902 creator A5007391734 @default.
- W3207476902 creator A5041674680 @default.
- W3207476902 creator A5043949214 @default.
- W3207476902 creator A5044367029 @default.
- W3207476902 creator A5052203980 @default.
- W3207476902 date "2021-10-20" @default.
- W3207476902 modified "2023-10-12" @default.
- W3207476902 title "Making pointer analysis more precise by unleashing the power of selective context sensitivity" @default.
- W3207476902 cites W100599422 @default.
- W3207476902 cites W1517071433 @default.
- W3207476902 cites W1557543533 @default.
- W3207476902 cites W1971327145 @default.
- W3207476902 cites W1971859150 @default.
- W3207476902 cites W1987035533 @default.
- W3207476902 cites W2014764321 @default.
- W3207476902 cites W2050680750 @default.
- W3207476902 cites W2051527230 @default.
- W3207476902 cites W2064400234 @default.
- W3207476902 cites W2110833886 @default.
- W3207476902 cites W2114337691 @default.
- W3207476902 cites W2117070687 @default.
- W3207476902 cites W2122745100 @default.
- W3207476902 cites W2152791745 @default.
- W3207476902 cites W2162544703 @default.
- W3207476902 cites W2166091242 @default.
- W3207476902 cites W2166743230 @default.
- W3207476902 cites W2167363133 @default.
- W3207476902 cites W2204346447 @default.
- W3207476902 cites W2294292201 @default.
- W3207476902 cites W2295857493 @default.
- W3207476902 cites W2396234346 @default.
- W3207476902 cites W2508295954 @default.
- W3207476902 cites W2514084604 @default.
- W3207476902 cites W2547862110 @default.
- W3207476902 cites W2553375745 @default.
- W3207476902 cites W2556634892 @default.
- W3207476902 cites W2604520577 @default.
- W3207476902 cites W2621822648 @default.
- W3207476902 cites W2626029330 @default.
- W3207476902 cites W2626356917 @default.
- W3207476902 cites W2761799536 @default.
- W3207476902 cites W2898232260 @default.
- W3207476902 cites W2898502769 @default.
- W3207476902 cites W2899357780 @default.
- W3207476902 cites W2900044545 @default.
- W3207476902 cites W2912827714 @default.
- W3207476902 cites W2920740222 @default.
- W3207476902 cites W2950121745 @default.
- W3207476902 cites W2980018082 @default.
- W3207476902 cites W3008974726 @default.
- W3207476902 cites W3009007914 @default.
- W3207476902 cites W3030148664 @default.
- W3207476902 cites W3141181691 @default.
- W3207476902 cites W4206770190 @default.
- W3207476902 cites W4235278598 @default.
- W3207476902 cites W4243644740 @default.
- W3207476902 cites W4247889999 @default.
- W3207476902 cites W4248889516 @default.
- W3207476902 cites W4251478049 @default.
- W3207476902 cites W4300810260 @default.
- W3207476902 doi "https://doi.org/10.1145/3485524" @default.
- W3207476902 hasPublicationYear "2021" @default.
- W3207476902 type Work @default.
- W3207476902 sameAs 3207476902 @default.
- W3207476902 citedByCount "8" @default.
- W3207476902 countsByYear W32074769022022 @default.
- W3207476902 countsByYear W32074769022023 @default.
- W3207476902 crossrefType "journal-article" @default.
- W3207476902 hasAuthorship W3207476902A5007391734 @default.
- W3207476902 hasAuthorship W3207476902A5041674680 @default.
- W3207476902 hasAuthorship W3207476902A5043949214 @default.
- W3207476902 hasAuthorship W3207476902A5044367029 @default.
- W3207476902 hasAuthorship W3207476902A5052203980 @default.
- W3207476902 hasBestOaLocation W32074769021 @default.
- W3207476902 hasConcept C11413529 @default.
- W3207476902 hasConcept C119857082 @default.
- W3207476902 hasConcept C121332964 @default.
- W3207476902 hasConcept C124101348 @default.
- W3207476902 hasConcept C127413603 @default.
- W3207476902 hasConcept C150202949 @default.
- W3207476902 hasConcept C151730666 @default.
- W3207476902 hasConcept C154945302 @default.
- W3207476902 hasConcept C163258240 @default.
- W3207476902 hasConcept C177264268 @default.
- W3207476902 hasConcept C199360897 @default.
- W3207476902 hasConcept C21200559 @default.
- W3207476902 hasConcept C24326235 @default.
- W3207476902 hasConcept C2778156585 @default.
- W3207476902 hasConcept C2779343474 @default.
- W3207476902 hasConcept C41008148 @default.
- W3207476902 hasConcept C46681722 @default.
- W3207476902 hasConcept C548217200 @default.
- W3207476902 hasConcept C62520636 @default.
- W3207476902 hasConcept C80444323 @default.
- W3207476902 hasConcept C86803240 @default.
- W3207476902 hasConcept C97256817 @default.